|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christoph Benzmüller, Jens Otten (eds.) |
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 |
2023 |
DBLP BibTeX RDF |
|
1 | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki |
Reasoning in Non-normal Modal Description Logics. |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Thomas Neele |
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems. |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Renate A. Schmidt |
Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract). |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Tomer Libal |
Do Lawyers Use Automated Reasoning? (invited paper). |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Jens Otten |
Advancing Automated Theorem Proving for the Modal Logics D and S5. |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Ana de Almeida Borges |
Towards a Coq Formalization of a Quantified Modal Logic. |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Annika Kanckos |
Intuitionistic Derivability in Anderson's Variant of the Ontological Argument. |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Xavier Parent, Christoph Benzmüller |
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. |
ARQNL@IJCAR |
2022 |
DBLP BibTeX RDF |
|
1 | Christoph Benzmüller, Jens Otten (eds.) |
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 |
2018 |
DBLP BibTeX RDF |
|
1 | Ahmad-Saher Azizi-Sultan |
Pseudo-Propositional Logic. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Didier Galmiche, Daniel Méry |
Labelled Connection-based Proof Search for Multiplicative Intuitionistic. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Lawrence S. Moss |
Implementations of Natural Logics. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander Steen, Christoph Benzmüller |
System Demonstration: The Higher-Order Prover Leo-III. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Giles Reger |
Some Thoughts About FOL-Translations in Vampire. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Eugenio Orlandelli, Giovanna Corsi |
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Tomer Libal |
A Simple Semi-automated Proof Assistant for First-order Modal Logics. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Wieger Wesselink, Tim A. C. Willemse |
Evidence Extraction from Parameterised Boolean Equation Systems. |
ARQNL@IJCAR |
2018 |
DBLP BibTeX RDF |
|
1 | Christoph Benzmüller, Jens Otten (eds.) |
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 |
2016 |
DBLP BibTeX RDF |
|
1 | Ching Hoo Tang, Christoph Weidenbach |
A Dynamic Logic for Configuration. |
ARQNL@IJCAR |
2016 |
DBLP BibTeX RDF |
|
1 | Giovanna Corsi, Eugenio Orlandelli |
Sequent Calculi for Indexed Epistemic Logics. |
ARQNL@IJCAR |
2016 |
DBLP BibTeX RDF |
|
1 | Jens Otten |
Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic. |
ARQNL@IJCAR |
2016 |
DBLP BibTeX RDF |
|
1 | Mokarrom Hossain, Wendy MacCaull |
Optimizing Inconsistency-tolerant Description Logic Reasoning. |
ARQNL@IJCAR |
2016 |
DBLP BibTeX RDF |
|
1 | Revantha Ramanayake |
From Axioms to Proof Rules, then add Quantifiers. |
ARQNL@IJCAR |
2016 |
DBLP BibTeX RDF |
|
1 | Max Wisniewski, Alexander Steen, Christoph Benzmüller |
TPTP and Beyond: Representation of Quantified Non-Classical Logics. |
ARQNL@IJCAR |
2016 |
DBLP BibTeX RDF |
|
1 | Christoph Benzmüller, Jens Otten (eds.) |
Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014 |
ARQNL@IJCAR |
2015 |
DBLP BibTeX RDF |
|
1 | Jens Otten, Thomas Raths |
Problem Libraries for Non-Classical Logics. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Max Wisniewski, Alexander Steen |
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller |
HOL Provers for First-order Modal Logics - Experiments. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Alama |
Dialogues for proof search. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle |
Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange 0002, Michael Grüninger |
Proof Support for Common Logic. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ping Hou, Yifei Chen |
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz |
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. |
ARQNL@IJCAR |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|