A New Logical framework for Deductive Planning.

Werner Stephan Susanne Biundo

Published in: IJCAI (1993)

Keyphrases

logical framework
inference rules
reasoning tasks
belief revision
epistemic logic
possibilistic logic
linear logic
normative systems
artificial intelligence
relational databases
heuristic search
explanation based learning
coalition logic
decision making
description logics
probabilistic inference