A New Logical Framework for deductive Planning.

Werner Stephan Susanne Biundo

Published in: PuK (1993)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
heuristic search
linear logic
possibilistic logic
epistemic logic
normative systems
general purpose
first order logic
explanation based learning