ARQNL@IJCAR

Keyphrases

Publications

volume 3326, 2023

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022. ARQNL@IJCAR 3326 (2023)

2022

Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Reasoning in Non-normal Modal Description Logics. ARQNL@IJCAR (2022)
Thomas Neele
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems. ARQNL@IJCAR (2022)
Renate A. Schmidt
Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract). ARQNL@IJCAR (2022)
Tomer Libal
Do Lawyers Use Automated Reasoning? (invited paper). ARQNL@IJCAR (2022)
Jens Otten
Advancing Automated Theorem Proving for the Modal Logics D and S5. ARQNL@IJCAR (2022)
Ana de Almeida Borges
Towards a Coq Formalization of a Quantified Modal Logic. ARQNL@IJCAR (2022)
Annika Kanckos
Intuitionistic Derivability in Anderson's Variant of the Ontological Argument. ARQNL@IJCAR (2022)
Xavier Parent, Christoph Benzmüller
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. ARQNL@IJCAR (2022)

2018

volume 2095, 2018

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018. ARQNL@IJCAR 2095 (2018)

2016

volume 1770, 2016

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016. ARQNL@IJCAR 1770 (2016)

volume 33, 2015

Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014 ARQNL@IJCAR 33 (2015)

2014