Search Results for author: Ravi Palla

Found 2 papers, 0 papers with code

Safe Formulas in the General Theory of Stable Models

no code implementations15 Jul 2023 Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers.

Sentence

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

no code implementations18 Jan 2014 Joohyung Lee, Ravi Palla

Based on the discovery that circumscription and the stable model semantics coincide on a class of canonical formulas, we reformulate the situation calculus and the event calculus in the general theory of stable models.

Translation

Cannot find the paper you are looking for? You can Submit a new open access paper.