Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ARW"( http://dblp.L3S.de/Venues/ARW )

URL (DBLP): http://dblp.uni-trier.de/db/conf/arw

Publication years (Num. hits)
2000 (29)
Publication types (Num. hits)
inproceedings(28) proceedings(1)
Venues (Conferences, Journals, ...)
ARW(29)
Authors
Andrei Voronkov(3) Renate A. Schmidt(2) Stefan Schlobach(2) Ullrich Hustadt(2) Ulrich Endriss(2) Alan M. Frisch(1) Alexander Bolotov(1) Alexandre Riazanov(1) Allan Ramsay(1) Anatoli Degtyarev(1) Andrew A. Adams(1) Christoph Benzmüller(1) Cláudia Nalon(1) David J. Pym(1) David Rudloff(1) Dov M. Gabbay(1) More (+10 of total 44)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Cláudia Nalon Theorem Proving for Temporal Logics of Knowledge or Belief. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Tatiana Rybina, Andrei Voronkov A Decision Procedure for Term Algebras with Queues. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Joe Hurd Congruence Classes with Logic Variables. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Renate A. Schmidt Deciding Fluted Logic with Resolution. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Alexandre Riazanov, Andrei Voronkov System Description: Vampire 1.0. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Alexander Bolotov Automata on Infinite Words and Temporal Logic Normal Forms. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Konstantin Korovin, Andrei Voronkov The Existential Theories of Term Algebras with the Knuth-Bendix Orderings are Decidable. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Markus Moschner Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Rolf Backofen Exclusion of Symmetries in Search - A Spin-off from Bioinformatics Research. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Allan Ramsay Run-time Optimisations for Reasoning with Intensional Logics. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge Resource Guided Concurrent Deduction. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Richard J. Boulton Towards Automating Inductive Proofs for State Monads. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Regimantas Pliuskevicius A Deductive Decision Procedure for a Restricted FTL. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Dov M. Gabbay Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Ulrich Endriss Reasoning in Description Logics with Wellington 1.0 - System Description. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Andrew A. Adams Computer Algebra and Automated Reasoning. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves, Gabriel Cervantes Application of Simplification Theories. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1M. Carmen Fernández Gago Efficient Control of Temporal Reasoning. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach (eds.) Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Stefan Schlobach Description Logics and Knowledge Discovery of Data. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Michael Kohlhase Using Deduction Techniques for Natural Language Understanding. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Ullrich Hustadt Practical Proof Methods for Combined Modal and Temporal Logics. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Alan M. Frisch, Toby Walsh Automatic Generation of Implied Constraints: Project Description. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Anatoli Degtyarev, Michael Fisher 0001 Propositional Temporal Resolution Revised. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Raul H. C. Lopes Automatic Generation of Concurrent Provers. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt Hyperresolution for Guarded Formulae. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1Maarten de Rijke Modal Experiments. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1François de Bertrand de Beuvron, Martina Kullmann, David Rudloff, Michael Schlick, François Rousselot The Description Logic Reasoner CICLOP (Version 2.0). Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
1James Harland, David J. Pym, Michael Winikoff Forward and Backward Chaining in Linear Logic. Search on Bibsonomy ARW The full citation details ... 2000 DBLP  BibTeX  RDF
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license