Viviana Mascardi

According to our database1, Viviana Mascardi authored at least 103 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Preface.
Fundam. Inform., 2018

OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions.
Proceedings of the 19th Workshop "From Objects to Agents", 2018

Agents Interoperability via Conformance Modulo Mapping.
Proceedings of the 19th Workshop "From Objects to Agents", 2018

Verifying and Validating Autonomous Systems: Towards an Integrated Approach.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Managing Bad AIPs with RIVERtools.
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

Recognising Assumption Violations in Autonomous Systems Verification.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience.
Softw., Pract. Exper., 2017

Hackmytown: an Educational Experience on Smart Cities.
IxD&A, 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

Parametric Trace Expressions for Runtime Verification of Java-Like Programs.
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

Decentralizing MAS Monitoring with DecAMon.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Parametric Runtime Verification of Multiagent Systems.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 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

Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.
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

Computational thinking for beginners: A successful experience using Prolog.
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

Global Protocols as First Class Entities for Self-Adaptive Agents.
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 Intelligence and Agent Systems, 2014

A volunteered geographic information system for collecting and rating petroglyph data.
J. Vis. Lang. Comput., 2014

Distributed Runtime Verification of JADE Multiagent Systems.
Proceedings of the Intelligent Distributed Computing VIII, 2014

Ontology-Driven Processing and Management of Digital Rock Art Objects in IndianaMAS.
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

Efficient Verification of MASs with Projections.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

Exploiting Prolog for Projecting Agent Interaction Protocols.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems.
TPLP, 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

Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency.
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
The Indiana MAS Project: Goals and Preliminary Results.
Proceedings of the 13th Workshop on Objects and Agents, 2012

BOwL: exploiting Boolean operators and lesk algorithm for linking ontologies.
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

Ontology-based documentation extraction for semi-automatic migration of Java code.
Proceedings of the ACM Symposium on Applied Computing, 2012

Rock Art Interpretation within Indiana MAS.
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

MUSE: MUltilinguality and SEmantics for the Citizens of the World.
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

Managing Unavailabilities in a Dynamic Scenario Following an Agent-Based Approach.
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols.
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

Design and Implementation of a NetLogo Interface for the Stand-Alone FYPA System.
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

1000 Years of Coo-BDI.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

PrettyCLP: a Light Java Implementation for Teaching CLP.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

An Interaction-Oriented Agent Framework for Open Environments.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010
Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation.
IEEE Trans. Knowl. Data Eng., 2010

Análisis de Opiniones con Ontologías.
Polibits, 2010

Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies.
Multiagent and Grid Systems, 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of the 11th WOA 2010 Workshop, 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 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
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs.
Proceedings of the Second Multi-Agent Logics, 2009

Introductory Essay of MALLOW-AWESOME'009.
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
An agent-based framework for sketched symbol interpretation.
J. Vis. Lang. Comput., 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

Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents.
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008

Computational Logic in Genova.
Proceedings of the Il Milione (i.e. 2ˆ6), 2008

2007
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware.
IJAOSE, 2007

A Comparison of Upper Ontologies.
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

Preface to the Proceedings of WOA 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

DCaseLP: A Prototyping Environment for Multi-language Agent Systems.
Proceedings of the Languages, 2007

A Multi-Agent System for Hand-drawn Diagram Recognition.
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
Designing and Implementing Electronic Auctions in a Multiagent System Environment.
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

Languages for Programming BDI-style Agents: an Overview.
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

An Ontology-Based Similarity between Sets of Concepts.
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

Personalization, Verification and Conformance for Logic-based Communicating Agents.
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
Logic-Based Specification Languages for Intelligent Software Agents.
TPLP, 2004

Reasoning About Agents' Interaction Protocols Inside DCaseLP.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.
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

A Multimedia, Multichannel, and Personalized News Provider.
Proceedings of the Interactive Multimedia on Next Generation Networks, 2003

Coo-BDI: Extending the BDI Model with Cooperativity.
Proceedings of the Declarative Agent Languages and Technologies, 2003

Customizing AOSE methodologies by reusing AOSE features.
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
Comparing environments for developing software agents.
AI Commun., 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

Error-Tolerant Agents.
Proceedings of the Computational Logic: Logic Programming and Beyond, 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

Specification of Heterogeneous Agent Architectures.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

1999
Multi-agent Systems Development as a Software Engineering Enterprise.
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

1997
Applying Logic Programming to the Specification of Complex Applications.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997


  Loading...