A Simple Proof-Theoretic Characterization of Stable Models.

Enrico Giunchiglia Marco Maratea Marco Mochi

Published in: IPS-RCRA-SPIRIT@AI*IA (2023)

Keyphrases

stable models
fixpoint
proof theoretic
logic programs
deductive databases
logic programming
model theoretic
finite state machines
proof theory
linear logic
artificial intelligence
default reasoning
machine learning
constraint satisfaction
semantic web
constraint logic programming
bayesian networks
database systems