Viviana Mascardi
Università degli Studi di Genova
H-index: 28
Europe-Italy
Top articles of Viviana Mascardi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Vesna, a framework for virtual environments via natural language agents and its application to factory automation | Robotics | Andrea Gatti Viviana Mascardi | 2023/3/21 |
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives | Davide Ancona Angelo Ferrando Viviana Mascardi | 2023/6/17 | |
Mining Information from Legal Sentences in KlonDikE | Proceedings of the Seventh Workshop on Natural Language for Artificial Intelligence (NL4AI 2023) co-located with 22th International Conference of the Italian Association for Artificial Intelligence (AI* IA 2023) | Andrea Gatti Viviana Mascardi Domenico Pellegrini | 2023 |
Modeling, verifying and reasoning about web services | ALPSWS2006: Applications of Logic Programming in the Semantic Web and Semantic Web Services | Alberto Martelli | 2006/8/16 |
Special issue for the 23rd workshop" from objects to agents"(WOA 2022) | Intelligenza Artificiale | Angelo Ferrando Viviana Mascardi | 2023 |
Fantastic MASs and Where to Find Them: First Results and Lesson Learned | Daniela Briola Angelo Ferrando Viviana Mascardi | 2023/5/29 | |
Integrating Ontologies and Cognitive Conversational Agents in On2Conv | Zeinab Namakizadeh Esfahani Débora Cristina Engelmann Angelo Ferrando Massimiliano Margarone Viviana Mascardi | 2023/9/7 | |
MAIDS-a Framework for the Development of Multi-Agent Intentional Dialogue Systems | Debora Engelmann Alisson Panisson Renata Vieira Jomi Hubner Viviana Mascardi | 2023/5 | |
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa | Angelo Ferrando Andrea Gatti Viviana Mascardi | 2023/7/18 | |
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications | Robotics | Debora C Engelmann Angelo Ferrando Alison R Panisson Davide Ancona Rafael H Bordini | 2023/3/24 |
Runtime Verification of Hash Code in Mutable Classes | Davide Ancona Angelo Ferrando Viviana Mascardi | 2023/7/18 | |
RV4JaCa--Runtime Verification for Multi-Agent Systems | arXiv preprint arXiv:2207.09708 | Débora C Engelmann Angelo Ferrando Alison R Panisson Davide Ancona Rafael H Bordini | 2022/7/20 |
AAMAS'22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems | Catherine Pelachaud Matthew Taylor Piotr Faliszewski Viviana Mascardi | 2022 | |
Towards VEsNA, a framework for managing virtual environments via natural language agents | arXiv preprint arXiv:2207.09711 | Andrea Gatti Viviana Mascardi | 2022/7/20 |
WOA 2022 | Angelo Ferrando Viviana Mascardi | 2022 | |
Explaining semantic reasoning using argumentation | Carlos Eduardo A Ferreira Alison R Panisson Débora C Engelmann Renata Vieira Viviana Mascardi | 2022/7/13 | |
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study | Intelligenza Artificiale | Gianvito Losapio Federico Minutoli Viviana Mascardi Angelo Ferrando | 2022/1/1 |
Smart rogaining for computer science orientation | Frontiers in Education | Manuela Chessa Giorgio Delzanno Angelo Ferrando Luca Gelati Giovanna Guerrini | 2022/9/27 |
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. | Davide Ancona Angelo Ferrando Viviana Mascardi | 2022/6/29 | |
Mind the gap! Runtime verification of partially observable MASs with probabilistic trace expressions | Davide Ancona Angelo Ferrando Viviana Mascardi | 2022/9/14 |