Pages that link to "Item:Q4352533"
From MaRDI portal
The following pages link to A simple declarative language for describing narratives with actions (Q4352533):
Displaying 11 items.
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- A Language for Default Reasoning about Actions (Q2900546) (← links)
- Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995) (← links)
- The ramification problem in temporal databases: Concurrent execution (Q3563646) (← links)
- Narratives in the Situation Calculus (Q4316293) (← links)
- Modular action language (Q4593024) (← links)
- Generating an action notation environment from Montages descriptions (Q5953459) (← links)