An Efficient Algorithm of Logic Programming with Constraint Hierarchy.

Published in: CCL (1994)

Keyphrases

logic programming
knowledge representation
logic programs
computational complexity
search space
deductive databases
np hard
programming language
answer sets
answer set programming
knowledge base
search algorithm
natural language
nonmonotonic reasoning
logic programming language