Monotonicity and Persistence in Preferential Logics.

Joeri Engelfriet

Published in: J. Artif. Intell. Res. (1998)

Keyphrases

expressive power
tableau calculus
modal logic
monotonicity constraints
data sets
real world
search engine
inference rules
database
real time
desirable properties
classical logic
computational properties
propositional calculus
monotonicity property