3rd Workshop on

Logical Reasoning and computation


Toulouse, France
March 3rd-4th, 2016

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


Institut de Recherche en Informatique de Toulouse

All sessions will be located at the Auditorium Jacques Herbrand (1st floor).


Thursday, March 3rd

13:30 - 14:00
Welcome and coffee
14:00 - 15:10
Session I

Jean-Baptiste Hiriart-Urruty:
Sur le rôle des conjectures dans l'avancement des mathematiques

Marta Cialdea Mayer:
Hypothesis Generation in Linear Temporal Logic for Clauses in a Restricted Syntactic Form

Thea Arbee:
Is the Superfluuous a (New) Modality?
15:10 - 15:40
Coffee break
15:40 - 16:40
Session II

Leila Amgoud, Philippe Besnard and Anthony Hunter:
Foundations for a Logic of Arguments

Philipe Balbiani and Cigdem Gencer:
KD and KT are nullary

Michel Bidoit:
Quelques notes personnelles
16:40 - 17:00
Poster session
17:00 - 17:20
Didier Dubois:
Ode à la logique modale
Dinner. Brasserie Les Arcades, Place Capitole, Toulouse.

Friday, March 4th

10:00 - 10:40
Session III

Andreas Herzig:
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives

Ivo Düntsch, Ewa Orlowska and Tinko Tinchev:
Mixed algebras and their logics
10:40 - 11:10
Coffee break
11:10 - 11:50
Session IV

Dimiter Vakarelov:
Extended Mereotopology Based on Sequent Algebras

Pedro Cabalar, David Pearce and Agustín Valverde:
Stable Reasoning
11:50 - 12:10
Short talks / panel session
12:10 - 14:00
Lunch buffet
14:00 - 14:40
Session V

Robert Demolombe:
Reasoning about Trust and Aboutness in the Context of Communication

Edward Hermann Haeusler and Alexandre Rademaker:
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies
14:40 - 15:10
Rump session
15:10 - 15:40
Coffee break
15:40 - 16:40
Session VI

Alfredo Burrieza, Emilio Muñoz-Velasco and Manuel Ojeda-Aciego:
A multimodal logic for closeness

Mohua Banerjee, Didier Dubois, Lluis Godo and Henri Prade:
On the relation between possibilistic logic and modal logics of belief

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez and Concepción Vidal:
Temporal Equilibrium Logic with Past Operators
16:40 - 16:50


  • Pedro Cabalar, University of Corunna, Spain
  • Martín Diéguez, IRIT, Toulouse, France
  • Andreas Herzig, IRIT, Toulouse, France
  • David Pearce, Universidad Politécnica de Madrid, Spain


29/3/2016: slides uploaded

18/3/2016: proceedings uploaded

18/3/2016: webpage update

Webpage maintained by Pedro Cabalar, IRLab

Partially supported by: IRIT (Toulouse), Spanish MINECO project TIN2013-42149-P, IRLab, UPM project: Stable Reasoning and Social Intelligence, and the French-Spanish Lab for Advanced Studies in Information, Representation Processing.