Finite model reasoning on UML class diagrams via constraint programming

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini. Finite model reasoning on UML class diagrams via constraint programming. Intelligenza Artificiale, 7(1):57-65, 2013. [doi]

Authors

Marco Cadoli

This author has not been identified. Look up 'Marco Cadoli' in Google

Diego Calvanese

This author has not been identified. Look up 'Diego Calvanese' in Google

Giuseppe De Giacomo

This author has not been identified. Look up 'Giuseppe De Giacomo' in Google

Toni Mancini

This author has not been identified. Look up 'Toni Mancini' in Google