A logical calculus for controlled monotonicity.

Marcello D'Agostino Mario Piazza Gabriele Pulcini

Published in: J. Appl. Log. (2014)

Keyphrases

lambda calculus
logical representation
information retrieval
genetic algorithm
information systems
relational calculus
automated deduction