Programme

Venue/Registration

Invited Speakers

  • Tomer Libal, University of Luxembourg and The American University of Paris
    "Do Lawyers Use Automated Reasoning?"
  • Renate Schmidt, The University of Manchester
    "Advances and Challenges in the Development and Application of Forgetting Tools"

Schedule

(See also the ARQNL programme at the FLoC EasyChair website.)

Thursday, 11 August 2022

09:00-10:30Session 1
09:00-09:15Christoph Benzmüller and Jens Otten
Opening of the ARQNL Workshop
09:15-10:30Invited Talk
Renate Schmidt (The University of Manchester)
Advances and Challenges in the Development and Application of Forgetting Tools
10:30-11:00Coffee Break
11:00-12:30Session 2
11:00-11:30Ana de Almeida Borges
Towards a Coq formalization of a quantified modal logic
11:30-12:00Tiziano Dalmonte, Andrea Mazzullo and Ana Ozaki
Reasoning in Non-normal Modal Description Logics
12:00-12:30Annika Kanckos
Intuitionistic derivability in Anderson's variant of the ontological argument
12:30-14:00Lunch Break
14:00-15:30Session 3
14:00-15:00Invited Talk
Tomer Libal (University of Luxembourg & The American University of Paris)
Do Lawyers Use Automated Reasoning?
15:00-15:30Thomas Neele
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems
15:30-16:00Coffee Break
16:00-17:30Session 4
16:00-16:30Jens Otten
Advancing Automated Theorem Proving for the Modal Logics D and S5
16:30-17:00Xavier Parent and Christoph Benzmüller
Automated verification of deontic correspondences in Isabelle/HOL - First results
17:00-17:30Alexander Steen, Geoff Sutcliffe, Tobias Gleißner and Christoph Benzmüller
Solving QMLTP Problems by Translation to Higher-order Logic (presentation only)