An Update Front-End for Extended Logic Programs.

Thomas Eiter Michael Fink Giuliana Sabbatini Hans Tompits

Published in: LPNMR (2001)

Keyphrases

extended logic programs
defeasible logic
logic programming
incomplete information
conflict resolution
answer sets
logic programs
nonmonotonic reasoning
default logic
access control policies
rule base
general purpose
answer set programming
expert systems
legal reasoning
answer set semantics