A logic of non-monotonic interactions.

Giovanni Boniolo Marcello D'Agostino Mario Piazza Gabriele Pulcini

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

Keyphrases

modal logic
predicate logic
logic programming
multi valued
classical logic
genetic algorithm
expert systems
programming language
automated reasoning
database
multi agent systems
logic programs
abductive reasoning
deontic logic
monotonicity constraints