( en | de | ru )

 

Disambiguierung von "Gabbrielli, Maurizio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
sunny-as2: Enhancing SUNNY for Algorithm Selection.

, , , und . CoRR, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maurizio Podda

Maurizio Venturini

Maurizio Zanazzi

Maurizio Serva

Maurizio Podda

 

Weitere Publikationen von Autoren mit dem selben Namen

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