Searching for "Reasoning about Action in Dynamic Logic." – 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.

Extended Propositional Dynamic Logic for Reasoning about Actions (Extended Abstract)
by Dongmo Zhang, Norman Foo
…Extended Propositional Dynamic Logic for Reasoning about Actions (Extended abstract) Dongmo Zhang…
Cited by 1 (1 self) – Add To MetaCart

Consistency of Action Descriptions
by Dongmo Zhang, Samir Chopra, Norman Foo — 2001 — In PRICAI’02, Topics in Artificial Intelligence
… to reasoning about actions in dynamic logic can be emphasized. Firstly, dynamic logic, with its underlying…
Cited by 13 (3 self) – Add To MetaCart

Showing 1 through 2.

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