Matteo Baldoni

According to our database1, Matteo Baldoni authored at least 144 papers between 1993 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Special issue for the twentieth edition of the workshop 'From objects to agents'.
Intelligenza Artificiale, 2020

JADE/JaCaMo+2COMM: Programming Agent Interactions.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Reasoning About Applicable Law in Private International Law in Logic Programming.
Proceedings of the Legal Knowledge and Information Systems, 2020

Fragility and Robustness in Multiagent Systems.
Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

Is Explanation the Real Key Factor for Innovation?
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019
Intelligent Agents: Multi-Agent Systems.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Process Coordination with Business Artifacts and Multiagent Technologies.
J. Data Semant., 2019

MOCA: An ORM model for computational accountability.
Intelligenza Artificiale, 2019

Programming Agents by Their Social Relationships: A Commitment-Based Approach.
Algorithms, 2019

A Focus on Robustness with ARFIN organizations.
Proceedings of the 20th Workshop "From Objects to Agents", 2019

Renvoi in Private International Law: A Formalization with Modal Contexts.
Proceedings of the Legal Knowledge and Information Systems, 2019

Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes.
Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Accountability, Responsibility and Robustness in Agent Organizations.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Implementing Business Processes in JaCaMo+ by Exploiting Accountability and Responsibility.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Engineering Business Processes through Accountability and Agents.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Engineering Multiagent Organizations by Accountability and Responsibility.
Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019

2018
Commitment-based Agent Interaction in JaCaMo+.
Fundam. Informaticae, 2018

Type checking for protocol role enactments via commitments.
Auton. Agents Multi Agent Syst., 2018

Accountability and Responsibility in Business Processes via Agent Technology.
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, 2018

Accountability and Responsibility in Agent Organizations.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

An Information Model for Computing Accountabilities.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Goal Distribution in Business Process Models.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018


2017
Endowing Business Artifacts with a Normative Coordination Layer.
Proceedings of the 18th Workshop "From Objects to Agents", 2017

ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

The AThOS Project: First Steps towards Computational Accountability.
Proceedings of the First Workshop on Computational Accountability and Responsibility in Multiagent Systems co-located with 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017

Enriching Business Artifacts with Coordination.
Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017

Objective Coordination with Business Artifacts and Social Engagements.
Proceedings of the Business Process Management Workshops, 2017

Supporting Organizational Accountability Inside Multiagent Systems.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Towards Data- and Norm-Aware Multiagent Systems.
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Computational Accountability.
Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

2015
Social Continual Planning in Open Multiagent Systems: A First Study.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Exploiting Social Commitments in Programming Agent Interaction.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Business Process Management for Legal Domains: Supporting Execution and Management of Preliminary Injunctions.
Proceedings of the Legal Knowledge and Information Systems, 2015

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Composing and Verifying Commitment-Based Multiagent Protocols.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Leveraging commitments and goals in agent interaction.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

Social Contexts and Social Pragmatics.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Programming with Commitments and Goals in JaCaMo+.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach.
Proceedings of the Advances in Social Computing and Multiagent Systems, 2015

Social Continual Planning in Open Multiagent Systems.
Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Empowering Agent Coordination with Social Engagement.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014
A Commitment-Based Infrastructure for Programming Socio-Technical Systems.
ACM Trans. Internet Techn., 2014

Engineering commitment-based business protocols with the 2CL methodology.
Auton. Agents Multi Agent Syst., 2014

Social Relationships for Designing Agent Interaction in JADE.
Proceedings of the XV Workshop "Dagli Oggetti agli Agenti", 2014

Social Computing in JaCaMo.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Typing Multi-Agent Systems via Commitments.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013
Constitutive and regulative specifications of commitment protocols: A decoupled approach.
ACM Trans. Intell. Syst. Technol., 2013

Guest-editorial: 25 years of AI*IA.
Intelligenza Artificiale, 2013

2COMM: A Commitment-based MAS Architecture.
Proceedings of the 14th Workshop "From Objects to Agents" co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012
From tags to emotions: Ontology-driven sentiment analysis in the social semantic web.
Intelligenza Artificiale, 2012

Flexible choreography-driven service selection.
Intelligenza Artificiale, 2012

Some Thoughts about Commitment Protocols.
Proceedings of the 13th Workshop on Objects and Agents, 2012

A Generalized Commitment Machine for 2CL Protocols and Its Implementation.
Proceedings of the Declarative Agent Languages and Technologies X, 2012

Some Thoughts about Commitment Protocols - (Position Paper).
Proceedings of the Declarative Agent Languages and Technologies X, 2012

A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Constraint modeling for curriculum planning and validation.
Interact. Learn. Environ., 2011

Models of agent interaction based on modal logics.
Intelligenza Artificiale, 2011

A journey in Computational Logic in Italy.
Intelligenza Artificiale, 2011

Learn the rules so you know how to break them properly.
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

Extend Commitment Protocols with Temporal Regulations: Why and How.
Proceedings of the 5th International RuleML2011@BRF Challenge, 2011

Back to the future: An interaction-oriented framework for social computing.
Proceedings of the First International Workshop on Requirements Engineering for Social Computing, 2011

Grafting regulations into business protocols: Supporting the analysis of risks of violation.
Proceedings of the Fourth International Workshop on Requirements Engineering and Law, 2011

On Temporal Regulations and Commitment Protocols.
Proceedings of the IJCAI 2011, 2011

ArsEmotica: emotions in the social semantic web.
Proceedings of the Proceedings the 7th International Conference on Semantic Systems, 2011

Commitments with regulations: reasoning about safety and control in REGULA.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Sentiment Analysis in the Planet Art: A Case Study in the Social Semantic Web.
Proceedings of the New Challenges in Distributed Information Filtering and Retrieval, 2011

