Pages that link to "Item:Q814554"

The following pages link to Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554):

Displayed 8 items.

• 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)
• Loop formulas for circumscription (Q2457644) ‎ (← links)
• Applications of Action Languages in Cognitive Robotics (Q2900522) ‎ (← links)
• Toward Question Answering in Travel Domains (Q2900529) ‎ (← links)