4th Workshop on

Logical Reasoning and Computation

(LRC'18)

Corunna, Spain
August 6th-10th, 2018

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.

Previous editions were held in Madrid, Spain (2014),  Corunna, Spain (2015), and Toulouse, France (2016).

Venue

Facultad de Informática, A Coruña

Programme

Monday, August 6th

09:00 - 09:30
 Welcome and coffee
09:30 - 14:00
 Session I: Temporal Logic Programming

Workshop on recent results on Temporal Equilibrium Logic: implementation of tool telingo, finite traces, Linear Dynamic Equilibrium Logic.

Participants: Torsten Schaub, Roland Kaminski, Pedro Cabalar, Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Martín Diéguez (T.B.C.)
14:00 - 16:00
 Lunch
16:00 - 18:00
 Round table

Tuesday, August 7th

09:00 - 14:00
 Session II: ASP applications

Summary and workshop of on ongoing work with Answer Set Programming applications in Corunna: causal explanations, planning and game scenario generation.

Participants: Torsten Schaub, Roland Kaminski, Pedro Cabalar, Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Juan Manuel Rey, Rafael Alcalde, Brais Muñiz
14:00 - 16:00
 Lunch
16:00 - 20:00
 Visit to Corunna Downtown
21:00 -
Workshop Dinner (T.B.A.)

Wednesday, August 8th


 Symposium on Logic Programming
09:30 - 10:00
 Torsten Schaub. Temporal Answer Set Programming on Finite Traces
10:00 - 10:30
 Manuel Carro. Constraint Answer Set Programming without Grounding
10:30 - 11:00
 José Emilio Labra. Negation and Recursion Validating RDF Data
11:00 - 11:30
 Coffee Break
11:30 - 12:00
 Sebastian Schellhorn. Lower Bound Founded Logic of Here-and-There
12:00 - 12:30
 Torsten Schaub. Experimenting with Robotic Intra-Logistics Domain
12:30 - 13:00
 Rodrigo Martín. Haspie: a tool for musical harmonisation with ASP
13:00 - 13:30
 Rafael Alcalde. Generation of FreeCiv scenarios with ASP
13:30 - 15:30
 Lunch
15:30 - 17:30
 Round table

Thursday, August 9th

09:00 - 14:00
 Session III: Bound Founded Constraint LP

Workshop on recent results on constraint ASP with bound founded variables.

Participants: Sebastian Schellhorn, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Roland Kaminski
14:00 - 16:00
 Lunch
16:00 - 18:00
 Round table

Friday, August 10th

09:00 - 14:00
 Session IV: Extensions of ASP

Discussion on recent results on extensions of ASP: aggregates and functions, forks, denotational semantics.

Participants: Pedro Cabalar, Concepción Vidal, Gilberto Pérez, Felicidad Aguado, Sebastian Schellhorn
14:00 - 16:00
 Lunch
16:00 - 18:00
 Wrap up meeting.



Organisation

  • Pedro Cabalar, University of Corunna, Spain

News

25/9/2018:
slides uploaded

26/7/2018:
webpage update
Webpage maintained by Pedro Cabalar, IRLab
Partially supported by: Spanish MINECO project TIN2017-84453-P, IRLab
GPC ED431B 2016/035, and CITIC 2016-2019 ED431G/01 (Xunta de Galicia).
sdsds