The following pages link to Updating action domain descriptions (Q622109):
Displaying 11 items.
- A description logic based situation calculus (Q604908) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Foundations of explanations as model reconciliation (Q2060681) (← links)
- CTL update of Kripke models through protections (Q2453698) (← links)
- Comparing action descriptions based on semantic preferences (Q2457799) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Modular action language (Q4593024) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)
- A domain-independent agent architecture for adaptive operation in evolving open worlds (Q6592985) (← links)
- Reasoning about action and change (Q6602230) (← links)
