Pages that link to "Item:Q2909140"
From MaRDI portal
The following pages link to Representing the language of the causal calculator in answer set programming (Q2909140):
Displaying 11 items.
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions (Q2900515) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (Q2900536) (← links)
- A Language for Default Reasoning about Actions (Q2900546) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Action language ℬ𝒞+ (Q3304092) (← links)
- Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
- Functional completion (Q4583310) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897781) (← links)