Programme

Preliminary proceedings: arqnl2016_proceedings.pdf (1.1 MB)

Location: University of Coimbra, Department of Mathematics, Room 2.5
(see the IJCAR website for more information about the venue)

Friday, 1 July 2016

12:30-14:00	Lunch
14:00-15:40	Session 1 (shared with the HaTT 2016 workshop)
14:00-14:40	Invited Talk Revantha Ramanayake From Axioms to Proof Rules, Then Add Quantifiers
14:40-15:10	Jens Otten Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic
15:10-15:40	Giovanna Corsi and Eugenio Orlandelli Sequent Calculi for Indexed Epistemic Logics
15:40-16:10	Coffee Break
16:10-17:40	Session 2
16:10-16:40	Ching Hoo Tang and Christoph Weidenbach A Dynamic Logic for Configuration
16:40-17:10	Max Wisniewski, Alexander Steen and Christoph Benzmüller TPTP and Beyond: Representation of Quantified Non-Classical Logics
17:10-17:40	Mokarrom Hossain and Wendy MacCaull Optimizing Inconsistency-tolerant Description Logic Reasoning