3rd Workshop on

Logical Reasoning and computation

(LRC'16)

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).

Venue

Institut de Recherche en Informatique de Toulouse

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

Programme

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
20:30	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	Video
17:00	Reception

Organisation

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

News

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.

sdsds