5th Workshop on

Logical Reasoning and Computation

(LRC'22)

bla
Sada, Spain
September 1st, 2nd 2022

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), and Corunna, Spain (2018).

Venue

Hotel Sada Alda Sada Marina, Sada, A Coruña, Spain.

Programme

Thursday, September 1st

10:00 - 10:10
 Welcome reception
10:10 - 11:30
 Session I

David Pearce, "Accountability of Logic in the New Age of Artificial Intelligence".

Pedro Cabalar, “Adequacy of Properties in Epistemic ASP”. [Slides from LPNMR'19]

Claudia Fernández, “Epistemic Logics and its Dynamics”.
11:30 - 12:00
 Coffee Break
12:00 - 14:00
 Session II

Andreas Herzig, "Social logics from the point of view of knowledge representation and reasoning”.

Concepción Vidal, “Syntactic ASP Forgetting with Forks”.
14:00 - 16:00
 Lunch
16:00 - 18:00
 Discussion and round table

Friday, September 2nd

10:00 - 11:30
 Session III

Claudia Fernández, "Dynamics of Information and its Epistemological Foundations”. [Related video from LIRA seminar]

Brais Muñiz, “Explainability in ASP”.
11:30 - 12:00
 Coffee Break
12:00 - 12:30
 Session IV

Pedro Cabalar, “Logical Adequacy for Deontic Reasoning”.
12:30 - 14:00
 Session V

David Pearce, “Project LIANDA overview”.

Round Table: LIANDA workplan
14:00 - 16:00
 Lunch
16:00 - 20:00
Sailing excursion
21:30 
Workshop dinner
Restaurante A Nosa Viña, Sada


  Organising Commitee

  • Claudia Fernández, University of Málaga, Spain
  • Brais Muñiz, University of Corunna, Spain

News

13/9/2022: slides uploaded

29/8/2022:
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).
sdsds