default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlberto Martelli
- > Home > Persons > Alberto Martelli
Publications
- 2007
[j25]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
:
Reasoning on choreographies and capability requirements. Int. J. Bus. Process. Integr. Manag. 2(4): 247-261 (2007)- [j23]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about interaction protocols for customizing web service selection and composition. J. Log. Algebraic Methods Program. 70(1): 53-73 (2007) - [c59]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Service selection by choreography-driven matching. WEWST 2007 - [c58]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Service selection by choreography-driven matching. WEWST@ECOWS (Final Proceedings) 2007: 5-22 - [c57]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426 - [c56]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139 - 2006
- [c54]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351 - [c53]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77 - [c52]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Conformance and Interoperability in Open Enviroments. WOA 2006 - 2005
- [c51]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability. CLIMA 2005: 265-283 - [c50]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. EPEW/WS-FM 2005: 257-271 - [c48]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
- [j20]Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano:
Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. 41(2-4): 207-257 (2004) - [c46]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA 2004: 196-212 - [c45]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 - [c42]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning About Interaction Protocols for Web Service Composition. WSFM 2004: 21-36 - [e1]Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini:
WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November - 1 December 2004, Torino, Italy. Pitagora Editrice Bologna 2004, ISBN 88-371-1533-4 [contents] - 2003
- [c40]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311 - [c39]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241 - [c37]Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti:
Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98 - [c36]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35 - 2001
- [c34]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti:
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425 - 1998
- [j16]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. J. Log. Comput. 8(5): 597-635 (1998) - [c32]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59 - 1996
- [c31]Matteo Baldoni, Laura Giordano, Alberto Martelli:
Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33 - [c29]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Framework for a Modal Logic Programming. JICSLP 1996: 52-66 - [c28]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti:
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150 - 1994
- [c26]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335 - [c25]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - 1993
- [c22]Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487
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.
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.
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.
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-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
