Search results for "IJCAR"

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

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