Pages that link to "Item:Q1274680"
From MaRDI portal
The following pages link to Formalizing narratives using nested circumscription (Q1274680):
Displaying 9 items.
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Value minimization in circumscription (Q1274886) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- (Q3493320) (← links)
- Occurrences and narratives as constraints in the branching structure of the situation calculus (Q4228074) (← links)
- Narratives in the Situation Calculus (Q4316293) (← links)
- A simple declarative language for describing narratives with actions (Q4352533) (← links)
- (Q5175655) (← links)
- Formalizing sensing actions -- a transition function based approach (Q5940779) (← links)