Pages that link to "Item:Q2851240"
From MaRDI portal
The following pages link to Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming (Q2851240):
Displaying 7 items.
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers (Q2938519) (← links)
- Representing hybrid automata by action language modulo theories (Q4592716) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)