MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Provably Correct Theories of Action." – 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

Provably Correct Theories of Action
by Fangzhen Lin, Yoav Shoham — 1991
…Provably Correct Theories of Action 1 Fangzhen Lin Department of Computer Science University…
Cited by 42 (0 self) – Add To MetaCart

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
…. [Lin and Shoham, 1991] Fangzhen Lin and Yoav Shoham, "Provably correct theories of action: Preliminary…
Cited by 127 (1 self) – Add To MetaCart

Deriving Properties of Belief Update from Theories of Action
by Alvaro Del Val, Yoav Shoham — 1992
… update from theories of action Alvaro del Val Robotics Lab Stanford University Stanford, CA 94305…
Cited by 40 (7 self) – Add To MetaCart

Deriving Properties of Belief Update from Theories of Action
by Alvaro Del, Alvaro Del Val, Yoav Shoham — 1992
…(Mod(); I ): 3 Provably correct theories of action: Review As mentioned in the introduction, in tying…
Add To MetaCart

Determining Ramifications in the Situation Calculus
by Enrico Giunchiglia, Enrico Giunchiglia — 1997 — In Proc. of KR-96
… for the goal of building "provably correct theories of actions" in the spirit of [ Lin and Shoham, 1991…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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