Conferences in DBLP
Neil D. Jones Program Termination Analysis by Size-Change Graphs (Abstract). [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:1-4 [Conf ] Lawrence C. Paulson SET Cardholder Registration: The Secrecy Proofs. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:5-12 [Conf ] Andrei Voronkov Algorithms, Datastructures, and other Issues in Efficient Automated Deduction. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:13-28 [Conf ] Volker Haarslev , Ralf Möller , Michael Wessel The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:29-44 [Conf ] Carsten Lutz NEXPTIME-Complete Description Logics with Concrete Domains. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:45-60 [Conf ] Volker Haarslev , Ralf Möller , Anni-Yasmin Turhan Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:61-75 [Conf ] Ulrike Sattler , Moshe Y. Vardi The Hybrid µ-Calculus. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:76-91 [Conf ] Franz Baader , Stephan Tobies The Inverse Method Implements the Automata Approach for Modal Satisfiability. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:92-106 [Conf ] Regimantas Pliuskevicius Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:107-120 [Conf ] Carsten Lutz , Holger Sturm , Frank Wolter , Michael Zakharyaschev Tableaux for Temporal Description Logic with Constant Domains. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:121-136 [Conf ] Serenella Cerrito , Marta Cialdea Mayer Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:137-151 [Conf ] Andrea Formisano , Eugenio G. Omodeo , Marco Temperini Instructing Equational Set-Reasoning with Otter. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:152-167 [Conf ] Stefan Szeider NP-Completeness of Refutability by Literal-Once Resolution. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:168-181 [Conf ] Reiner Hähnle , Neil V. Murray , Erik Rosenthal Ordered Resolution vs. Connection Graph Resolution. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:182-194 [Conf ] Jürgen Stuber A Model-Based Completeness Proof of Extended Narrowing and Resolution. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:195-210 [Conf ] Hans de Nivelle , Ian Pratt-Hartmann A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:211-225 [Conf ] Uwe Waldmann Superposition and Chaining for Totally Ordered Divisible Abelian Groups. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:226-241 [Conf ] Harald Ganzinger , Robert Nieuwenhuis , Pilar Nivela Context Trees. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:242-256 [Conf ] Robert Nieuwenhuis , Thomas Hillenbrand , Alexandre Riazanov , Andrei Voronkov On the Evaluation of Indexing Techniques for Theorem Proving. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:257-271 [Conf ] Sylvie Doutre , Jérôme Mengin Preferred Extensions of Argumentation Frameworks: Query Answering and Computation. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:272-288 [Conf ] Pablo A. Armelín , David J. Pym Bunched Logic Programming. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:289-304 [Conf ] Kewen Wang A Top-Down Procedure for Disjunctive Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:305-317 [Conf ] Michael Beeson A Second-Order Theorem Prover Applied to Circumscription. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:318-324 [Conf ] Christian Anger , Kathrin Konczak , Thomas Linke NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:325-330 [Conf ] Marco Benedetti Conditional Pure Literal Graphs. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:331-346 [Conf ] Enrico Giunchiglia , Marco Maratea , Armando Tacchella , Davide Zambonin Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:347-363 [Conf ] Enrico Giunchiglia , Massimo Narizzano , Armando Tacchella QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:364-369 [Conf ] Stephan Schulz System Abstract: E 0.61. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:370-375 [Conf ] Alexandre Riazanov , Andrei Voronkov Vampire 1.1 (System Description). [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:376-380 [Conf ] Reinhold Letz , Gernot Stenz DCTP - A Disconnection Calculus Theorem Prover - System Abstract. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:381-385 [Conf ] Marko Luther More On Implicit Syntax. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:386-400 [Conf ] Brigitte Pientka Termination and Reduction Checking for Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:401-415 [Conf ] Armin Fiedler P.rex: An Interactive Proof Explainer. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:416-420 [Conf ] Stephan Schmitt , Lori Lorigo , Christoph Kreitz , Aleksey Nogin JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:421-426 [Conf ] Gilles Audemard , Laurent Henocque The eXtended Least Number Heuristic. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:427-442 [Conf ] Kahlil Hodgson , John K. Slaney System Description: SCOTT-5. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:443-447 [Conf ] Maria Paola Bonacina Combination of Distributed Search and Multi-search in Peers-mcd.d. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:448-452 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:453-458 [Conf ] Jens Happe The MODPROF Theorem Prover. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:459-463 [Conf ] Peter F. Patel-Schneider , Roberto Sebastiani A New System and Methodology for Generating Random Modal Formulae. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:464-468 [Conf ] Jürgen Giesl , Deepak Kapur Decidable Classes of Inductive Theorems. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:469-484 [Conf ] Xavier Urbain Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:485-498 [Conf ] Christopher Lynch , Barbara Morawska Decidability and Complexity of Finitely Closable Linear Equational Theories. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:499-513 [Conf ] Harald Ganzinger , David A. McAllester A New Meta-complexity Theorem for Bottom-Up Logic Programs. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:514-528 [Conf ] Arnon Avron , Iddo Lev Canonical Propositional Gentzen-Type Systems. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:529-544 [Conf ] Martin Giese Incremental Closure of Free Variable Tableaux. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:545-560 [Conf ] Uwe Egly , Stephan Schmitt Deriving Modular Programs from Short Proofs. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:561-577 [Conf ] Nicolas Peltier A General Method for Using Schematizations in Automated Deduction. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:578-592 [Conf ] Aart Middeldorp Approximating Dependency Graphs Using Tree Automata Techniques. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:593-610 [Conf ] Bernard Boigelot , Sébastien Jodogne , Pierre Wolper On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:611-625 [Conf ] Bernhard Beckert , Steffen Schlager A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:626-641 [Conf ] Wolfgang Reif , Gerhard Schellhorn , Andreas Thums Flaw Detection in Formal Specifications. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:642-657 [Conf ] Jürgen Avenhaus , Bernd Löchner CCE: Testing Ground Joinability. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:658-662 [Conf ] Alessandro Armando , Luca Compagna , Silvio Ranise System Description: RDL : Rewrite and Decision Procedure Laboratory. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:663-669 [Conf ] Joshua S. Hodas , Naoyuki Tamura lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:670-684 [Conf ] Dominique Pastre MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:685-689 [Conf ] Jörg Lücke Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:690-695 [Conf ] Dominique Larchey-Wendling , Dominique Méry , Didier Galmiche STRIP: Structural Sharing for Efficient Proof-Search. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:696-700 [Conf ] Volker Haarslev , Ralf Möller RACER System Description. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:701-706 [Conf ]