Pages that link to "Item:Q814554"
From MaRDI portal
The following pages link to Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554):
Displaying 15 items.
- Action models for conditionals (Q302248) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Toward Question Answering in Travel Domains (Q2900529) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
- On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$ (Q3449224) (← links)
- Functional completion (Q4583310) (← links)
- Modular action language (Q4593024) (← links)
