ARW

Keyphrases

Publications

2000

Cláudia Nalon
Theorem Proving for Temporal Logics of Knowledge or Belief. ARW (2000)
Tatiana Rybina, Andrei Voronkov
A Decision Procedure for Term Algebras with Queues. ARW (2000)
Joe Hurd
Congruence Classes with Logic Variables. ARW (2000)
Renate A. Schmidt
Deciding Fluted Logic with Resolution. ARW (2000)
Alexandre Riazanov, Andrei Voronkov
System Description: Vampire 1.0. ARW (2000)
Alexander Bolotov
Automata on Infinite Words and Temporal Logic Normal Forms. ARW (2000)
Konstantin Korovin, Andrei Voronkov
The Existential Theories of Term Algebras with the Knuth-Bendix Orderings are Decidable. ARW (2000)
Markus Moschner
Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics. ARW (2000)
Rolf Backofen
Exclusion of Symmetries in Search - A Spin-off from Bioinformatics Research. ARW (2000)
Allan Ramsay
Run-time Optimisations for Reasoning with Intensional Logics. ARW (2000)
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Resource Guided Concurrent Deduction. ARW (2000)
Richard J. Boulton
Towards Automating Inductive Proofs for State Monads. ARW (2000)
Regimantas Pliuskevicius
A Deductive Decision Procedure for a Restricted FTL. ARW (2000)
Dov M. Gabbay
Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures. ARW (2000)
Ulrich Endriss
Reasoning in Description Logics with Wellington 1.0 - System Description. ARW (2000)
Andrew A. Adams
Computer Algebra and Automated Reasoning. ARW (2000)
Mauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes
Application of Simplification Theories. ARW (2000)
M. Carmen Fernández Gago
Efficient Control of Temporal Reasoning. ARW (2000)
Stefan Schlobach
Description Logics and Knowledge Discovery of Data. ARW (2000)
Michael Kohlhase
Using Deduction Techniques for Natural Language Understanding. ARW (2000)
Ullrich Hustadt
Practical Proof Methods for Combined Modal and Temporal Logics. ARW (2000)
Alan M. Frisch, Toby Walsh
Automatic Generation of Implied Constraints: Project Description. ARW (2000)
Anatoli Degtyarev, Michael Fisher
Propositional Temporal Resolution Revised. ARW (2000)
Raul H. C. Lopes
Automatic Generation of Concurrent Provers. ARW (2000)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
Hyperresolution for Guarded Formulae. ARW (2000)
Maarten de Rijke
Modal Experiments. ARW (2000)
François de Bertrand de Beuvron, Martina Kullmann, David Rudloff, Michael Schlick, François Rousselot
The Description Logic Reasoner CICLOP (Version 2.0). ARW (2000)
James Harland, David J. Pym, Michael Winikoff
Forward and Backward Chaining in Linear Logic. ARW (2000)

volume 32, 2000

Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. ARW 32 (2000)