Enumeration of Minimal Models and MUSes in WASP.

Mario Alviano Carmine Dodaro Salvatore Fiorentino Alessandro Previti Francesco Ricca

Published in: LPNMR (2022)

Keyphrases

minimal models
propositional logic
logic programs
nonmonotonic reasoning
autoepistemic logic
default logic
search space
stable models
belief revision
truth maintenance systems
knowledge base
fixpoint
logic programming
learning algorithm
default reasoning
expert systems
answer sets