no code implementations • 15 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.
no code implementations • 18 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.