Expressing Extension-Based Semantics Based on Stratified Minimal Models.

Juan Carlos Nieves Mauricio Osorio Claudia Zepeda

Published in: WoLLIC (2009)

Keyphrases

minimal models
logic programs
truth maintenance systems
nonmonotonic reasoning
semantics for logic programs
propositional logic
autoepistemic logic
default theories
general purpose
default logic
software engineering