Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.

Marco Cadoli Diego Calvanese Giuseppe De Giacomo Toni Mancini

Published in: AI*IA (2007)

Keyphrases

constraint programming
constraint propagation
uml class diagrams
artificial intelligence
special case
constraint satisfaction
knowledge base
case study
association rules
constraint satisfaction problems
temporal information
reasoning systems