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.