Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms.

Souhila Kaci Leendert W. N. van der Torre

Published in: Ann. Oper. Res. (2008)

Keyphrases

learning algorithm
computationally efficient
orders of magnitude
significant improvement
automated reasoning
data structure
computational complexity
worst case
theoretical analysis
qualitative reasoning
logical framework
computational properties
abductive reasoning
proof theory