Time in a Multi-Theory Logical Framework.

Paolo Mancarella Alessandra Raffaetà Franco Turini

Published in: TIME (1997)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
possibilistic logic
linear logic
theoretical framework
epistemic logic
multi dimensional
higher order logic
coalition logic
high level
special case
general purpose
automated reasoning