default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDViviana Mascardi
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c126]Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
Geometric and Spatial Reasoning in BDI Agents: A Survey. CILC 2024- [c125]Diana Ivan, Angelo Ferrando, Andrea Gatti, Giovanna Guerrini, Viviana Mascardi:
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design. WOA 2024: 177-180 - 2023
- [j28]Angelo Ferrando, Viviana Mascardi:
Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale 17(1): 3-5 (2023) - [j27]Andrea Gatti, Viviana Mascardi:
VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation. Robotics 12(2): 46 (2023) - [j26]Débora C. Engelmann
, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12(2): 49 (2023) - [c124]Débora C. Engelmann, Alison R. Panisson, Renata Vieira, Jomi Fred Hübner, Viviana Mascardi, Rafael H. Bordini:
MAIDS - A Framework for the Development of Multi-Agent Intentional Dialogue Systems. AAMAS 2023: 1209-1217 - [c123]Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS 2023: 233-252 - [c122]Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi:
Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS 2023: 66-82 - [c121]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP 2023: 25-31 - [c120]Andrea Gatti, Viviana Mascardi, Domenico Pellegrini:
Mining Information From Legal Sentences in KlonDikE. NL4AI@AI*IA 2023 - [c119]Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA 2023: 1-8 - [p4]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years 2023: 300-317 - 2022
- [j25]Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study. Intelligenza Artificiale 16(1): 49-67 (2022) - [c118]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC 2022: 154-170 - [c117]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS 2022: 22-40 - [c116]Carlos Eduardo A. Ferreira, Alison R. Panisson, Débora C. Engelmann, Renata Vieira, Viviana Mascardi, Rafael H. Bordini:
Explaining Semantic Reasoning Using Argumentation. PAAMS 2022: 153-165 - [c115]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI 2022: 23-36 - [c114]Andrea Gatti, Viviana Mascardi:
Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents. AREA@IJCAI-ECAI 2022: 65-80 - [e10]Viviana Mascardi, Matteo Palmonari, Giuseppe Vizzari:
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. CEUR Workshop Proceedings 3078, CEUR-WS.org 2022 [contents] - [e9]Stefania Bandini, Francesca Gasparini, Viviana Mascardi, Matteo Palmonari, Giuseppe Vizzari:
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. Lecture Notes in Computer Science 13196, Springer 2022, ISBN 978-3-031-08420-1 [contents] - [e8]Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor:
21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2022, ISBN 978-1-4503-9213-6 [contents] - [e7]Angelo Ferrando, Viviana Mascardi:
Proceedings of the 23rd Workshop "From Objects to Agents", Genova, Italy, September 1-3, 2022. CEUR Workshop Proceedings 3261, CEUR-WS.org 2022 [contents] - 2021
- [j24]Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini:
Logic-based technologies for multi-agent systems: a systematic literature review. Auton. Agents Multi Agent Syst. 35(1): 1 (2021) - [j23]Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35(1): 8 (2021) - [j22]Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi:
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59(1): 44-76 (2021) - [j21]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205: 102610 (2021) - [j20]Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi:
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30(4): 43:1-43:43 (2021) - [c113]Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini:
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review. AAMAS 2021: 1721-1723 - [c112]Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS 2021: 1733-1734 - [c111]Mateus da Silveira Colissi, Renata Vieira, Viviana Mascardi, Rafael H. Bordini:
A Chatbot that Uses a Multi-agent Organization to Support Collaborative Learning. HCI (39) 2021: 31-38 - [c110]Filippo Ricca, Viviana Mascardi, Alessandro Verri:
Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents. VORTEX@ISSTA 2021: 17-21 - [c109]Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. WOA 2021: 83-97 - 2020
- [j19]Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi:
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain. Theory Pract. Log. Program. 20(4): 456-511 (2020) - [c108]Roberto Salvaneschi, Daniela Muradore, Andrea Stanchi, Viviana Mascardi:
FrEX: Extracting Property Expropriation Frame Entities from Real Cases. NL4AI@AI*IA 2020: 87-103 - [c107]Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi:
The DigForSim Agent Based Simulator of People Movements in Crime Scenes. PAAMS 2020: 42-54 - [c106]Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c105]Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Daniele Traversaro:
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library. UMAP (Adjunct Publication) 2020: 107-113 - [c104]Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone:
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) 2020: 119-126 - [c103]Rafael H. Bordini, Viviana Mascardi, Stefania Costantini, Amal El Fallah Seghrouchni, Yves Lespérance, Alessandro Ricci:
Transcultural Health-Aware Guides for the Elderly. WOA 2020: 135-146 - [c102]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020: 13-32 - [c101]Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari:
Engineering Reliable Interactions in the Reality-Artificiality Continuum. AREA@ECAI 2020: 69-80 - [c100]Viviana Mascardi, Domenico Pellegrini:
Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean. ICLP Technical Communications 2020: 268-275 - [i5]Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith:
Towards a Framework for Certification of Reliable Autonomous Systems. CoRR abs/2001.09124 (2020) - [i4]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? (extended version). CoRR abs/2008.06453 (2020)
2010 – 2019
- 2019
- [j18]Viviana Mascardi, Danny Weyns, Alessandro Ricci:
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead. ACM SIGSOFT Softw. Eng. Notes 44(1): 18-28 (2019) - [c99]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS 2019: 1955-1957 - [c98]Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. CILC 2019: 229-241 - [c97]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS 2019: 43-64 - [c96]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS 2019: 248-260 - [c95]Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini:
Smart RogAgent: Where Agents and Humans Team Up. PRIMA 2019: 541-549 - [c94]Maurizio Leotta, Vincenzo Petito, Luca Gelati, Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi:
Orchestrated crowdsourced testing of a mobile web application: a case study. Programming 2019: 17:1-17:6 - [c93]Massimo Ancona, Viviana Mascardi, Nicoletta Noceti, Francesca Odone, Waqas Ahsen, Antonino Scribellito:
Towards the Internet of Safe and Intelligent Postal+ Things. WOA 2019: 51-58 - [e6]Danny Weyns, Viviana Mascardi, Alessandro Ricci:
Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11375, Springer 2019, ISBN 978-3-030-25692-0 [contents] - [i3]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR abs/1902.01131 (2019) - [i2]Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi:
OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain. CoRR abs/1911.04863 (2019) - 2018
- [j17]Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi:
Preface. Fundam. Informaticae 159(1-2): v-vi (2018) - [j16]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. 6(3/4): 402-442 (2018) - [c92]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c91]Viviana Mascardi, Danny Weyns:
Engineering Multi-agent Systems Anno 2025. EMAS@AAMAS 2018: 3-16 - [c90]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS 2018: 59-71 - [c89]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Managing Bad AIPs with RIVERtools. PAAMS 2018: 296-300 - [c88]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [c87]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Agents Interoperability via Conformance Modulo Mapping. WOA 2018: 109-115 - [c86]Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi:
OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions. WOA 2018: 116-123 - 2017
- [j15]Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva:
Hackmytown: an Educational Experience on Smart Cities. IxD&A 32: 153-164 (2017) - [j14]Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino:
Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience. Softw. Pract. Exp. 47(11): 1773-1799 (2017) - [c85]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Decentralizing MAS Monitoring with DecAMon. AAMAS 2017: 239-248 - [c84]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Parametric Runtime Verification of Multiagent Systems. AAMAS 2017: 1457-1459 - [c83]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP 2017: 10:1-10:6 - [c82]Daniela Briola, Viviana Mascardi:
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data. RuleML+RR 2017: 53-69 - 2016
- [j13]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:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [c81]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS 2016: 39-58 - [c80]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods 2016: 47-64 - [c79]Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso:
Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. MultiLingMine@ECIR 2016: 6-15 - [c78]Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi:
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) 2016: 15-26 - [c77]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA 2016: 35-43 - [e5]Viviana Mascardi, Ilaria Torre:
Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with the 15th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016. CEUR Workshop Proceedings 1769, CEUR-WS.org 2016 [contents] - 2015
- [j12]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9(2): 131-148 (2015) - [c76]Maurizio Leotta, Silvio Beux, Viviana Mascardi, Daniela Briola:
My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain. ESSEM@AAMAS 2015: 51-66 - [c75]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS 2015: 1019-1029 - [c74]Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella:
Computational thinking for beginners: A successful experience using Prolog. CILC 2015: 31-45 - [c73]Davide Ancona, Daniela Briola, Viviana Mascardi:
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA 2015: 65-75 - [e4]Davide Ancona, Marco Maratea, Viviana Mascardi:
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. CEUR Workshop Proceedings 1459, CEUR-WS.org 2015 [contents] - 2014
- [j11]Vincenzo Deufemia, Viviana Mascardi, Luca Paolino, Giuseppe Polese, Henry de Lumley:
A volunteered geographic information system for collecting and rating petroglyph data. J. Vis. Lang. Comput. 25(6): 963-972 (2014) - [j10]Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci:
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intell. Agent Syst. 12(1): 83-107 (2014) - [c72]Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Exploiting Prolog for Projecting Agent Interaction Protocols. CILC 2014: 30-45 - [c71]Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC 2014: 319-323 - [c70]Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Efficient Verification of MASs with Projections. EMAS@AAMAS 2014: 246-270 - [c69]Vincenzo Deufemia, Luca Paolino, Giuseppe Polese, Viviana Mascardi, Henry de Lumley:
PetroAdvisor: A Volunteer-based Information System for Collecting and Rating Petroglyph Data. DMS 2014: 345-353 - [c68]Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino, Nicoletta Bianchi:
Ontology-Driven Processing and Management of Digital Rock Art Objects in IndianaMAS. EuroMed 2014: 217-227 - [c67]Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE Multiagent Systems. IDC 2014: 81-91 - 2013
- [j9]Viviana Mascardi, Davide Ancona:
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c66]Viviana Mascardi, Daniela Briola, Davide Ancona:
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA 2013: 300-311 - [c65]Supriyo Ghosh, Animesh Dutta, Viviana Mascardi, Daniela Briola:
Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency. MATES 2013: 278-291 - [c64]Davide Ancona, Matteo Barbieri, Viviana Mascardi:
Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC 2013: 1377-1379 - [e3]Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Weber Vasconcelos:
Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7784, Springer 2013, ISBN 978-3-642-37889-8 [contents] - 2012
- [c63]Vincenzo Deufemia, Luca Paolino, Genoveffa Tortora, Antonella 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 - [c62]Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012: 76-95 - [c61]Viviana Mascardi, James A. Hendler, Laura Papaleo:
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper). DALT 2012: 197-202 - [c60]Michele Bozzano, Daniela Briola, Diego Leone, Angela Locoro, Lanfranco Marasso, Viviana Mascardi:
MUSE: MUltilinguality and SEmantics for the Citizens of the World. IDC 2012: 97-102 - [c59]Viviana Mascardi, Vincenzo Deufemia, Damiano Malafronte, Alessandro Ricciarelli, Nicoletta Bianchi, Henry de Lumley:
Rock Art Interpretation within Indiana MAS. KES-AMSTA 2012: 271-281 - [c58]Viviana Mascardi, Angela Locoro:
BOwL: exploiting Boolean operators and lesk algorithm for linking ontologies. SAC 2012: 398-400 - [c57]Angela Locoro, Viviana Mascardi, Anna Marina Scapolla:
Evolving and validating annotations in web-based collaborative environments through ontology matching. SAC 2012: 725-727 - [c56]Davide Ancona, Viviana Mascardi, Ombretta Pavarino:
Ontology-based documentation extraction for semi-automatic migration of Java code. SAC 2012: 1137-1143 - [c55]Angela Locoro, Viviana Mascardi, Daniela Briola, Maurizio Martelli, Massimo Ancona, Vincenzo Deufemia, Luca Paolino, Genny Tortora, Giuseppe Polese, Rita Francese:
The Indiana MAS Project: Goals and Preliminary Results. WOA 2012 - 2011
- [j8]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) - [c54]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 - [c53]Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi:
PrettyCLP: a Light Java Implementation for Teaching CLP. CILC 2011: 281-295 - [c52]Viviana Mascardi, Davide Ancona:
1000 Years of Coo-BDI. DALT 2011: 95-101 - [c51]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 - [c50]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 - [c49]Laura Papaleo, Gianluca Quercini, Viviana Mascardi, Massimo Ancona, Antonella Traverso, Henry de Lumley:
Agents and Ontologies for Understanding and Preserving the Rock Art of Mount Bego. ICAART (2) 2011: 288-295 - [c48]Matteo Barbieri, Viviana Mascardi:
Hive-BDI: Extending Jason with Shared Beliefs and Stigmergy. ICAART (2) 2011: 479-482 - [c47]Fela Winkelmolen, Viviana Mascardi:
Statistical Language Identification of Short Texts. ICAART (1) 2011: 498-503 - [c46]Daniela Briola, Viviana Mascardi:
Design and Implementation of a NetLogo Interface for the Stand-Alone FYPA System. WOA 2011: 41-50 - [c45]Angela Locoro, Viviana Mascardi, Franco Mortara, Renato Sanna:
Managing Unavailabilities in a Dynamic Scenario Following an Agent-Based Approach. WOA 2011: 58-67 - [c44]Daniela Briola, Viviana Mascardi:
Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols. WOA 2011: 95-104 - [p3]Angela Locoro, Daniele Grignani, Viviana Mascardi:
MANENT: An Infrastructure for Integrating, Structuring and Searching Digital Libraries. Learning Structure and Schemas from Documents 2011: 315-341 - 2010
- [j7]Matteo Baldoni,