6th Workshop on

Logical Reasoning and Computation

(LRC'24)

bla
A Coruña, Spain
June 25-27, 2024

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),  Toulouse, France (2016), Corunna, Spain (2018) and Sada, Spain (2022).

Venue

Facultad de Informática, A Coruña, Spain. (Computer Science School)

https://maps.app.goo.gl/fDgG8yrTq4QUujCY6

Registration

Regular registration: 400 €
Reduced fee: 0 € (for invited speakers or students with accreditation)

Registration site

Programme

All sessions will be located at Room Víctor Gulías (aula de grados), 2nd floor, in the Computer Science School (Facultad de Informática, A Coruña), except the welcome reception for the speakers, that will be celebrated at the hotel Hesperia A Coruña Centro.

Monday, June 24th

21:00
 Welcome reception (for speakers).
Hotel Hesperia A Coruña Centro.

Tuesday, June 25th

10:00 - 12:30
 PhD Defence
Brais Muñiz: Generating Commonsense Explanations with Answer Set Programming
12:30 - 17:30
 Lunch Break
17:30 - 19:00 Session I

Stefania Costantini: Epistemic Logic Programs: some considerations

Esra Erdem: Human-Centered Explanation Generation in Applications of Answer Set Programming

Pedro Cabalar: Recent Results on Deontic Equilibrium Logic with Explicit Negation
21:00
 Workshop dinner
Restaurant: TBA

Wednesday, June 26th

10:00 - 11:00
 Session II

Invited talk
Thomas Eiter: Contracted Temporal Equilibrium Logic
11:00 - 11:30
 Coffee Break
11:30 - 13:30
 Session III

Torsten Schaub: Reasoning about Study Regulations in Answer Set Programming

Jorge Fandinno: Splitting with Respect to Intensionality Statements

Ovidio Manteiga: Deolingo: a tool for deontic reasoning in ASP

Yuliya Lierler: Information Extraction with Explanations
13:30 - 15:30
 Lunch Break
15:30 - 17:00
 Round table

Thursday, June 27th

10:00 - 12:00
 Session IV
Panel: Trends in Explanations in Logical Reasoning

  Organising Commitee

  • Pedro Cabalar, University of Corunna, Spain
  • Miguel Anxo Pérez, University of Corunna, Spain
  • David Otero, University of Corunna, Spain

News

23/06/2024: Reception dinner starts at 21:00

20/06/2024: locations information added

10/06/2024:
webpage update

28/5/2024:
webpage update
Webpage maintained by Pedro Cabalar, IRLab
Supported by:

fundacion-bbva  Project LIANDA, Ayudas Fundación BBVA a proyectos investigación científica, Spain

micinn Spanish MICINN project PID2020-116201GB-I00

xunta  IRLab GPC ED431B 2022/33 (Xunta de Galicia).