A Deontic Logical Framework for Modelling Product Families.

Patrizia Asirelli Maurice H. ter Beek Stefania Gnesi Alessandro Fantechi

Published in: VaMoS (2010)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
possibilistic logic
deontic logic
linear logic
normative systems
machine learning
higher order logic
coalition logic
artificial intelligence
general purpose
description logics
classical logic