default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ARQNL 2016: Coimbra, Portugal
- Christoph Benzmüller, Jens Otten:
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. CEUR Workshop Proceedings 1770, CEUR-WS.org 2016
Invited Contributions
- Revantha Ramanayake:
From Axioms to Proof Rules, then add Quantifiers. 1-8
Regular Contributions
- Jens Otten:
Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic. 9-20 - Giovanna Corsi, Eugenio Orlandelli:
Sequent Calculi for Indexed Epistemic Logics. 21-35 - Ching Hoo Tang, Christoph Weidenbach:
A Dynamic Logic for Configuration. 36-50 - Max Wisniewski, Alexander Steen, Christoph Benzmüller:
TPTP and Beyond: Representation of Quantified Non-Classical Logics. 51-65 - Mokarrom Hossain, Wendy MacCaull:
Optimizing Inconsistency-tolerant Description Logic Reasoning. 66-80
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-29 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
