A logical framework for prioritized goal change.

Shakil M. Khan Yves Lespérance

Published in: AAMAS (2010)

Keyphrases

logical framework
possibilistic logic
inference rules
reasoning tasks
belief revision
higher order logic
linear logic
description logics
epistemic logic
artificial intelligence
optimal solution
training set