2nd Workshop on

Logical Reasoning and computation

(LRC'15)

Corunna, Spain
February 23-24, 2015

Aims and scope

The workshops on Logical Reasoning and Computation constitute a series of  meetings that bring together researchers and usual collaborators from several European universities with a common interest in the wide fields of Computational Logic, Knowledge Representation and Automated Reasoning and the aim of fostering cross-fertilisation of new ideas and research collaborations. The workshop is open to all kind of presentations including published and unpublished results, surveys, position papers, prospective topics, applications, demos, project summaries, discussion panels, etc.

A first edition of the workshop, LRC'14, was cellebrated (under the name of Knowledge, Reasoning and Computation) in Madrid, on April 23-24, 2014. In this second edition the workshop is co-located with a PhD defence that will be cellebrated at the University of Corunna.

Venue

Facultad de Informática de A Coruña (see Google maps)

All sessions will be located at Room "Víctor Gulías" (2nd floor), excepting the discussion panel, that will take place at Meeting Room 4.1 (4th floor) and the reception that will take place at Hotel NH Atlantico.

Programme

Sunday, February 22nd

21:30
Reception meeting

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

Tuesday, February 24th

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)

Organisation

  • Pedro Cabalar (chair), University of Corunna, Spain
  • Felicidad Aguado, University of Corunna, Spain
  • Jorge Fandiño, University of Corunna, Spain
  • Gilberto Pérez, University of Corunna, Spain
  • Concepción Vidal, University of Corunna, Spain


News


March 2nd: some slides uploaded

Feb 19th
: the reception has been changed to Sunday.

Feb 18th
: New title of Medina's talk .

Feb 12th: new webpage.
Webpage maintained by Pedro Cabalar, IRLab

Partially supported by: MINECO project TIN2013-42149-P, IEMath Galicia and IRLab.