From Tags to Emotions: Ontology-driven Sentimental Analysis in the Social Semantic Web.
Proceedings of the 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval, 2011

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

2010
Leveraging search and content exploration by exploiting context in folksonomy systems.
New Rev. Hypermedia Multim., 2010

Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies.
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

Behavior-Oriented Commitment-based Protocols.
Proceedings of the ECAI 2010, 2010

Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Constraints among Commitments: Regulative Specification of Interaction Protocols.
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
A Middleware for Modeling Organizations and Roles in Jade.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Joint Achievement of Services' Personal Goals.
Proceedings of the Second Multi-Agent Logics, 2009

Introductory Essay of MALLOW-AWESOME'009.
Proceedings of the Second Multi-Agent Logics, 2009

ArsMeteo: artworks and tags floating over the planet art.
Proceedings of the HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29, 2009

Context-based ranking in folksonomies.
Proceedings of the HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29, 2009

The Interplay between Relationships, Roles and Objects.
Proceedings of the Fundamentals of Software Engineering, 2009

Choice, interoperability, and conformance in interaction protocols and service choreographies.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
Adding Organizations and Roles as Primitives to JADE Framework.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

How to Program Organizations and Roles in the JADE Framework.
Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts.
Proceedings of the Formal Ontologies Meet Industry, 2008

Adding Organizations and Roles as Primitives to the JADE Framework.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Multimodal Logics for Reasoning about Interaction.
Proceedings of the Il Milione (i.e. 2^6), 2008

2007
Rule-based Policy Specification.
Proceedings of the Secure Data Management in Decentralized Systems, 2007

Interaction between Objects in powerJava.
J. Object Technol., 2007

Reasoning about interaction protocols for customizing web service selection and composition.
J. Log. Algebraic Methods Program., 2007

Reasoning on choreographies and capability requirements.
Int. J. Bus. Process. Integr. Manag., 2007

Adding Roles to Relationship Patterns.
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

Preserving players goals: a choreography-driven matchmaking approach.
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

Declarative representation of curricula models: an LTL- and UML-based approach.
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

An implementation of roles as affordances: powerJava.
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

Goal Preservation by Choreography-Driven Matchmaking.
Proceedings of the Service-Oriented Computing, 2007

Relationships Meet Their Roles in Object Oriented Programming.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Curriculum Model Checking: Declarative Representation and Verification of Properties.
Proceedings of the Creating New Learning Experiences on a Global Scale, 2007

Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture.
Proceedings of the Creating New Learning Experiences on a Global Scale, 2007

Service selection by choreography-driven matching.
Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007

Curricula Modeling and Checking.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Roles as a Coordination Construct: Introducing powerJava.
Electron. Notes Theor. Comput. Sci., 2006

Importing Agent-like Interaction in Object Orientation.
Proceedings of the 7th WOA 2006 Workshop, 2006

Conformance and Interoperability in Open Enviroments.
Proceedings of the 7th WOA 2006 Workshop, 2006

powerJava: ontologically founded roles in object oriented programming languages.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects.
Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

Interaction Protocols and Capabilities: A Preliminary Report.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Interaction among objects via roles: sessions and affordances in Java.
Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

A Personalization Service for Curriculum Planning.
Proceedings of the LWA 2006: Lernen - Wissensentdeckung - Adaptivität, Hildesheim, Deutschland, October 9th-11th 2006, joint workshop event of several interest groups of the German Society for Informatics (GI) - 14th Workshop on Adaptivity and User Modeling in Interactive Systems (ABIS 2006) - Workshop Information Retrieval 2006 of the Special Interest Group Information Retrieval (FGIR 2006) - Workshop on Knowledge and Experience Management (FGWM 2006), 2006

Modelling the Interaction Between Objects: Roles as Affordances.
Proceedings of the Knowledge Science, 2006

A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.
Proceedings of the Service-Oriented Computing, 2006

2005
Social roles, from agents back to objects.
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

Personalization for the Semantic Web.
Proceedings of the Reasoning Web, 2005

Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages.
Proceedings of the Programming Multi-Agent Systems, 2005

Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Verification of Protocol Conformance and Agent Interoperability.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
Reasoning About Interaction Protocols for Web Service Composition.
Electron. Notes Theor. Comput. Sci., 2004

Programming Rational Agents in a Modal Action Logic.
Ann. Math. Artif. Intell., 2004

Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions.
Artif. Intell. Rev., 2004

Design and development of a visual environment for writing DyLOG programs.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

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

Verifying Protocol Conformance for Logic-Based Communicating Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003
Reasoning about Interaction for Personalizing Web Service Fruition.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Reasoning about Communicating Agents in the Semantic Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

Reasoning about Self and Others: Communicating Agents in a Model Action Logic.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Reasoning about Conversation Protocols in a Logic-Based Agent Language.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002
Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

2001
Programming Goal-Driven Web Sites Using an Agent Logic Language.
Proceedings of the Practical Aspects of Declarative Languages, 2001

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Structureless, intention-guided web sites: planning based adaptation.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

2000
Use of IFS Codes for Learning 2D Isolated-Object Classification Systems.
Comput. Vis. Image Underst., 2000

1998
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.
J. Log. Comput., 1998

A Tableau for Multimodal Logics and Some (Un)Decidability Results.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition.
Proceedings of the Advances in Pattern Recognition, 1998

1997
Extraction of Discriminant Features from Image Fractal Encoding.
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

A Framework for a Modal Logic Programming.
Proceedings of the Logic Programming, 1996

Translating a Modal Language with Embedded Implication into Horn Clause Logic.
Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1994
A Modal Extension of Logic Programming.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
A Multimodal Logic to Define Modules in Logic Programming.
Proceedings of the Logic Programming, 1993


  Loading...