Viviana Mascardi

Davide Ancona, Matteo Barbieri, Viviana Mascardi: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC 2013: 1377-1379

Vincenzo Deufemia, Luca Paolino, Genoveffa Tortora, A. Traverso, Viviana Mascardi, Massimo Ancona, Maurizio Martelli, Nicoletta Bianchi, Henry de Lumley: Investigative analysis across documents and drawings: visual analytics for archaeologists. AVI 2012: 539-546

Viviana Mascardi, Vincenzo Deufemia, Damiano Malafronte, Alessandro Ricciarelli, Nicoletta Bianchi, Henry de Lumley: Rock Art Interpretation within Indiana MAS. KES-AMSTA 2012: 271-281

Viviana Mascardi, Angela Locoro: BOwL: exploiting Boolean operators and lesk algorithm for linking ontologies. SAC 2012: 398-400

Angela Locoro, Viviana Mascardi, Anna Marina Scapolla: Evolving and validating annotations in web-based collaborative environments through ontology matching. SAC 2012: 725-727

Davide Ancona, Viviana Mascardi, Ombretta Pavarino: Ontology-based documentation extraction for semi-automatic migration of Java code. SAC 2012: 1137-1143

Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli: Some applications of Computational Logic to the development of intelligent systems and verification methods. Intelligenza Artificiale 5(1): 145-149 (2011)

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi: An Interaction-Oriented Agent Framework for Open Environments. AI*IA 2011: 68-79

Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi: PrettyCLP: a Light Java Implementation for Teaching CLP. CILC 2011: 281-295

Viviana Mascardi, Davide Ancona: 1000 Years of Coo-BDI. DALT 2011: 95-101

Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci: CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. IAT 2011: 109-116

Angela Locoro, Daniele Grignani, Viviana Mascardi: When You Doubt, Abstain: From Misclassification to Epoché in Automatic Text Categorisation. Web Intelligence/IAT Workshops 2011: 209-212

Laura Papaleo, Gianluca Quercini, Viviana Mascardi, Massimo Ancona, A. Traverso, Henry de Lumley: Agents and Ontologies for Understanding and Preserving the Rock Art of Mount Bego. ICAART (2) 2011: 288-295

Matteo Barbieri, Viviana Mascardi: Hive-BDI: Extending Jason with Shared Beliefs and Stigmergy. ICAART (2) 2011: 479-482

Fela Winkelmolen, Viviana Mascardi: Statistical Language Identification of Short Texts. ICAART (1) 2011: 498-503

Daniela Briola, Viviana Mascardi: Design and Implementation of a NetLogo Interface for the Stand-Alone FYPA System. WOA 2011: 41-50

Angela Locoro, Viviana Mascardi, Franco Mortara, Renato Sanna: Managing Unavailabilities in a Dynamic Scenario Following an Agent-Based Approach. WOA 2011: 58-67

Daniela Briola, Viviana Mascardi: Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols. WOA 2011: 95-104

Matteo Baldoni, Cristina Baroglio, Viviana Mascardi: Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies. Multiagent and Grid Systems 6(2): 103-104 (2010)

Viviana Mascardi, Angela Locoro, Paolo Rosso: Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation. IEEE Trans. Knowl. Data Eng. 22(5): 609-623 (2010)

Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni: Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 25 Years GULP 2010: 204-230

Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi: Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti. CILC 2010

Angela Locoro, Viviana Mascardi, Anna Marina Scapolla: NLP and Ontology Matching - A Successful Combination for Trialogical Learning. ICAART (1) 2010: 253-258

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi: MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW 2010

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi: MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA 2010

Angela Locoro, Viviana Mascardi: A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies. KEOD 2009: 239-246

Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi: Introductory Essay of MALLOW-AWESOME'009. MALLOW 2009

