![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
ARW 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.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.