default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDARW 2000: London, UK
- Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach:
Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. CEUR Workshop Proceedings 32, CEUR-WS.org 2000
Invited talks
- Rolf Backofen:
Exclusion of Symmetries in Search - A Spin-off from Bioinformatics Research. - Maarten de Rijke:
Modal Experiments. - Dov M. Gabbay:
Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures. - Michael Kohlhase:
Using Deduction Techniques for Natural Language Understanding.
Contributed abstracts
- Andrew A. Adams:
Computer Algebra and Automated Reasoning. - Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Resource Guided Concurrent Deduction. - François de Bertrand de Beuvron, Martina Kullmann, David Rudloff, Michael Schlick, François Rousselot:
The Description Logic Reasoner CICLOP (Version 2.0). - Alexander Bolotov:
Automata on Infinite Words and Temporal Logic Normal Forms. - Richard J. Boulton:
Towards Automating Inductive Proofs for State Monads. - Anatoli Degtyarev, Michael Fisher:
Propositional Temporal Resolution Revised. - Ulrich Endriss:
Reasoning in Description Logics with Wellington 1.0 - System Description. - M. Carmen Fernández Gago:
Efficient Control of Temporal Reasoning. - Alan M. Frisch, Toby Walsh:
Automatic Generation of Implied Constraints: Project Description. - Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
Hyperresolution for Guarded Formulae. - James Harland, David J. Pym, Michael Winikoff:
Forward and Backward Chaining in Linear Logic. - Joe Hurd:
Congruence Classes with Logic Variables. - Ullrich Hustadt:
Practical Proof Methods for Combined Modal and Temporal Logics. - Konstantin Korovin, Andrei Voronkov:
The Existential Theories of Term Algebras with the Knuth-Bendix Orderings are Decidable. - Raul H. C. Lopes:
Automatic Generation of Concurrent Provers. - Markus Moschner:
Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics. - Cláudia Nalon:
Theorem Proving for Temporal Logics of Knowledge or Belief. - Mauricio Osorio, Juan Carlos Nieves, Gabriel Cervantes:
Application of Simplification Theories. - Regimantas Pliuskevicius:
A Deductive Decision Procedure for a Restricted FTL. - Allan Ramsay:
Run-time Optimisations for Reasoning with Intensional Logics. - Alexandre Riazanov, Andrei Voronkov:
System Description: Vampire 1.0. - Tatiana Rybina, Andrei Voronkov:
A Decision Procedure for Term Algebras with Queues. - Stefan Schlobach:
Description Logics and Knowledge Discovery of Data. - Renate A. Schmidt:
Deciding Fluted Logic with Resolution.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
