Searching for "Model Verification and Improvement Using DISPROVER." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Domain-Independent Planning: Representation and Plan Generation
by David E. Wilkins, Paradigm Morgan Kaufmann, Henry E. Kyburg, Ronald P. Loui, Greg N. Carlson, Knowledge Representation — 1984
… and improvement using DISPROVER," Artificial Intelligence, 6:41-52, 1975. [Simari and Loui, 1992] G.R. Simari…
Cited by 127 (1 self) – Add To MetaCart

Showing 1 through 1.

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