( en | de | ru )

 

Disambiguation of "Gabbrielli, Maurizio"

Author of the publication

copydeleteadd this publication to your clipboard
A Compositional Semantics for CHR with Propagation Rules.

, , and . Constraint Handling Rules, volume 5388 of Lecture Notes in Computer Science, Springer, (2008)

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.

Maurizio Podda

Maurizio Venturini

Maurizio Zanazzi

Maurizio Serva

Maurizio Podda

 

Other publications of authors with the same name

Modular Transformations of CLP Programs., and . ILPS Workshop: Constraints and Databases, (1994)Constraint programming for flexible Service Function Chaining deployment., , , , , and . CoRR, (2018)Denotational semantics for Concurrent Constraint Programs analyses., , , and . ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, (1994)Nested Guarded Horn Clauses., , , and . Int. J. Found. Comput. Sci., 1 (3): 249-264 (1990)Student Dropout Prediction., , , and . AIED (1), volume 12163 of Lecture Notes in Computer Science, page 129-140. Springer, (2020)On the Correctness of the Replacement Operation for CLP Modules., and . J. Funct. Log. Program., (1996)New Semantic Tools for Logic Programming., , and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 204-235. Springer, (1992)Hybrid Models for Knowledge Tracing: A Systematic Literature Review., , , and . IEEE Trans. Learn. Technol., (2024)A Compositional Semantics for Logic Programs., , , and . Theor. Comput. Sci., 122 (1&2): 3-47 (1994)On the expressive power of recursion, replication and iteration in process calculi., , and . Math. Struct. Comput. Sci., 19 (6): 1191-1222 (2009)