Searching for "Planning via Model Checking A Decision Procedure for AR." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Planning via model checking: A decision procedure for AR
by Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso — 1997 — PROCEEDINGS OF ECP-97
… Planning via Model Checking: A Decision Procedure for AR Alessandro Cimatti1, Enrico…
Cited by 57 (16 self) – Add To MetaCart

BDD-based reasoning in the fluent calculus – first results
by Ste En Holldobler — 2000 — In 8th. Intl. Workshop on Non-Monotonic Reasoning (NMR’2000
… checking: A decision procedure for ar. In S. Steel and R. Alami, editors, Proceedings of the Fourth…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB