The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ARQNL@IJCAR"( http://dblp.L3S.de/Venues/ARQNL@IJCAR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cade

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