Ravi Palla
From MaRDI portal
Person:2887085
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
| Classical logic event calculus as answer set programming | 2011-11-23 | Paper |
| Integrating rules and ontologies in the first-order stable model semantics (preliminary report) Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| Safe Formulas in the General Theory of Stable Models (Preliminary Report) Logic Programming | 2009-01-22 | Paper |
Research outcomes over time
This page was built for person: Ravi Palla
