Searching for "An abductive event calculus planner." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
An abductive event calculus planner
- …An Abductive Event Calculus Planner Murray Shanahan Department of Electrical and Electronic…
- Cited by 37 (2 self) – Add To MetaCart
-
The Nature of Knowledge in an Abductive Event Calculus Planner
- …The Nature of Knowledge in an Abductive Event Calculus Planner Leliane Nunes de Barros leliane…
- Cited by 1 (1 self) – Add To MetaCart
-
Compliance verification of agent interaction: a logic-based tool
- … of an Abductive Event Calculus planner. Our notion of expectation is more general than that of commitment adopted…
- Cited by 22 (13 self) – Add To MetaCart
-
Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments
- … calculus planners is abduction. One such abductive event calculus planner is due to Shanahan [10]; we use…
- Cited by 72 (8 self) – Add To MetaCart
-
Designing and Executing Protocols Using The Event Calculus
- … reasoning that is commonly used in building event calculus planners is abduction. One such abductive event…
- Cited by 2 (1 self) – Add To MetaCart
-
Automated web service composition with the event calculus
- … definition and its use in the abductive event calculus planner. 5.1 OWL-S to Event Calculus Translation…
- Cited by 1 (0 self) – Add To MetaCart
-
Circumscriptive Event Calculus as Answer Set Programming
- … traditional abductive event calculus planners. Compared to another similar approach in [Shanahan and Witkowski…
- Add To MetaCart
Showing 1 through 7.
