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 |