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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Christoph Benzmüller, Jens Otten, editors, 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. Volume 2095 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Conference: cade2018

Abstract is missing.

Implementations of Natural LogicsLawrence S. Moss. 1-10 [doi]

Do Lawyers Use Automated Reasoning? (invited paper)Tomer Libal. 1-10 [doi]

Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract)Renate A. Schmidt. 11-12 [doi]

Some Thoughts About FOL-Translations in VampireGiles Reger. 11-25 [doi]

Towards a Coq Formalization of a Quantified Modal LogicAna de Almeida Borges. 13-27 [doi]

Pseudo-Propositional LogicAhmad-Saher Azizi-Sultan. 26-33 [doi]

Reasoning in Non-normal Modal Description LogicsTiziano Dalmonte, Andrea Mazzullo, Ana Ozaki. 28-45 [doi]

A Simple Semi-automated Proof Assistant for First-order Modal LogicsTomer Libal. 34-48 [doi]

Intuitionistic Derivability in Anderson's Variant of the Ontological ArgumentAnnika Kanckos. 46-63 [doi]

Labelled Connection-based Proof Search for Multiplicative IntuitionisticDidier Galmiche, Daniel Méry. 49-63 [doi]

(Re)moving Quantifiers to Simplify Parameterised Boolean Equation SystemsThomas Neele. 64-80 [doi]

Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting TermsEugenio Orlandelli, Giovanna Corsi. 64-78 [doi]

System Demonstration: The Higher-Order Prover Leo-IIIAlexander Steen, Christoph Benzmüller. 79-85 [doi]

Advancing Automated Theorem Proving for the Modal Logics D and S5Jens Otten. 81-91 [doi]

Evidence Extraction from Parameterised Boolean Equation SystemsWieger Wesselink, Tim A. C. Willemse. 86-100 [doi]

Automated Verification of Deontic Correspondences in Isabelle/HOL - First ResultsXavier Parent, Christoph Benzmüller. 92-108 [doi]

runs on WebDSL