Ravi Palla | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Joohyung Lee
32 publications
Vladimir Lifschitz
16 publications

research

∙ 07/15/2023

Safe Formulas in the General Theory of Stable Models

Safe first-order formulas generalize the concept of a safe rule, which p...

0 Joohyung Lee, et al. ∙

research

∙ 01/18/2014

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

Circumscription and logic programs under the stable model semantics are ...

0 Joohyung Lee, et al. ∙