A logical framework for configuration software.

Hanne Vlaeminck Joost Vennekens Marc Denecker

Published in: PPDP (2009)

Keyphrases

logical framework
linear logic
belief revision
inference rules
reasoning tasks
higher order logic
possibilistic logic
bayesian networks
software development
epistemic logic
multi agent systems
sufficient conditions
temporal reasoning