Modular Nonmonotonic Logic Programming Revisited.

Minh Dao-Tran Thomas Eiter Michael Fink Thomas Krennwallner

Published in: ICLP (2009)

Keyphrases

logic programming
nonmonotonic reasoning
logic programs
answer set programming
logic programming language
knowledge representation
default logic

deductive databases
probabilistic reasoning
knowledge base
knowledge representation and reasoning
answer sets
programming language
reasoning about actions

computational logic
answer set semantics
classical logic
constraint logic programming
reasoning tasks
disjunctive logic programming
autoepistemic logic

stable models
inductive logic programming
probabilistic knowledge
artificial intelligence
disjunctive logic programs
nonmonotonic logics
fixpoint