Accepting the natural order of rules in a logic program with preferences.

Alexander Simko

Published in: ICLP (Technical Communications) (2011)

Keyphrases

logic programs
background knowledge
logic programming
normal logic programs
stable models
extended logic programs
inductive logic programming
answer set programming
fixpoint
deductive databases
computational properties
answer sets
declarative semantics