Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Finite Model Reasoning on UML Class Diagrams Via Constraint ProgrammingMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini. aiia 2007: 36-47 [doi] Finite Satisfiability of UML Class Diagrams by Constraint ProgrammingToni Mancini. dlog 2004: [doi] Reasoning on UML class diagramsDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo. ai, 168(1-2):70-118, 2005. [doi]
The following publications are possibly variants of this publication: