Pages that link to "Item:Q1028966"
From MaRDI portal
The following pages link to Metatheory of actions: beyond consistency (Q1028966):
Displaying 6 items.
- A unifying action calculus (Q543584) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Constrained consequence (Q1941731) (← links)
- Position systems in dynamic domains (Q2341258) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
