Analysis and Refinement of Constraint Answer Sets in a Planning System.

Michael Nitsche

Published in: GULP-PRODE (1) (1994)

Keyphrases

answer sets
logic programs
logic programming
information systems
orders of magnitude
answer set programming
knowledge base
constraint programming