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

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