Viviana Mascardi
Orcid: 0000-0002-2261-9926Affiliations:
- University of Genoa, Italy
According to our database1,
Viviana Mascardi
authored at least 156 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation.
Robotics, April, 2023
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications.
Robotics, April, 2023
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives.
Proceedings of the Prolog: The Next 50 Years, 2023
Intelligenza Artificiale, 2023
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa.
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, 2023
Proceedings of the Seventh Workshop on Natural Language for Artificial Intelligence (NL4AI 2023) co-located with 22th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study.
Intelligenza Artificiale, 2022
Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents.
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions.
Proceedings of the Multi-Agent Systems - 19th European Conference, 2022
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
2021
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.
ACM Trans. Softw. Eng. Methodol., 2021
Sci. Comput. Program., 2021
Formal Methods Syst. Des., 2021
Auton. Agents Multi Agent Syst., 2021
Auton. Agents Multi Agent Syst., 2021
Proceedings of the 22nd Workshop "From Objects to Agents", 2021
Test'n'Mo: a collaborative platform for human testers and intelligent monitoring agents.
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021
Proceedings of the HCI International 2021 - Posters - 23rd HCI International Conference, 2021
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain.
Theory Pract. Log. Program., 2020
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020
Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library.
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020
Proceedings of the 4th Workshop on Natural Language for Artificial Intelligence (NL4AI 2020) co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2020), 2020
2019
ACM SIGSOFT Softw. Eng. Notes, 2019
CoRR, 2019
Proceedings of the 20th Workshop "From Objects to Agents", 2019
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2018
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches.
Int. J. Agent Oriented Softw. Eng., 2018
Proceedings of the 19th Workshop "From Objects to Agents", 2018
Proceedings of the 19th Workshop "From Objects to Agents", 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018
Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Softw. Pract. Exp., 2017
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols.
Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain.
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016
Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach.
Proceedings of the First Workshop on Modeling, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study.
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016
2015
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.
Intelligenza Artificiale, 2015
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems.
Proceedings of the 16th Workshop "From Objects to Agents", 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain.
Proceedings of the 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media: Opportunities and Challenges for Emotion-aware Multiagent Systems co-located with 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services.
Web Intell. Agent Syst., 2014
A volunteered geographic information system for collecting and rating petroglyph data.
J. Vis. Lang. Comput., 2014
Proceedings of the Intelligent Distributed Computing VIII, 2014
Proceedings of the Digital Heritage. Progress in Cultural Heritaage: Documentation, Preservation, and Protection, 2014
PetroAdvisor: A Volunteer-based Information System for Collecting and Rating Petroglyph Data.
Proceedings of the 20th International Conference on Distributed Multimedia Systems: Research papers on distributed multimedia systems, 2014
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems.
Theory Pract. Log. Program., 2013
Constrained global types for dynamic checking of protocol conformance in multi-agent systems.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
2012
Proceedings of the 13th Workshop on Objects and Agents, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Evolving and validating annotations in web-based collaborative environments through ontology matching.
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012
Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper).
Proceedings of the Declarative Agent Languages and Technologies X, 2012
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason.
Proceedings of the Declarative Agent Languages and Technologies X, 2012
Investigative analysis across documents and drawings: visual analytics for archaeologists.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012
2011
MANENT: An Infrastructure for Integrating, Structuring and Searching Digital Libraries.
Proceedings of the Learning Structure and Schemas from Documents, 2011
Some applications of Computational Logic to the development of intelligent systems and verification methods.
Intelligenza Artificiale, 2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011
Statistical Language Identification of Short Texts.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011
Agents and Ontologies for Understanding and Preserving the Rock Art of Mount Bego.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011
Hive-BDI: Extending Jason with Shared Beliefs and Stigmergy.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011
When You Doubt, Abstain: From Misclassification to Epoché in Automatic Text Categorisation.
Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011
Proceedings of the Declarative Agent Languages and Technologies IX, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
2010
IEEE Trans. Knowl. Data Eng., 2010
Multiagent Grid Syst., 2010
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of the 11th WOA 2010 Workshop, 2010
Virtual Institutions for Preserving and Simulating the Culture of Mount Bego's Ancient People.
Proceedings of the 11th International Symposium on Virtual Reality, 2010
NLP and Ontology Matching - A Successful Combination for Trialogical Learning.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010
Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti.
Proceedings of the 25th Italian Conference on Computational Logic, 2010
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
Dynamic Resource Allocation in a MAS: A Case Study from the Industry.
Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs.
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Second Multi-Agent Logics, 2009
A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies.
Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009
2008
J. Vis. Lang. Comput., 2008
Ontology Agents in FIPA-compliant Platforms: Survey and a New Proposal.
Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments.
Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008
Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents.
Proceedings of the Visual Information Systems. Web-Based Visual Information Search and Management, 2008
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008
2007
Int. J. Agent Oriented Softw. Eng., 2007
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007
Proceedings of the Languages, 2007
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007
2006
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006
2005
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.
Proceedings of the EUMAS 2005, 2005
COOWS: Adaptive BDI Agents meet Service-Oriented Computing.
Proceedings of the EUMAS 2005, 2005
A Semantic Information Retrieval Advertisement and Policy Based System for a P2P Network.
Proceedings of the Databases, 2005
2004
Theory Pract. Log. Program., 2004
Proceedings of the Declarative Agent Languages and Technologies II, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
2003
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Proceedings of the Interactive Multimedia on Next Generation Networks, 2003
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2000
HEMASL: A Flexible Language to Specify Heterogeneous Agents.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000
1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Agent-Oriented and Constraint Technologies for Distributed Transaction Management.
Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999
Specification and Simulation of Multi-Agent Systems in CaseLP.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999
1998
Towards Multi-Agent Software Prototyping.
Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998
1997
Applying Logic Programming to the Specification of Complex Applications.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997