Handling Inconsistency in Extended Logic Programs using Program Transformation.

Navin Viswanath Rajshekhar Sunderraman

Published in: IICAI (2009)

Keyphrases

extended logic programs
defeasible logic
logic programming
conflict resolution
answer sets
default logic
incomplete information
nonmonotonic reasoning
logic programs
answer set semantics
peer to peer
orders of magnitude
autonomous agents
access control policies