Matteo Baldoni

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An abductive proof procedure for reasoning about actions in modal logic programming	2024-10-24	Paper
Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter	2023-03-31	Paper
Interaction protocols	2021-10-12	Paper
Norm-aware and norm-oriented programming	2021-10-12	Paper
Reasoning about interaction protocols for web service composition	2013-09-11	Paper
Behavior-oriented commitment-based protocols	2011-05-11	Paper
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS Declarative Agent Languages and Technologies VIII	2011-05-11	Paper
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? Lecture Notes in Computer Science	2010-07-20	Paper
Reasoning about conversation protocols in a logic-based agent language Lecture Notes in Computer Science	2010-03-05	Paper
Theoretical Computer Science Lecture Notes in Computer Science	2010-02-23	Paper
The interplay between relationships, roles and objects Fundamentals of Software Engineering	2010-01-28	Paper
Verification of Protocol Conformance and Agent Interoperability Lecture Notes in Computer Science	2009-04-28	Paper
Reasoning about interaction protocols for customizing web service selection and composition The Journal of Logic and Algebraic Programming	2007-01-09	Paper
Computational Logic in Multi-Agent Systems Lecture Notes in Computer Science	2005-11-23	Paper
Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions Artificial Intelligence Review	2005-03-15	Paper
Programming rational agents in a modal action logic Annals of Mathematics and Artificial Intelligence	2004-08-10	Paper
scientific article; zbMATH DE number 2044515 (Why is no real title available?)	2004-02-18	Paper
Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results	2001-03-12	Paper
A modal extension of logic programming: modularity, beliefs and hypothetical reasoning Journal Of Logic And Computation	1999-01-03	Paper
scientific article; zbMATH DE number 1189095 (Why is no real title available?)	1998-10-08	Paper

Research outcomes over time

This page was built for person: Matteo Baldoni