Deon + : Abduction and Constraints for Normative Reasoning.

Marco Alberti Marco Gavanelli Evelina Lamma

Published in: Logic Programs, Norms and Action (2012)

Keyphrases

abductive reasoning
abductive logic programming
reasoning systems
knowledge base
logic programming
reasoning tasks
constraint programming
geometric constraints
reasoning process
derivation rules
artificial intelligence
constraint satisfaction
consistency checking
reasoning about actions