MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Prolog Technology Theorem Prover Implementation by an Extended Prolog Compiler." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler
by Mark E. Stickel — 1987 — Journal of Automated Reasoning
…A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler 1 Mark E…
Cited by 93 (2 self) – Add To MetaCart

A First-Order Horn-Clause Abductive System And Its Use In Plan Recognition And Diagnosis
by Hwee Tou Ng, Raymond J. Mooney, Siddarth Subramanian, Brain Sciences, Robert W. Wilensky Underst, Robert W. Wilensky Planning — 1992
… International, September 1988. [67] Mark E. Stickel. A Prolog technology theorem prover: Implementation…
Add To MetaCart

Quality Measures and Assurance for AI Software
by John Rushby, Cognitive Systems Ai Magazine, Richard M. Tong, Neville D. Newman, Gary Berg-cross — 1988
… 1987. [179] Mark E. Stickel. A Prolog technology theorem prover: Implementation by an extended Prolog…
Cited by 4 (1 self) – Add To MetaCart

Measures and Techniques for Software Quality Assurance
by John Rushby — 1991
… Prolog technology theorem prover: Implementation by an extended Prolog compiler. Journal of Automated…
Add To MetaCart

Bibliography
by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
…. [Sti88] M. E. Stickel: A Prolog technology theorem prover: Implementation by an extended Prolog…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB