An incremental algorithm for generating all minimal models.

Rachel Ben-Eliyahu-Zohary

Published in: Artif. Intell. (2005)

Keyphrases

minimal models
propositional logic
logic programs
autoepistemic logic
nonmonotonic reasoning
default logic
object oriented
general purpose