Viviana Mascardi, Davide Ancona: Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW 2009

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 (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009

Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Gennaro Costagliola, Maurizio Martelli: An agent-based framework for sketched symbol interpretation. J. Vis. Lang. Comput. 19(2): 225-257 (2008)

Viviana Mascardi, Daniela Briola, Maurizio Martelli, Riccardo Caccia, Carlo Milani: Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. CISIS 2008: 108-115

Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Maurizio Martelli, Genoveffa Tortora: Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents. VISUAL 2008: 302-314

Giovanni Casella, Viviana Mascardi: West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware. IJAOSE 1(3/4): 396-434 (2007)

Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi: A Multi-Agent System for Hand-drawn Diagram Recognition. ICDAR 2007: 739-743

Viviana Mascardi, Maurizio Martelli, Ivana Gungui: DCaseLP: A Prototyping Environment for Multi-language Agent Systems. LADS 2007: 139-155

Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi: Preface to the Proceedings of WOA 2007. WOA 2007

Viviana Mascardi, Valentina Cordì, Paolo Rosso: A Comparison of Upper Ontologies. WOA 2007: 55-64

Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi (Eds.): 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. Seneca Edizioni Torino 2007, isbn 978-88-6122-061-4

Giovanni Casella, Gennaro Costagliola, Vincenzo Deufemia, Maurizio Martelli, Viviana Mascardi: An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches. VL/HCC 2006: 73-80

Giovanna Guerrini, Viviana Mascardi, Marco Mesiti: A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network. DBISP2P 2005: 147-154

Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi: BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223

Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta: COOWS: Adaptive BDI Agents meet Service-Oriented Computing. EUMAS 2005: 473

Viviana Mascardi, Daniela Demergasso, Davide Ancona: Languages for Programming BDI-style Agents: an Overview. WOA 2005: 9-15

Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi: An Ontology-Based Similarity between Sets of Concepts. WOA 2005: 16-21

Davide Roggero, Fioravante Patrone, Viviana Mascardi: Designing and Implementing Electronic Auctions in a Multiagent System Environment. WOA 2005: 157-163

Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi: Personalization, Verification and Conformance for Logic-based Communicating Agents. WOA 2005: 177-183

Viviana Mascardi, Maurizio Martelli, Leon Sterling: Logic-Based Specification Languages for Intelligent Software Agents. TPLP 4(4): 429-494 (2004)

Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705

Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella: Reasoning About Agents' Interaction Protocols Inside DCaseLP. DALT 2004: 112-131

Maurizio Martelli, Viviana Mascardi: From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. APPIA-GULP-PRODE 2003: 275-286

Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi: Customizing AOSE methodologies by reusing AOSE features. AAMAS 2003: 113-120

Davide Ancona, Viviana Mascardi: Coo-BDI: Extending the BDI Model with Cooperativity. DALT 2003: 109-134

M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri: A Multimedia, Multichannel, and Personalized News Provider. MIPS 2003: 388-399

Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio: From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. SEKE 2003: 578-585

Viviana Mascardi, Maurizio Martelli, Leon Sterling: Logic-Based Specification Languages for Intelligent Software Agents. CoRR cs.AI/0311024 (2003)

Thomas Eiter, Viviana Mascardi: Comparing environments for developing software agents. AI Commun. 15(4): 169-197 (2002)

Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian: Error-Tolerant Agents. Computational Logic: Logic Programming and Beyond 2002: 586-625

Riccardo Albertoni, Maurizio Martelli, Viviana Mascardi, Stefano Miglia: Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP. WOA 2002: 149-156

Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Specification of Heterogeneous Agent Architectures. ATAL 2000: 275-289

Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini: HEMASL: A Flexible Language to Specify Heterogeneous Agents. WOA 2000: 76-81

Maurizio Martelli, Viviana Mascardi, Floriano Zini: Specification and Simulation of Multi-Agent Systems in CaseLP. APPIA-GULP-PRODE 1999: 13-28

Viviana Mascardi, Emanuela Merelli: Agent-Oriented and Constraint Technologies for Distributed Transaction Management. IIA/SOCO 1999

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60

Maurizio Martelli, Viviana Mascardi, Floriano Zini: Applying Logic Programming to the Specification of Complex Applications. APPIA-GULP-PRODE 1997: 491-500