( en | de | ru )

 

Disambiguation of "Fiorentini, Camillo"

Author of the publication

copydeleteadd this publication to your clipboard
Applying ASP to UML Model Validation.

, , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 457-463. Springer, (2009)

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.

Erna Fiorentini

Erna Fiorentini

Erna Fiorentini

Erna Fiorentini

Camillo Zirn

 

Other publications of authors with the same name

Towards a Type Discipline for Answer Set Programming., , and . TYPES, volume 5497 of Lecture Notes in Computer Science, page 117-135. Springer, (2008)From Constructivism to Logic Programming: an Homage to Mario Ornaghi., , and . Fundam. Informaticae, 161 (1-2): 1-7 (2018)Snapshot Generation in a Constructive Object-Oriented Modeling Language., , , and . LOPSTR, volume 4915 of Lecture Notes in Computer Science, page 169-184. Springer, (2007)Tableau Calculi for the Logics of Finite k-Ary Trees., , and . TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 115-129. Springer, (2002)A Terminating Evaluation-Driven Variant of G3i., , and . TABLEAUX, volume 8123 of Lecture Notes in Computer Science, page 104-118. Springer, (2013)Simplification Rules for Intuitionistic Propositional Tableaux., , and . ACM Trans. Comput. Log., 13 (2): 14:1-14:23 (2012)A New Approach to Clausification for Intuitionistic Propositional Logic., and . CILC, volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Reasoning on Information Term Semantics with ASP for Constructive ELꓕ., and . CILC, volume 2710 of CEUR Workshop Proceedings, page 141-156. CEUR-WS.org, (2020)A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 111-129. Springer, (2019)Duality between unprovability and provability in forward proof-search for Intuitionistic Propositional Logic., and . CoRR, (2018)