Programme
Invited Speakers
-
Larry Moss, Indiana University
"Automated Reasoning In Natural Language: Current Directions" -
Giles Reger, University of Manchester
"Going Beyond First-Order Logic with Vampire"
Proceedings
The ARQNL 2018 workshop proceedings are available at:
http://ceur-ws.org/Vol-2095/
Schedule
(See also the ARQNL programme at the FLoC EasyChair website.)-
Location:
CS Lecture Theatre A,
Department of Computer
Science, University of Oxford
(Wolfson Building, Parks Road, Oxford, OX1 3QD; directions) - Venue/Registration: See the FLoC website for more information about the venue and information on how to register for the workshop
Wednesday, 18 July 2018
| 09:00-10:30 | Session 1 |
| 09:00-10:00 | Invited Talk Larry Moss (Indiana University) Automated Reasoning In Natural Language: Current Directions |
| 10:00-10:30 | Wieger Wesselink and Tim Willemse Evidence Extraction from Parameterised Boolean Equation Systems |
| 10:30-11:00 | Coffee Break |
| 11:00-12:30 | Session 2 |
| 11:00-11:30 | Eugenio Orlandelli and Giovanna Corsi Labelled calculi for QMLs with non-rigid and non-denoting terms |
| 11:30-12:00 | Tomer Libal An Outline for Simple Semi-automated Proof Assistants for First-order Modal Logics |
| 12:00-12:30 | Daniel Mery and Didier Galmiche Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Session 3 |
| 14:00-15:00 | Invited Talk Giles Reger (University of Manchester) Going Beyond First-Order Logic with Vampire |
| 15:00-15:30 | Ahmad-Saher Azizi-Sultan Pseudo-Propositional Logic |
| 15:30-16:00 | Coffee Break |
| 16:00-17:00 | Session 4 |
| 16:00-16:30 | Anders Schlichtkrull Formalization of a Paraconsistent Infinite-Valued Logic |
| 16:30-17:00 | Alexander Steen and
Christoph Benzmüller System Demonstration: The Higher-Order Prover Leo-III |