Login / Signup
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