Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for PTTP with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1986-1999 (15) 2000-2012 (7)
Publication types (Num. hits)
article(2) inproceedings(20)
Venues (Conferences, Journals, ...)
CADE(7) Australian Joint Conference on...(2) Acta Cybern.(1) AI(1) Applications of Uncertainty Fo...(1) ASIAN(1) Automated Reasoning: Essays in...(1) Description Logics(1) DISCO(1) ICLP(1) IS/KI(1) J. Autom. Reason.(1) PLILP(1) SETN(1) TABLEAUX(1)
Authors
Marianne Brown(3) Mark E. Stickel(3) Peter Baumgartner 0001(3) Ulrich Furbach(3) Geoff Sutcliffe(2) Koji Iwanuma(2) Pascal Nicolas(2) Péter Szeredi(2) Torsten Schaub(2) Adam Meissner(1) Alberto Maria Segre(1) David B. Sturgill(1) Eric Neufeld(1) Frieder Stolzenburg(1) Gergely Lukácsy(1) Giuseppe Attardi(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
124Mark E. Stickel A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
117Marianne Brown, Geoff Sutcliffe PTTP+GLiDeS: Guiding Linear Deductions with Semantics. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
110Marianne Brown, Geoff Sutcliffe System Description: PTTP+GLiDes: Semantically Guided PTTP. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
95Mark Tarver An Examination of the Prolog Technology Theorem-Prover. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF PTTP, metalevel reasoning, Prolog Normal Form, refinement
67Adam Meissner Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language. Search on Bibsonomy SETN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF parallel reasoning, PTTP, the Oz language, first-order logic
62Oliver Ray The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Koji Iwanuma Lemma Matching for a PTTP-based Top-down Theorem Prover. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Zsolt Zombori, Péter Szeredi Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving. Search on Bibsonomy Acta Cybern. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
34Zsolt Nagy, Gergely Lukácsy, Péter Szeredi Description logic reasoning using the PTTP approach. Search on Bibsonomy Description Logics The full citation details ... 2006 DBLP  BibTeX  RDF
34Peter Baumgartner 0001, Frieder Stolzenburg Constraint Model Elimination and a PTTP-Implementation. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Peter Baumgartner 0001, Ulrich Furbach Model Elimination Without Contrapositives and Its Application to PTTP. Search on Bibsonomy J. Autom. Reason. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
34Mark E. Stickel PTTP and Linked Inference. Search on Bibsonomy Automated Reasoning: Essays in Honor of Woody Bledsoe The full citation details ... 1991 DBLP  BibTeX  RDF
21Eric Neufeld Clue as a Testbed for Automated Theorem Proving. Search on Bibsonomy AI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Marianne Brown Selecting Semantics for Use with Semantic Pruning of Linear Deductions. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Koji Iwanuma, Kenichi Kishino Lemma Generalization and Non-unit Lemma Matching for Model Elimination. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Pascal Nicolas, Torsten Schaub The XRay system: An implementation platform for local query-answering in default logics. Search on Bibsonomy Applications of Uncertainty Formalisms The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Torsten Schaub, Stefan Brüning, Pascal Nicolas XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Peter Baumgartner 0001, Ulrich Furbach PROTEIN: A PROver with a Theory Extension INterface. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21David B. Sturgill, Alberto Maria Segre A Novel Asynchronous Parallelism Scheme for First-Order Logic. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21Ulrich Furbach Theory Reasoning in First Order Calculi. Search on Bibsonomy IS/KI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21Giuseppe Attardi, Mauro Gaspari Multilanguage Interoperability. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
21Mark E. Stickel A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (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