Pages that link to "Item:Q2887086"
From MaRDI portal
The following pages link to Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming (Q2887086):
Displaying 11 items.
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- ASP for flexible payroll management (Q2694607) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)
- Incremental Event Calculus for Run-Time Reasoning (Q5076337) (← links)
- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632) (← links)
- Simulation of Action Theories and an Application to General Game-Playing Robots (Q5172606) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)
