MASCARDI, VIVIANA
MASCARDI, VIVIANA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Multimedia, Multichannel, and Personalized News Provider
2003-01-01 Delato, M; Martelli, A; Martelli, Maurizio; Mascardi, Viviana; Verri, Alessandro
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
2010-01-01 M., Baldoni; C., Baroglio; Mascardi, Viviana; A., Omicini; P., Torroni
Agents, web services and ontologies, integrated methodologies, MALLOW-AWESOME'009
2009-01-01 Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Mascardi, Viviana
CEUR Workshop Proceedings: Preface
2016-01-01 Mascardi, Viviana; Torre, Ilaria
Comparing trace expressions and linear temporal logic for runtime verification
2016-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Computational Logic in Genova
2008-01-01 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
Error-Tolerant Agents
2002-01-01 T., Eiter; Mascardi, Viviana; V. S., Subrahmanian
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
2023-01-01 Ancona, D.; Ferrando, A.; Mascardi, V.
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
1999-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana; Zini, F.
MANENT: An Infrastructure for Integrating, Structuring and Searching Digital Libraries
2011-01-01 Locoro, Angela; D., Grignani; Mascardi, Viviana
Preface
2019-01-01 Weyns, D.; Mascardi, V.; Ricci, A.
Preface (Editorial) to the Proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012
2013-01-01 Baldoni, M.; Dennis, L.; Mascardi, Viviana; Vasconcelos, W.
Preface to the proceedings of the demonstrations track of PRIMA 2017
2018-01-01 Mascardi, Viviana
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015
2015-01-01 Ancona, Davide; Maratea, Marco; Mascardi, Viviana
Smart RogAgent: Where Agents and Humans Team Up
2019-01-01 Capone, C.; Bordini, R. H.; Mascardi, V.; Delzanno, G.; Ferrando, A.; Gelati, L.; Guerrini, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Multimedia, Multichannel, and Personalized News Provider | 1-gen-2003 | Delato, M; Martelli, A; Martelli, Maurizio; Mascardi, Viviana; Verri, Alessandro | |
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? | 1-gen-2010 | M., Baldoni; C., Baroglio; Mascardi, Viviana; A., Omicini; P., Torroni | |
Agents, web services and ontologies, integrated methodologies, MALLOW-AWESOME'009 | 1-gen-2009 | Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Mascardi, Viviana | |
CEUR Workshop Proceedings: Preface | 1-gen-2016 | Mascardi, Viviana; Torre, Ilaria | |
Comparing trace expressions and linear temporal logic for runtime verification | 1-gen-2016 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
Computational Logic in Genova | 1-gen-2008 | Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio | |
Error-Tolerant Agents | 1-gen-2002 | T., Eiter; Mascardi, Viviana; V. S., Subrahmanian | |
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives | 1-gen-2023 | Ancona, D.; Ferrando, A.; Mascardi, V. | |
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics | 1-gen-1999 | Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana; Zini, F. | |
MANENT: An Infrastructure for Integrating, Structuring and Searching Digital Libraries | 1-gen-2011 | Locoro, Angela; D., Grignani; Mascardi, Viviana | |
Preface | 1-gen-2019 | Weyns, D.; Mascardi, V.; Ricci, A. | |
Preface (Editorial) to the Proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012 | 1-gen-2013 | Baldoni, M.; Dennis, L.; Mascardi, Viviana; Vasconcelos, W. | |
Preface to the proceedings of the demonstrations track of PRIMA 2017 | 1-gen-2018 | Mascardi, Viviana | |
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 | 1-gen-2015 | Ancona, Davide; Maratea, Marco; Mascardi, Viviana | |
Smart RogAgent: Where Agents and Humans Team Up | 1-gen-2019 | Capone, C.; Bordini, R. H.; Mascardi, V.; Delzanno, G.; Ferrando, A.; Gelati, L.; Guerrini, G. |