Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Uwe Waldmann |
Superposition and Chaining for Totally Ordered Divisible Abelian Groups. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Sébastien Jodogne, Pierre Wolper |
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, Deepak Kapur |
Decidable Classes of Inductive Theorems. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Szeider |
NP-Completeness of Refutability by Literal-Once Resolution. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov |
On the Evaluation of Indexing Techniques for Theorem Proving. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter F. Patel-Schneider, Roberto Sebastiani |
A New System and Methodology for Generating Random Modal Formulae. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle, Ian Pratt-Hartmann |
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz |
NEXPTIME-Complete Description Logics with Concrete Domains. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marco Benedetti |
Conditional Pure Literal Graphs. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kahlil Hodgson, John K. Slaney |
System Description: SCOTT-5. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly, Stephan Schmitt |
Deriving Modular Programs from Short Proofs. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kewen Wang 0001 |
A Top-Down Procedure for Disjunctive Well-Founded Semantics. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beeson |
A Second-Order Theorem Prover Applied to Circumscription. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence C. Paulson |
SET Cardholder Registration: The Secrecy Proofs. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch, Barbara Morawska 0001 |
Decidability and Complexity of Finitely Closable Linear Equational Theories. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Larchey-Wendling, Daniel Méry, Didier Galmiche |
STRIP: Structural Sharing for Efficient Proof-Search. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.) |
Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marko Luther |
More On Implicit Syntax. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Volker Haarslev, Ralf Möller 0001 |
RACER System Description. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Volker Haarslev, Ralf Möller 0001, Michael Wessel |
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Pastre |
MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Urbain |
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Christian Anger, Kathrin Konczak, Thomas Linke |
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
Termination and Reduction Checking for Higher-Order Logic Programs. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Giese |
Incremental Closure of Free Variable Tableaux. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Volker Haarslev, Ralf Möller 0001, Anni-Yasmin Turhan |
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Sattler, Moshe Y. Vardi |
The Hybrid µ-Calculus. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joshua S. Hodas, Naoyuki Tamura |
lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Serenella Cerrito, Marta Cialdea Mayer |
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Stephan Tobies |
The Inverse Method Implements the Automata Approach for Modal Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
Combination of Distributed Search and Multi-search in Peers-mcd.d. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Letz, Gernot Stenz |
DCTP - A Disconnection Calculus Theorem Prover - System Abstract. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Steffen Schlager |
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Armin Fiedler |
P.rex: An Interactive Proof Explainer. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Reif, Gerhard Schellhorn, Andreas Thums |
Flaw Detection in Formal Specifications. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp |
Approximating Dependency Graphs Using Tree Automata Techniques. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Neil D. Jones |
Program Termination Analysis by Size-Change Graphs (Abstract). |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, David A. McAllester |
A New Meta-complexity Theorem for Bottom-Up Logic Programs. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Regimantas Pliuskevicius |
Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Lücke |
Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
First-Order Logic, Set Theory, Decision Procedures |
1 | Stephan Schulz 0001 |
System Abstract: E 0.61. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela |
Context Trees. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin |
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Doutre, Jérôme Mengin |
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jens Happe |
The MODPROF Theorem Prover. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Laurent Henocque |
The eXtended Least Number Heuristic. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev |
Tableaux for Temporal Description Logic with Constant Domains. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pablo A. Armelín, David J. Pym |
Bunched Logic Programming. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin |
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron, Iddo Lev |
Canonical Propositional Gentzen-Type Systems. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Formisano 0001, Eugenio G. Omodeo, Marco Temperini |
Instructing Equational Set-Reasoning with Otter. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
Set reasoning, map algebra, first-order theorem proving |
1 | Alessandro Armando, Luca Compagna, Silvio Ranise |
System Description: RDL : Rewrite and Decision Procedure Laboratory. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci |
Lotrec : The Generic Tableau Prover for Modal and Description Logics. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Peltier |
A General Method for Using Schematizations in Automated Deduction. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|