|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki |
Reasoning in Non-normal Modal Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 28-45, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Thomas Neele |
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 64-80, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Renate A. Schmidt |
Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 11-12, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Tomer Libal |
Do Lawyers Use Automated Reasoning? (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 1-10, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Jens Otten |
Advancing Automated Theorem Proving for the Modal Logics D and S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 81-91, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Ana de Almeida Borges |
Towards a Coq Formalization of a Quantified Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 13-27, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Annika Kanckos |
Intuitionistic Derivability in Anderson's Variant of the Ontological Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 46-63, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Xavier Parent, Christoph Benzmüller |
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 92-108, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ahmad-Saher Azizi-Sultan |
Pseudo-Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 26-33, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Didier Galmiche, Daniel Méry |
Labelled Connection-based Proof Search for Multiplicative Intuitionistic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 49-63, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Lawrence S. Moss |
Implementations of Natural Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 1-10, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander Steen, Christoph Benzmüller |
System Demonstration: The Higher-Order Prover Leo-III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 79-85, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Giles Reger |
Some Thoughts About FOL-Translations in Vampire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 11-25, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Eugenio Orlandelli, Giovanna Corsi |
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 64-78, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Tomer Libal |
A Simple Semi-automated Proof Assistant for First-order Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 34-48, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Wieger Wesselink, Tim A. C. Willemse |
Evidence Extraction from Parameterised Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 86-100, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Ching Hoo Tang, Christoph Weidenbach |
A Dynamic Logic for Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 36-50, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Giovanna Corsi, Eugenio Orlandelli |
Sequent Calculi for Indexed Epistemic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 21-35, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Jens Otten |
Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 9-20, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mokarrom Hossain, Wendy MacCaull |
Optimizing Inconsistency-tolerant Description Logic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 66-80, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Revantha Ramanayake |
From Axioms to Proof Rules, then add Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 1-8, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Max Wisniewski, Alexander Steen, Christoph Benzmüller |
TPTP and Beyond: Representation of Quantified Non-Classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: 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., pp. 51-65, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Jens Otten, Thomas Raths |
Problem Libraries for Non-Classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 31-36, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Max Wisniewski, Alexander Steen |
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 59-64, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller |
HOL Provers for First-order Modal Logics - Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 37-41, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Alama |
Dialogues for proof search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 65-70, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle |
Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 71-86, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange 0002, Michael Grüninger |
Proof Support for Common Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 42-58, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ping Hou, Yifei Chen |
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 17-30, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARQNL@IJCAR ![In: Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014, pp. 1-16, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|