Viviana Mascardi

183 papers A 14B 9C 8Misc 12Journal 33Unranked 93

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	ChatBDI: Think BDI, Talk LLM. AAMAS Andrea Gatti, Viviana Mascardi, Angelo Ferrando
2025	B	`conf`	Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025. EMAS Sebastian Rodriguez, Akhila Bairy, Matteo Baldoni, Patrick Benjamin, Constantin Blessing, Nicolas Brandstetter, Amit K. Chopra, Thomas Clemen, Louise A. Dennis, Ahmad Esmaeili, Lu Feng, Angelo Ferrando, Zahra Ghorrati, Victor Guillet, Önder Gürcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jörg P. Müller, John Thangarajah, Rafal Tyl, Yi Yang
2025	A	`conf`	Let Me Talk to You! Natural Language Interaction Between Humans and BDI Agents via ChatBDI. ECAI Andrea Gatti, Viviana Mascardi, Angelo Ferrando
2025	B	`conf`	MEDiTATe: a First Step of a Journey from BDI to Neuroscience, and Back. EMAS Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2025	B	`conf`	Oops, I Heard That! Situated Communication with Locality-Aware KQML. EMAS Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2025	—	`ed.`	Proceedings of WOA 2025, the 26th Workshop "From Objects to Agents", Trento (TN), Italy, July 3-4, 2025. WOA Giovanni Ciatto, Enrico Blanzieri, Viviana Mascardi
2025	Misc	`conf`	Situated Agents in Action: Extending VEsNA with Spatial and Grabbable Artifacts. PAAMS Andrea Gatti, Angelo Ferrando, Viviana Mascardi
2025	—	`conf`	Together Is Better! Integrating BDI and RL Agents for Safe Learning and Effective Collaboration. ICAART (3) Manuel Parmiggiani, Angelo Ferrando, Viviana Mascardi
2024	—	`conf`	Geometric and Spatial Reasoning in BDI Agents: A Survey. CILC Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2024	—	`conf`	Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design. WOA Diana Ivan, Angelo Ferrando, Andrea Gatti, Giovanna Guerrini, Viviana Mascardi
2024	C	`conf`	MAiS: Exploiting JADE as a Multi-agent Simulator of the Immune System. EUMAS Sanchayan Bhunia, Angelo Ferrando, Viviana Mascardi, Chiara Vitale
2024	—	`conf`	RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? FMAS@iFM Andrea Gatti, Viviana Mascardi, Angelo Ferrando
2023	—	`ch.`	Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years Davide Ancona, Angelo Ferrando, Viviana Mascardi
2023	B	`conf`	Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS Daniela Briola, Angelo Ferrando, Viviana Mascardi
2023	C	`conf`	Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi
2023	A	`conf`	MAIDS - A Framework for the Development of Multi-Agent Intentional Dialogue Systems. AAMAS Débora C. Engelmann, Alison R. Panisson, Renata Vieira, Jomi Fred Hübner, Viviana Mascardi, Rafael H. Bordini
2023	—	`conf`	Mining Information From Legal Sentences in KlonDikE. NL4AI@AI*IA Andrea Gatti, Viviana Mascardi, Domenico Pellegrini
2023	J	`jnl`	RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
2023	—	`conf`	RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA Angelo Ferrando, Andrea Gatti, Viviana Mascardi
2023	—	`conf`	Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP Davide Ancona, Angelo Ferrando, Viviana Mascardi
2023	J	`jnl`	Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale Angelo Ferrando, Viviana Mascardi
2023	J	`jnl`	VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation. Robotics Andrea Gatti, Viviana Mascardi
2022	A	`ed.`	21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022 AAMAS Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor
2022	—	`ed.`	AIxIA 2021 - Advances in Artificial Intelligence - 20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1-3, 2021, Revised Selected Papers AI*IA Stefania Bandini, Francesca Gasparini, Viviana Mascardi, Matteo Palmonari, Giuseppe Vizzari
2022	—	`ed.`	AIxIA 2021 Discussion Papers co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA2021), Virtual Event, December 1st-3rd, 2021. DP@AIxIA Viviana Mascardi, Matteo Palmonari, Giuseppe Vizzari
2022	Misc	`conf`	Explaining Semantic Reasoning Using Argumentation. PAAMS Carlos Eduardo A. Ferreira, Alison R. Panisson, Débora C. Engelmann, Renata Vieira, Viviana Mascardi, Rafael H. Bordini
2022	—	`conf`	Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC Davide Ancona, Angelo Ferrando, Viviana Mascardi
2022	C	`conf`	Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2022	—	`ed.`	Proceedings of the 23rd Workshop "From Objects to Agents", Genova, Italy, September 1-3, 2022. WOA Angelo Ferrando, Viviana Mascardi
2022	—	`conf`	RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi
2022	J	`jnl`	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	—	`conf`	Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents. AREA@IJCAI-ECAI Andrea Gatti, Viviana Mascardi
2021	—	`conf`	A Chatbot that Uses a Multi-agent Organization to Support Collaborative Learning. HCI (39) Mateus da Silveira Colissi, Renata Vieira, Viviana Mascardi, Rafael H. Bordini
2021	J	`jnl`	Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
2021	A	`conf`	Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review. AAMAS Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2021	J	`jnl`	Logic-based technologies for multi-agent systems: a systematic literature review. Auton. Agents Multi Agent Syst. Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2021	J	`jnl`	RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
2021	—	`conf`	Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. WOA Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando
2021	A	`conf`	Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2021	—	`conf`	Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents. VORTEX@ISSTA Filippo Ricca, Viviana Mascardi, Alessandro Verri
2021	J	`jnl`	Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
2021	J	`jnl`	Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020	—	`conf`	Can determinism and compositionality coexist in RML? EXPRESS/SOS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2020	J	`jnl`	Can determinism and compositionality coexist in RML? (extended version). CoRR Davide Ancona, Angelo Ferrando, Viviana Mascardi
2020	—	`conf`	Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari
2020	—	`conf`	FrEX: Extracting Property Expropriation Frame Entities from Real Cases. NL4AI@AI*IA Roberto Salvaneschi, Daniela Muradore, Andrea Stanchi, Viviana Mascardi
2020	—	`conf`	Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean. ICLP Technical Communications Viviana Mascardi, Domenico Pellegrini
2020	J	`jnl`	OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain. Theory Pract. Log. Program. Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi
2020	—	`conf`	PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library. UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Daniele Traversaro
2020	—	`conf`	ROSMonitoring: A Runtime Verification Framework for ROS. TAROS Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
2020	—	`conf`	Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone
2020	Misc	`conf`	The DigForSim Agent Based Simulator of People Movements in Crime Scenes. PAAMS Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi
2020	J	`jnl`	Towards a Framework for Certification of Reliable Autonomous Systems. CoRR Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020	—	`conf`	Transcultural Health-Aware Guides for the Elderly. WOA Rafael H. Bordini, Viviana Mascardi, Stefania Costantini, Amal El Fallah Seghrouchni, Yves Lespérance, Alessandro Ricci
2019	—	`conf`	A Deterministic Event Calculus for Effective Runtime Verification. ICTCS Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
2019	—	`ed.`	Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers EMAS@AAMAS Danny Weyns, Viviana Mascardi, Alessandro Ricci
2019	J	`jnl`	Engineering Multi-Agent Systems: State of Affairs and the Road Ahead. ACM SIGSOFT Softw. Eng. Notes Viviana Mascardi, Danny Weyns, Alessandro Ricci
2019	A	`conf`	On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	—	`conf`	On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	J	`jnl`	On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	J	`jnl`	OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain. CoRR Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi
2019	—	`conf`	Orchestrated crowdsourced testing of a mobile web application: a case study. Programming Maurizio Leotta, Vincenzo Petito, Luca Gelati, Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi
2019	B	`conf`	Smart RogAgent: Where Agents and Humans Team Up. PRIMA Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini
2019	—	`conf`	Timed Trace Expressions. CILC Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi
2019	—	`conf`	Towards the Internet of Safe and Intelligent Postal+ Things. WOA Massimo Ancona, Viviana Mascardi, Nicoletta Noceti, Francesca Odone, Waqas Ahsen, Antonino Scribellito
2018	—	`conf`	Agents Interoperability via Conformance Modulo Mapping. WOA Davide Ancona, Angelo Ferrando, Viviana Mascardi
2018	Misc	`conf`	Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2018	—	`conf`	Engineering Multi-agent Systems Anno 2025. EMAS@AAMAS Viviana Mascardi, Danny Weyns
2018	J	`jnl`	Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. Davide Ancona, Angelo Ferrando, Viviana Mascardi
2018	Misc	`conf`	Managing Bad AIPs with RIVERtools. PAAMS Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2018	—	`conf`	OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions. WOA Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi
2018	J	`jnl`	Preface. Fundam. Informaticae Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi
2018	A	`conf`	Recognising Assumption Violations in Autonomous Systems Verification. AAMAS Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2018	B	`conf`	Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi
2017	J	`jnl`	Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience. Softw. Pract. Exp. Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino
2017	B	`conf`	Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data. RuleML+RR Daniela Briola, Viviana Mascardi
2017	A	`conf`	Decentralizing MAS Monitoring with DecAMon. AAMAS Angelo Ferrando, Davide Ancona, Viviana Mascardi
2017	J	`jnl`	Hackmytown: an Educational Experience on Smart Cities. IxD&A Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva
2017	A	`conf`	Parametric Runtime Verification of Multiagent Systems. AAMAS Davide Ancona, Angelo Ferrando, Viviana Mascardi
2017	—	`conf`	Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016	—	`conf`	Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods Davide Ancona, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. MultiLingMine@ECIR Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso
2016	—	`conf`	MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2016	—	`conf`	Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS Angelo Ferrando, Davide Ancona, Viviana Mascardi
2016	—	`ed.`	Proceedings of the Doctoral Consortium of AIIA 2016 co-located with the 15th International Conference of the Italian Association for Artificial Intelligence (AIIA 2016), Genova, Italy, November 29, 2016. DC@AI*IA Viviana Mascardi, Ilaria Torre
2015	—	`conf`	Computational thinking for beginners: A successful experience using Prolog. CILC Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
2015	A	`conf`	Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2015	—	`conf`	My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain. ESSEM@AAMAS Maurizio Leotta, Silvio Beux, Viviana Mascardi, Daniela Briola
2015	—	`ed.`	Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CILC Davide Ancona, Marco Maratea, Viviana Mascardi
2015	—	`conf`	Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA Davide Ancona, Daniela Briola, Viviana Mascardi
2015	J	`jnl`	Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
2014	J	`jnl`	A volunteered geographic information system for collecting and rating petroglyph data. J. Vis. Lang. Comput. Vincenzo Deufemia, Viviana Mascardi, Luca Paolino, Giuseppe Polese, Henry de Lumley
2014	J	`jnl`	CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intell. Agent Syst. Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci
2014	Misc	`conf`	Distributed Runtime Verification of JADE Multiagent Systems. IDC Daniela Briola, Viviana Mascardi, Davide Ancona
2014	—	`conf`	Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC Daniela Briola, Viviana Mascardi, Davide Ancona
2014	—	`conf`	Efficient Verification of MASs with Projections. EMAS@AAMAS Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
2014	—	`conf`	Exploiting Prolog for Projecting Agent Interaction Protocols. CILC Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
2014	—	`conf`	Ontology-Driven Processing and Management of Digital Rock Art Objects in IndianaMAS. EuroMed Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino, Nicoletta Bianchi
2014	—	`conf`	PetroAdvisor: A Volunteer-based Information System for Collecting and Rating Petroglyph Data. DMS Vincenzo Deufemia, Luca Paolino, Giuseppe Polese, Viviana Mascardi, Henry de Lumley
2013	J	`jnl`	Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. Theory Pract. Log. Program. Viviana Mascardi, Davide Ancona
2013	Misc	`conf`	Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC Davide Ancona, Matteo Barbieri, Viviana Mascardi
2013	—	`ed.`	Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers DALT Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Weber Vasconcelos
2013	—	`conf`	Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency. MATES Supriyo Ghosh, Animesh Dutta, Viviana Mascardi, Daniela Briola
2013	—	`conf`	On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA Viviana Mascardi, Daniela Briola, Davide Ancona
2012	—	`conf`	Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT Davide Ancona, Sophia Drossopoulou, Viviana Mascardi
2012	Misc	`conf`	BOwL: exploiting Boolean operators and lesk algorithm for linking ontologies. SAC Viviana Mascardi, Angela Locoro
2012	Misc	`conf`	Evolving and validating annotations in web-based collaborative environments through ontology matching. SAC Angela Locoro, Viviana Mascardi, Anna Marina Scapolla
2012	B	`conf`	Investigative analysis across documents and drawings: visual analytics for archaeologists. AVI Vincenzo Deufemia, Luca Paolino, Genoveffa Tortora, Antonella Traverso, Viviana Mascardi, Massimo Ancona, Maurizio Martelli, Nicoletta Bianchi, Henry de Lumley
2012	Misc	`conf`	MUSE: MUltilinguality and SEmantics for the Citizens of the World. IDC Michele Bozzano, Daniela Briola, Diego Leone, Angela Locoro, Lanfranco Marasso, Viviana Mascardi
2012	Misc	`conf`	Ontology-based documentation extraction for semi-automatic migration of Java code. SAC Davide Ancona, Viviana Mascardi, Ombretta Pavarino
2012	—	`conf`	Rock Art Interpretation within Indiana MAS. KES-AMSTA Viviana Mascardi, Vincenzo Deufemia, Damiano Malafronte, Alessandro Ricciarelli, Nicoletta Bianchi, Henry de Lumley
2012	—	`conf`	Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper). DALT Viviana Mascardi, James A. Hendler, Laura Papaleo
2012	—	`conf`	The Indiana MAS Project: Goals and Preliminary Results. WOA Angela Locoro, Viviana Mascardi, Daniela Briola, Maurizio Martelli, Massimo Ancona, Vincenzo Deufemia, Luca Paolino, Genny Tortora, Giuseppe Polese, Rita Francese
2011	—	`conf`	1000 Years of Coo-BDI. DALT Viviana Mascardi, Davide Ancona
2011	—	`conf`	Agents and Ontologies for Understanding and Preserving the Rock Art of Mount Bego. ICAART (2) Laura Papaleo, Gianluca Quercini, Viviana Mascardi, Massimo Ancona, Antonella Traverso, Henry de Lumley
2011	—	`conf`	An Interaction-Oriented Agent Framework for Open Environments. AI*IA Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
2011	—	`conf`	CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci
2011	—	`conf`	Design and Implementation of a NetLogo Interface for the Stand-Alone FYPA System. WOA Daniela Briola, Viviana Mascardi
2011	—	`conf`	Hive-BDI: Extending Jason with Shared Beliefs and Stigmergy. ICAART (2) Matteo Barbieri, Viviana Mascardi
2011	—	`ch.`	MANENT: An Infrastructure for Integrating, Structuring and Searching Digital Libraries. Learning Structure and Schemas from Documents Angela Locoro, Daniele Grignani, Viviana Mascardi
2011	—	`conf`	Managing Unavailabilities in a Dynamic Scenario Following an Agent-Based Approach. WOA Angela Locoro, Viviana Mascardi, Franco Mortara, Renato Sanna
2011	—	`conf`	Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols. WOA Daniela Briola, Viviana Mascardi
2011	—	`conf`	PrettyCLP: a Light Java Implementation for Teaching CLP. CILC Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi
2011	J	`jnl`	Some applications of Computational Logic to the development of intelligent systems and verification methods. Intelligenza Artificiale Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
2011	—	`conf`	Statistical Language Identification of Short Texts. ICAART (1) Fela Winkelmolen, Viviana Mascardi
2011	—	`conf`	When You Doubt, Abstain: From Misclassification to Epoché in Automatic Text Categorisation. Web Intelligence/IAT Workshops Angela Locoro, Daniele Grignani, Viviana Mascardi
2010	—	`ch.`	Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 25 Years GULP Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
2010	J	`jnl`	Análisis de Opiniones con Ontologías. Polibits Enrique Vallés, Paolo Rosso, Angela Locoro, Viviana Mascardi
2010	J	`jnl`	Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation. IEEE Trans. Knowl. Data Eng. Viviana Mascardi, Angela Locoro, Paolo Rosso
2010	—	`conf`	MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2010	—	`conf`	MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2010	—	`conf`	NLP and Ontology Matching - A Successful Combination for Trialogical Learning. ICAART (1) Angela Locoro, Viviana Mascardi, Anna Marina Scapolla
2010	J	`jnl`	Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies. Multiagent Grid Syst. Matteo Baldoni, Cristina Baroglio, Viviana Mascardi
2010	—	`conf`	Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti. CILC Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi
2010	—	`conf`	Virtual Institutions for Preserving and Simulating the Culture of Mount Bego's Ancient People. VAST (Short and Project Papers) Massimo Ancona, Viviana Mascardi, Gianluca Quercini, Anton Bogdanovych, Henry de Lumley, Laura Papaleo, Simeon Simoff, Antonella Traverso
2009	C	`conf`	A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies. KEOD Angela Locoro, Viviana Mascardi
2009	—	`conf`	Dynamic Resource Allocation in a MAS: A Case Study from the Industry. WOA Daniela Briola, Viviana Mascardi, Maurizio Martelli, Riccardo Caccia, Carlo Milani
2009	—	`conf`	Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW Viviana Mascardi, Davide Ancona
2009	—	`conf`	Introductory Essay of MALLOW-AWESOME'009. MALLOW Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi
2009	—	`ed.`	Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 MALLOW Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, Rineke Verbrugge
2008	—	`conf`	A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments. WOA Daniela Briola, Viviana Mascardi, Maurizio Martelli, Gabriele Arecco, Riccardo Caccia, Carlo Milani
2008	J	`jnl`	An agent-based framework for sketched symbol interpretation. J. Vis. Lang. Comput. Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Gennaro Costagliola, Maurizio Martelli
2008	—	`conf`	Computational Logic in Genova. Il Milione Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
2008	Misc	`conf`	Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. CISIS Viviana Mascardi, Daniela Briola, Maurizio Martelli, Riccardo Caccia, Carlo Milani
2008	—	`conf`	Ontology Agents in FIPA-compliant Platforms: Survey and a New Proposal. WOA Angela Locoro, Viviana Mascardi, Daniela Briola
2008	—	`conf`	Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents. VISUAL Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Maurizio Martelli, Genoveffa Tortora
2007	—	`conf`	A Comparison of Upper Ontologies. WOA Viviana Mascardi, Valentina Cordì, Paolo Rosso
2007	A	`conf`	A Multi-Agent System for Hand-drawn Diagram Recognition. ICDAR Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi
2007	—	`conf`	DCaseLP: A Prototyping Environment for Multi-language Agent Systems. LADS Viviana Mascardi, Maurizio Martelli, Ivana Gungui
2007	—	`conf`	Preface to the Proceedings of WOA 2007. WOA Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi
2007	—	`ed.`	WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy WOA Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi
2007	J	`jnl`	West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware. Int. J. Agent Oriented Softw. Eng. Giovanni Casella, Viviana Mascardi
2006	B	`conf`	An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches. VL/HCC Giovanni Casella, Gennaro Costagliola, Vincenzo Deufemia, Maurizio Martelli, Viviana Mascardi
2005	—	`conf`	A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network. DBISP2P Giovanna Guerrini, Viviana Mascardi, Marco Mesiti
2005	—	`conf`	An Ontology-Based Similarity between Sets of Concepts. WOA Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi
2005	C	`conf`	BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi
2005	C	`conf`	COOWS: Adaptive BDI Agents meet Service-Oriented Computing. EUMAS Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta
2005	—	`conf`	Designing and Implementing Electronic Auctions in a Multiagent System Environment. WOA Davide Roggero, Fioravante Patrone, Viviana Mascardi
2005	—	`conf`	Languages for Programming BDI-style Agents: an Overview. WOA Viviana Mascardi, Daniela Demergasso, Davide Ancona
2005	—	`conf`	Personalization, Verification and Conformance for Logic-based Communicating Agents. WOA Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi
2004	A	`conf`	Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini
2004	J	`jnl`	Logic-Based Specification Languages for Intelligent Software Agents. Theory Pract. Log. Program. Viviana Mascardi, Maurizio Martelli, Leon Sterling
2004	—	`conf`	Reasoning About Agents' Interaction Protocols Inside DCaseLP. DALT Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella
2003	—	`conf`	A Multimedia, Multichannel, and Personalized News Provider. MIPS M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri
2003	—	`conf`	Coo-BDI: Extending the BDI Model with Cooperativity. DALT Davide Ancona, Viviana Mascardi
2003	A	`conf`	Customizing AOSE methodologies by reusing AOSE features. AAMAS Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi
2003	C	`conf`	From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. SEKE Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio
2003	—	`conf`	From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. APPIA-GULP-PRODE Maurizio Martelli, Viviana Mascardi
2003	J	`jnl`	Logic-Based Specification Languages for Intelligent Software Agents CoRR Viviana Mascardi, Maurizio Martelli, Leon Sterling
2002	J	`jnl`	Comparing environments for developing software agents. AI Commun. Thomas Eiter, Viviana Mascardi
2002	—	`conf`	Error-Tolerant Agents. Computational Logic: Logic Programming and Beyond Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian
2002	—	`conf`	Logic-Based Languages to Model and Program Intelligent Agents. APPIA-GULP-PRODE Maurizio Martelli, Viviana Mascardi, Leon Sterling
2002	—	`conf`	Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP. WOA Riccardo Albertoni, Maurizio Martelli, Viviana Mascardi, Stefano Miglia
2000	—	`conf`	HEMASL: A Flexible Language to Specify Heterogeneous Agents. WOA Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini
2000	—	`conf`	Specification of Heterogeneous Agent Architectures. ATAL Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999	—	`conf`	Agent-Oriented and Constraint Technologies for Distributed Transaction Management. IIA/SOCO Viviana Mascardi, Emanuela Merelli
1999	—	`ch.`	Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. The Logic Programming Paradigm Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999	C	`conf`	Multi-agent Systems Development as a Software Engineering Enterprise. PADL Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999	—	`conf`	Specification and Simulation of Multi-Agent Systems in CaseLP. APPIA-GULP-PRODE Maurizio Martelli, Viviana Mascardi, Floriano Zini
1998	—	`conf`	Towards Multi-Agent Software Prototyping. PAAM Maurizio Martelli, Viviana Mascardi, Floriano Zini
1997	—	`conf`	Applying Logic Programming to the Specification of Complex Applications. APPIA-GULP-PRODE Maurizio Martelli, Viviana Mascardi, Floriano Zini