2nd Workshop onLogical Reasoning and computation
(LRC'15) |
||||||||||||||||||||||||||||||||||||||||||
Monday, February 23rd
|
11:00-13:00 |
PhD
defence |
Martín Diéguez: Temporal Answer Set Programming | |
13:00-17:00 |
Lunch Break |
17:00 -
18:30 |
Session
I. Temporal and Qualitative
Reasoning |
Laura
Bozzelli: On the Complexity of Temporal Equilibrium Logic |
|
Stéphane
Demri: Temporal Logics on Strings with Prefix Relation |
|
Manuel Ojeda: Logic-based order of magnitude qualitative reasoning for closeness via proximity intervals |
10:00 - 11:00 |
Session II. Epistemic
Reasoning |
Philippe Balbiani: Unification in Epistemic Logics |
|
Luis Fariñas, Andreas
Herzig and Ezgi Iraz Su: Equilibrium Models for Epistemic Specifications |
|
11:00 - 11:30 |
Session III.
Multi-adjoint Logic Programming |
Jesús Medina: Minimal solutions in Fuzzy Relation Equations. Application to Fuzzy Logic Programming |
|
11:30 - 12:00 |
Break |
12:00 - 13:30 |
Session IV. Answer Set Programming |
Stefania Costantini: Query Answering in ASP |
|
Claudia Schulz: Explaining Answer Sets in Argumentative Terms |
|
Jorge Fandiño: Answer Sets and Causal Justifications |
|
13:30 - 15:30 |
Lunch break |
15:30 - 16:30 |
Panel. Research
projects: summaries and proposals Meeting Room 4.1 (4th floor) |