Abstract is missing.
- Using Deduction Techniques for Natural Language UnderstandingMichael Kohlhase. [doi]
- Run-time Optimisations for Reasoning with Intensional LogicsAllan Ramsay. [doi]
- Computer Algebra and Automated ReasoningAndrew A. Adams. [doi]
- Practical Proof Methods for Combined Modal and Temporal LogicsUllrich Hustadt. [doi]
- Efficient Control of Temporal ReasoningM. Carmen Fernández Gago. [doi]
- A Decision Procedure for Term Algebras with QueuesTatiana Rybina, Andrei Voronkov. [doi]
- Towards Automating Inductive Proofs for State MonadsRichard J. Boulton. [doi]
- A Deductive Decision Procedure for a Restricted FTLRegimantas Pliuskevicius. [doi]
- Reasoning in Description Logics with Wellington 1.0 - System DescriptionUlrich Endriss. [doi]
- Description Logics and Knowledge Discovery of DataStefan Schlobach. [doi]
- Automatic Generation of Implied Constraints: Project DescriptionAlan M. Frisch, Toby Walsh. [doi]
- Theorem Proving for Temporal Logics of Knowledge or BeliefCláudia Nalon. [doi]
- Congruence Classes with Logic VariablesJoe Hurd. [doi]
- Application of Simplification TheoriesMauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes. [doi]
- Resource Guided Concurrent DeductionChristoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge. [doi]
- The Existential Theories of Term Algebras with the Knuth-Bendix Orderings are DecidableKonstantin Korovin, Andrei Voronkov. [doi]
- Hyperresolution for Guarded FormulaeLilia Georgieva, Ullrich Hustadt, Renate A. Schmidt. [doi]
- Forward and Backward Chaining in Linear LogicJames Harland, David J. Pym, Michael Winikoff. [doi]
- Propositional Temporal Resolution RevisedAnatoli Degtyarev, Michael Fisher. [doi]
- The Description Logic Reasoner CICLOP (Version 2.0)François de Bertrand de Beuvron, Martina Kullmann, David Rudloff, Michael Schlick, François Rousselot. [doi]
- Automata on Infinite Words and Temporal Logic Normal FormsAlexander Bolotov. [doi]
- Goal Directed Mechanisms: Proofs, Interpolation and Abduction ProceduresDov M. Gabbay. [doi]
- Modal ExperimentsMaarten de Rijke. [doi]
- Exclusion of Symmetries in Search - A Spin-off from Bioinformatics ResearchRolf Backofen. [doi]
- Automatic Generation of Concurrent ProversRaul H. C. Lopes. [doi]
- System Description: Vampire 1.0Alexandre Riazanov, Andrei Voronkov. [doi]
- Finite Model Building for Propositional Gödel-Logics as an Example for Projective LogicsMarkus Moschner. [doi]
- Deciding Fluted Logic with ResolutionRenate A. Schmidt. [doi]