Остановите войну!
for scientists:
default search action
Federico Chesani
- > Home > Persons > Federico Chesani
Publications
- 2020
- [j29]Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling. Eng. Appl. Artif. Intell. 95: 103861 (2020) - 2018
- [j22]Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali:
Evaluating Compliance: From LTL to Abductive Logic Programming. Fundam. Informaticae 159(1-2): 35-63 (2018) - [c56]Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. CILC 2018: 117-131 - 2015
- [c45]Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Evaluating compliance: from LTL to abductive logic programming. CILC 2015: 101-116 - 2011
- [j13]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. 8(3): 1-25 (2011) - 2010
- [j12]Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma:
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae 102(3-4): 325-361 (2010) - 2009
- [j8]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. Trans. Petri Nets Other Model. Concurr. 2: 278-295 (2009) - [c25]Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni:
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261 - [p3]Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems 2009: 263-284 - 2008
- [j7]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12(4): 9-38 (2008) - [j6]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4): 29:1-29:43 (2008) - [c20]Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454 - [p1]Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paola Baldazzi, Marilena Manfredi:
Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. Computer-based Medical Guidelines and Protocols 2008: 183-192 - 2007
- [j4]Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8(1) (2007) - [c15]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83 - [c14]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288 - [i1]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007 - 2006
- [j3]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2-4): 133-157 (2006) - [c13]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197 - [c11]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali:
An abductive framework for a-priori verification of web services. PPDP 2006: 39-50 - [c10]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006 - [c9]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni:
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72 - 2005
- [j2]Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni:
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005) - [c8]Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264 - [c7]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124 - [c5]Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP 2005: 53-64 - [c4]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP 2005: 111-122 - 2004
- [c2]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339 - [c1]Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni:
A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392
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.
Reference lists
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.
Citation data
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.
OpenAlex data
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 2023-11-02 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint