MEO, MARIA CHIARA
MEO, MARIA CHIARA
DIPARTIMENTO DI ECONOMIA
A Bottom-up Semantics for Constructive Negation
1994-01-01 Bossi, Annalisa; Fabris, Massimo; Meo, MARIA CHIARA
A compositional semantics for CHR
2005-01-01 Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A compositional Semantics for CHR
2009-01-01 Gabbrielli, Maurizio; Meo, MARIA CHIARA
A compositional Semantics for CHR with propagation rules
2008-01-01 Gabbrielli, Maurizio; Meo, MARIA CHIARA; Tacchella, Paolo
A Compositional Semantics for Logic Programs
1994-01-01 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
A Denotational Semantics for Timed Linda
2001-01-01 Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA
A Taxonomy of Program Analyses
2018-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs
2001-01-01 De Boer, Frank; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A Theory of Observables for Logic Programs
2001-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA
A Timed Concurrent Constraint Language
2000-01-01 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
A Timed Linda Language
2000-01-01 Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA
A Timed Linda Language and its Denotational Semantics.
2004-01-01 de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Abstract Diagnosis
1999-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana
AI for Sustainability: Research at Ud’A Node
2024-01-01 Amato, G.; Amelio, A.; Caroprese, L.; Chiacchiaretta, P.; Fioravanti, F.; Ippoliti, L.; Meo, M. C.; Monaco, G.; Morbidoni, C.; Moscardelli, L.; Parton, M.; Scozzari, F.
AI for Sustainability: Research at Ud’A Node
2024-01-01 Amato, G.; Amelio, A.; Caroprese, L.; Chiacchiaretta, P.; Fioravanti, F.; Ippoliti, L.; Meo, M. C.; Monaco, G.; Morbidoni, C.; Moscardelli, L.; Parton, M.; Scozzari, F.
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
2023-01-01 Bistarelli, S; Taticchi, C; Meo, Mc
An OR-Compositional Semantics for Logic Programs
1991-01-01 Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA
Compilative Constructive Negation in Constraint Logic Programs
1994-01-01 Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, MARIA CHIARA
Compositional Verification of Infinite State Systems.
2003-01-01 Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA
Compositionality in SLD-Derivations and their Abstractions
1995-01-01 Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Bottom-up Semantics for Constructive Negation | 1994 | Bossi, Annalisa; Fabris, Massimo; Meo, MARIA CHIARA | |
| A compositional semantics for CHR | 2005 | Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
| A compositional Semantics for CHR | 2009 | Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
| A compositional Semantics for CHR with propagation rules | 2008 | Gabbrielli, Maurizio; Meo, MARIA CHIARA; Tacchella, Paolo | |
| A Compositional Semantics for Logic Programs | 1994 | Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA | |
| A Denotational Semantics for Timed Linda | 2001 | Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA | |
| A Taxonomy of Program Analyses | 2018 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| A Temporal Logic for reasoning about Timed Concurrent Constraint Programs | 2001 | De Boer, Frank; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
| A Theory of Observables for Logic Programs | 2001 | Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA | |
| A Timed Concurrent Constraint Language | 2000 | de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
| A Timed Linda Language | 2000 | Frank S., de Boer; Maurizio, Gabbrielli; Meo, MARIA CHIARA | |
| A Timed Linda Language and its Denotational Semantics. | 2004 | de Boer Frank, S.; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
| Abstract Diagnosis | 1999 | Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA; Vitiello, Giuliana | |
| AI for Sustainability: Research at Ud’A Node | 2024 | Amato, G.; Amelio, A.; Caroprese, L.; Chiacchiaretta, P.; Fioravanti, F.; Ippoliti, L.; Meo, M. C.; Monaco, G.; Morbidoni, C.; Moscardelli, L.; Parton, M.; Scozzari, F. | |
| AI for Sustainability: Research at Ud’A Node | 2024 | Amato, G.; Amelio, A.; Caroprese, L.; Chiacchiaretta, P.; Fioravanti, F.; Ippoliti, L.; Meo, M. C.; Monaco, G.; Morbidoni, C.; Moscardelli, L.; Parton, M.; Scozzari, F. | |
| An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games | 2023 | Bistarelli, S; Taticchi, C; Meo, Mc | |
| An OR-Compositional Semantics for Logic Programs | 1991 | Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Meo, MARIA CHIARA | |
| Compilative Constructive Negation in Constraint Logic Programs | 1994 | Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, MARIA CHIARA | |
| Compositional Verification of Infinite State Systems. | 2003 | Delzanno, Giorgio; Gabbrielli, Maurizio; Meo, MARIA CHIARA | |
| Compositionality in SLD-Derivations and their Abstractions | 1995 | Comini, Marco; Levi, Giorgio; Meo, MARIA CHIARA |