lp2normal - A Normalization Tool for Extended Logic Programs.

Published in: LPNMR (2017)

Keyphrases

extended logic programs
answer sets
defeasible logic
incomplete information
logic programming
logic programs
conflict resolution
search space
default logic
nonmonotonic reasoning
multi agent
expert systems
case based reasoning
model checking