The following pages link to Ravi Palla (Q2887085):
Displayed 4 items.
- Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming (Q2887086) (← links)
- Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report) (Q3003263) (← links)
- (Q3100244) (← links)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)