( en | de | ru )

 

Disambiguation of "Cadoli, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Finite model reasoning on UML class diagrams via constraint programming.

, , , and . Intelligenza Artificiale, 7 (1): 57-65 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Other publications of authors with the same name

Generalizing Consistency and other Constraint Properties to Quantified Constraints, , and . CoRR, (2007)Combining Relational Algebra, SQL, Constraint Modelling, and Local Search, and . CoRR, (2006)Knowledge Compilation = Query Rewriting + View Synthesis., and . PODS, page 199-208. ACM, (2002)The Expressive Power of Binary Linear Programming.. CP, volume 2239 of Lecture Notes in Computer Science, page 570-574. Springer, (2001)Complexity of Nested Circumscription and Abnormality Theories., , and . IJCAI, page 169-174. Morgan Kaufmann, (2001)Compiling Problem Specifications into SAT., and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 387-401. Springer, (2001)Finite Model Reasoning on UML Class Diagrams Via Constraint Programming., , , and . AI*IA, volume 4733 of Lecture Notes in Computer Science, page 36-47. Springer, (2007)Complexity of propositional nested circumscription and nested abnormality theories., , and . ACM Trans. Comput. Log., 6 (2): 232-272 (2005)Towards automated reformulation of specications., and . APPIA-GULP-PRODE, page 398-409. (2003)Default Logic as a Query Language., , and . KR, page 99-108. Morgan Kaufmann, (1994)