![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Viviana Mascardi
Person information
- affiliation: University of Genoa, Italy
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 2010
- [j7]Matteo Baldoni, Cristina Baroglio, Viviana Mascardi:
Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies. Multiagent Grid Syst. 6(2): 103-104 (2010) - [j6]Enrique Vallés, Paolo Rosso, Angela Locoro, Viviana Mascardi:
Análisis de Opiniones con Ontologías. Polibits 41: 29-37 (2010) - [j5]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) - 2008
- [j4]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) - 2007
- [j3]Giovanni Casella, Viviana Mascardi:
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware. Int. J. Agent Oriented Softw. Eng. 1(3/4): 396-434 (2007) - 2004
- [j2]Viviana Mascardi, Maurizio Martelli, Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents. Theory Pract. Log. Program. 4(4): 429-494 (2004) - 2002
- [j1]Thomas Eiter, Viviana Mascardi:
Comparing environments for developing software agents. AI Commun. 15(4): 169-197 (2002)
Conference and Workshop Papers
- 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
- [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 - 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 - 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
- [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 - 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 - 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
- [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
- [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 - 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 - 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
- [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 - 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
- [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 - 2010
- [c43]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 - [c42]Angela Locoro, Viviana Mascardi, Anna Marina Scapolla:
NLP and Ontology Matching - A Successful Combination for Trialogical Learning. ICAART (1) 2010: 253-258 - [c41]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 - [c40]Massimo Ancona, Viviana Mascardi, Gianluca Quercini, Anton Bogdanovych, Henry de Lumley, Laura Papaleo
, Simeon Simoff, Antonella Traverso:
Virtual Institutions for Preserving and Simulating the Culture of Mount Bego's Ancient People. VAST (Short and Project Papers) 2010 - [c39]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 - 2009
- [c38]Angela Locoro, Viviana Mascardi:
A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies. KEOD 2009: 239-246 - [c37]Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi:
Introductory Essay of MALLOW-AWESOME'009. MALLOW 2009 - [c36]Viviana Mascardi, Davide Ancona:
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs. MALLOW 2009 - [c35]Daniela Briola, Viviana Mascardi, Maurizio Martelli, Riccardo Caccia, Carlo Milani:
Dynamic Resource Allocation in a MAS: A Case Study from the Industry. WOA 2009: 125-133 - 2008
- [c34]Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli:
Computational Logic in Genova. Il Milione 2008 - [c33]Viviana Mascardi, Daniela Briola
, Maurizio Martelli, Riccardo Caccia, Carlo Milani:
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. CISIS 2008: 108-115 - [c32]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 - [c31]Daniela Briola, Viviana Mascardi, Maurizio Martelli, Gabriele Arecco, Riccardo Caccia, Carlo Milani:
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments. WOA 2008: 11-18 - [c30]Angela Locoro, Viviana Mascardi, Daniela Briola:
Ontology Agents in FIPA-compliant Platforms: Survey and a New Proposal. WOA 2008: 68-75 - 2007
- [c29]Giovanni Casella, Vincenzo Deufemia
, Viviana Mascardi:
A Multi-Agent System for Hand-drawn Diagram Recognition. ICDAR 2007: 739-743 - [c28]Viviana Mascardi, Maurizio Martelli, Ivana Gungui:
DCaseLP: A Prototyping Environment for Multi-language Agent Systems. LADS 2007: 139-155 - [c27]Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi:
Preface to the Proceedings of WOA 2007. WOA 2007 - [c26]Viviana Mascardi, Valentina Cordì, Paolo Rosso:
A Comparison of Upper Ontologies. WOA 2007: 55-64 - 2006
- [c25]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 - 2005
- [c24]Giovanna Guerrini, Viviana Mascardi, Marco Mesiti:
A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network. DBISP2P 2005: 147-154 - [c23]Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi:
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223 - [c22]Luigi Bozzo, Viviana Mascardi, Davide Ancona, Paolo Busetta:
COOWS: Adaptive BDI Agents meet Service-Oriented Computing. EUMAS 2005: 473 - [c21]Viviana Mascardi, Daniela Demergasso, Davide Ancona:
Languages for Programming BDI-style Agents: an Overview. WOA 2005: 9-15 - [c20]Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi:
An Ontology-Based Similarity between Sets of Concepts. WOA 2005: 16-21 - [c19]Davide Roggero, Fioravante Patrone, Viviana Mascardi:
Designing and Implementing Electronic Auctions in a Multiagent System Environment. WOA 2005: 157-163 - [c18]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 - 2004
- [c17]Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini:
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. AAMAS 2004: 696-705 - [c16]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 - 2003
- [c15]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 - [c14]Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi:
Customizing AOSE methodologies by reusing AOSE features. AAMAS 2003: 113-120 - [c13]Davide Ancona, Viviana Mascardi:
Coo-BDI: Extending the BDI Model with Cooperativity. DALT 2003: 109-134 - [c12]M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri:
A Multimedia, Multichannel, and Personalized News Provider. MIPS 2003: 388-399 - [c11]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 - 2002
- [c10]Maurizio Martelli, Viviana Mascardi, Leon Sterling:
Logic-Based Languages to Model and Program Intelligent Agents. APPIA-GULP-PRODE 2002: 105-122 - [c9]Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian:
Error-Tolerant Agents. Computational Logic: Logic Programming and Beyond 2002: 586-625 - [c8]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 - 2000
- [c7]Simone Marini
, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Specification of Heterogeneous Agent Architectures. ATAL 2000: 275-289 - [c6]Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
HEMASL: A Flexible Language to Specify Heterogeneous Agents. WOA 2000: 76-81 - 1999
- [c5]Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Specification and Simulation of Multi-Agent Systems in CaseLP. APPIA-GULP-PRODE 1999: 13-28 - [c4]Viviana Mascardi, Emanuela Merelli:
Agent-Oriented and Constraint Technologies for Distributed Transaction Management. IIA/SOCO 1999 - [c3]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60 - 1998
- [c2]Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Towards Multi-Agent Software Prototyping. PAAM 1998: 331-354 - 1997
- [c1]Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Applying Logic Programming to the Specification of Complex Applications. APPIA-GULP-PRODE 1997: 491-500
Parts in Books or Collections
- 2023
- [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 - 2011
- [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
- [p2]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 - 1999
- [p1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. The Logic Programming Paradigm 1999: 5-32
Editorship
- 2022
- [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] - 2019
- [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] - 2016
- [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
- [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] - 2013
- [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] - 2009
- [e2]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:
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 [contents] - 2007
- [e1]Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi:
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 [contents]
Informal and Other Publications
- 2020
- [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) - 2019
- [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) - 2003
- [i1]Viviana Mascardi, Maurizio Martelli, Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents. CoRR cs.AI/0311024 (2003)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint