Safe Formulas in the General Theory of Stable Models.

Joohyung Lee Vladimir Lifschitz Ravi Palla

Published in: CoRR (2023)

Keyphrases

general theory
stable models
logic programs
logic programming
normal logic programs
fixpoint
horn clauses
answer set programming
stable model semantics
deductive databases
loop formulas
machine learning
software engineering
answer sets