Searching for "The Complexity of Model Checking for Knowledge Update." – 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.

The Complexity of Model Checking for Knowledge Update
by Chitta Baral Dept, Chitta Baral, Yan Zhang — 2002
…The Complexity of Model Checking for Knowledge Update Chitta Baral Dept. of Computer Science…
Add To MetaCart

Knowledge Updates: Semantics and Complexity Issues
by Chitta Baral, Yan Zhang — 2002
… complexity of model checking for knowledge update. We first show that in general the model checking…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 2.

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