- Tytuł:
- A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
- Autorzy:
-
Eiter, T.
Erdem, E.
Faber, W.
Senko, J. - Data publikacji:
- 2007
- Słowa kluczowe:
-
knowledge representation
reasoning about actions
logic-based planning
explanations
execution monitoring
computational complexity - Pokaż więcej
- Dostawca treści:
- BazTech