On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs.

Chandrabose Aravindan Phan Minh Dung

Published in: J. Log. Program. (1995)

Keyphrases

extended logic programs
defeasible logic
conflict resolution
logic programming
answer sets
logic programs
incomplete information
nonmonotonic reasoning
default logic
access control policies
answer set programming
machine learning
artificial intelligence
knowledge base
fixed point
answer set semantics