Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Durica Nikolic, Fausto Spoto |
Reachability Analysis of Program Variables. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise |
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Markus Latte, Martin Lange |
Branching Time? Pruning Time! |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chad E. Brown |
Satallax: An Automatic Higher-Order Prover. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Julian Mendez 0001, Barbara Morawska 0001 |
UEL: Unification Solver for the Description Logic ℇℒ - System Description. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Dale Miller 0001, Uli Sattler (eds.) |
Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Suda 0001, Christoph Weidenbach |
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Ori Lahav 0001, Anna Zamansky |
Effective Finite-Valued Semantics for Labelled Calculi. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stéphanie Delaune, Steve Kremer, Daniel Pasaila |
Security Protocols, Constraint Systems, and Group Theories. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mnacho Echenim, Nicolas Peltier |
A Calculus for Generating Ground Explanations. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schulz 0001 |
Fingerprint Indexing for Paramodulation and Rewriting. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Jimmy Thomson 0001 |
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier |
Taming Past LTL and Flat Counter Systems. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda |
SPARQL Query Containment under RDFS Entailment Regime. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matti Järvisalo, Marijn Heule, Armin Biere |
Inprocessing Rules. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Neurauter, Aart Middeldorp, Harald Zankl |
Monotonicity Criteria for Polynomial Interpretations over the Naturals. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Despoina Magka, Yevgeny Kazakov, Ian Horrocks 0001 |
Tractable Extensions of the Description Logic EL with Numerical Datatypes. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yevgeny Kazakov |
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
Linear Quantifier Elimination as an Abstract Decision Procedure. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Interpolation and Symbol Elimination in Vampire. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller 0001, Bruno Woltzenlogel Paleo |
System Description: The Proof Transformation System CERES. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Silvio Ranise |
MCMT: A Model Checker Modulo Theories. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Friedmann, Markus Latte, Martin Lange |
A Decision Procedure for CTL* Based on Tableaux and Automata. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marta Cialdea Mayer, Serenella Cerrito |
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune |
Automating Security Analysis: Symbolic Equivalence of Constraint Systems. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
RegSTAB: A SAT Solver for Propositional Schemata. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Alexander Krauss 0001 |
Monotonicity Inference for Higher-Order Formulas. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem |
Logic between Expressivity and Complexity. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
A Decidable Class of Nested Iterated Schemata. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julian Backes, Chad E. Brown |
Analytic Tableaux for Higher-Order Logic with Choice. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Birte Glimm, Ian Horrocks 0001, Boris Motik |
Optimized Description Logic Reasoning via Core Blocking. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Baelde, Dale Miller 0001, Zachary Snow |
Focused Inductive Theorem Proving. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle |
Classical Logic with Partial Functions. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Suda 0001, Christoph Weidenbach, Patrick Wischnewski |
On the Saturation of YAGO. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nao Hirokawa, Aart Middeldorp |
Decreasing Diagrams and Relative Termination. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
Verifying Safety Properties with the TLA+ Proof System. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder |
Global Caching for Coalgebraic Description Logics. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Sofronie-Stokkermans |
Hierarchical Reasoning for the Verification of Parametric Systems. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Florian Widmann |
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl |
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Winkler, Aart Middeldorp |
Termination Tools in Ordered Completion. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
Automated Reasoning for Relational Probabilistic Knowledge Representation. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Viktor Kuncak |
MUNCH - Automated Reasoner for Sets and Multisets. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ayad, Claude Marché |
Multi-Prover Verification of Floating-Point Programs. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elena Sherman, Brady J. Garvin, Matthew B. Dwyer |
A Slice-Based Decision Procedure for Type-Based Partial Orders. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kaminski, Gert Smolka |
Terminating Tableaux for Hybrid Logic with Eventualities. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier |
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka, Jana Dunfield |
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description). |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur |
Induction, Invariants, and Abstraction. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill |
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Ihlemann, Viorica Sofronie-Stokkermans |
On Hierarchical Reasoning in Combinations of Theories. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Markus Aderhold |
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anders Schack-Nielsen, Carsten Schürmann 0001 |
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Korovin, Christoph Sticksel |
iProver-Eq: An Instantiation-Based Theorem Prover with Equality. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, Reiner Hähnle (eds.) |
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Filip Maric, Predrag Janicic |
URBiVA: Uniform Reduction to Bit-Vector Arithmetic. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder |
Premise Selection in the Naproche System. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Böhme, Tobias Nipkow |
Sledgehammer: Judgement Day. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
Canonicity! |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Gacek |
The Abella Interactive Theorem Prover (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Linear Quantifier Elimination. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Aarti Gupta |
Software Verification: Roles and Challenges for Automatic Decision Procedures. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Florian Rabe 0001, Geoff Sutcliffe |
THF0 - The Core of the TPTP Language for Higher-Order Logic. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Fietzke, Christoph Weidenbach |
Labelled Splitting. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer |
LogAnswer - A Deduction-Based Question Answering System (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nao Hirokawa, Georg Moser |
Automated Complexity Analysis Based on the Dependency Pair Method. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Georg Struth |
On Automating the Calculus of Relations. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kaminski, Gert Smolka |
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
modal and hybrid logics, difference modality, converse, decision procedures, tableau systems |
1 | Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke |
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Comon-Lundh |
Challenges in the Automated Verification of Security Protocols. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Georg Moser, Andreas Schnabl |
Automated Implicit Computational Complexity Analysis (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincent van Oostrom |
Modularity of Confluence. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juan Antonio Navarro Pérez, Andrei Voronkov |
Proof Systems for Effectively Propositional Logic. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Linda Postniece |
An Experimental Evaluation of Global Caching for (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Rafael Peñaloza |
Automata-Based Axiom Pinpointing. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steve Kremer, Antoine Mercier 0002, Ralf Treinen |
Proving Group Protocols Secure Against Eavesdroppers. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Dale Miller 0001 |
Focusing in Linear Meta-logic. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Nachum Dershowitz |
Canonical Inference for Implicational Systems. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anders Schack-Nielsen, Carsten Schürmann |
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Peter Baumgartner 0001, Gilles Dowek (eds.) |
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Engineering DPLL(T) + Saturation. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Korovin |
iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Boyer, Thomas Genet, Thomas P. Jensen |
Certifying a Tree Automata Completion Checker. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran |
Unification and Matching Modulo Leaf-Permutative Equational Presentations. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Radu Iosif, Swann Perarnau |
Quantitative Separation Logic and Programs with Lists. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
Aligator: A Mathematica Package for Invariant Generation (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Renate A. Schmidt, Dmitry Tishkovsky |
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp |
Multi-completion with Termination Tools (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten |
leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz |
The Complexity of Conjunctive Query Answering in Expressive Description Logics. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil |
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 |
MTT: The Maude Termination Tool (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Melquiond |
Proving Bounds on Real-Valued Functions with Computations. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
The Logical Difference Problem for Description Logic Terminologies. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
Towards SMT Model Checking of Array-Based Systems. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ádám Darvas, Farhad Mehta, Arsenii Rudich |
Efficient Well-Definedness Checking. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|