default search action
Marco Alberti 0001
Person information
- affiliation: University of Ferrara, Department of Mathematics and Computer Science, Italy
- affiliation: Universidade Nova de Lisboa, Lisbon, Portugal
Other persons with the same name
- Marco Alberti 0002
— University of Brescia, Department of Mechanical and Industrial Engineering, Italy
- Marco Alberti 0003 — Stagend, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c47]Elena Mariolina Galdi, Marco Alberti, Alessandro D'Ausilio, Alice Tomassini:
Machine learning for recognition of individuals from motion capture time series: performance and explainability. Ital-IA 2023: 365-370 - 2022
- [c46]Elena Mariolina Galdi, Marco Alberti, Alessandro D'Ausilio, Alice Tomassini:
Why Can Neural Networks Recognize Us by Our Finger Movements? AI*IA 2022: 327-341 - [c45]Marco Alberti
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. ICLP Technical Communications / Doctoral Consortium 2022: 65-78 - 2021
- [j20]Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
Probabilistic inductive constraint logic. Mach. Learn. 110(4): 723-754 (2021) - 2020
- [j19]Marco Alberti
Dischargeable Obligations in the 𝒮CIFF Framework. Fundam. Informaticae 176(3-4): 321-348 (2020) - [j18]Elena Bellodi, Marco Alberti
MAP Inference for Probabilistic Logic Programming. Theory Pract. Log. Program. 20(5): 641-655 (2020) - [i3]Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese:
MAP Inference for Probabilistic Logic Programming. CoRR abs/2008.01394 (2020)
2010 – 2019
- 2019
- [c44]Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. CILC 2019 - 2018
- [j17]Marco Gavanelli
Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. 18(4): 46:1-46:20 (2018) - 2017
- [j16]Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi
cplint on SWISH: Probabilistic Logical Inference with a Web Browser. Intelligenza Artificiale 11(1): 47-64 (2017) - [c43]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC 2017: 248-261 - [c42]Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. PLP@ILP 2017: 40-50 - [c41]Marco Alberti
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR 2017: 7-21 - 2016
- [c40]Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota:
Probabilistic Logic Programming for Natural Language Processing. URANIA@AI*IA 2016: 30-37 - [c39]Marco Alberti
Probabilistic Logical Inference on the Web. AI*IA 2016: 351-363 - [c38]Marco Alberti
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. AI*IA 2016: 364-376 - [c37]Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese:
Probabilistic Constraint Logic Theories. PLP@ILP 2016: 15-28 - 2013
- [j15]Stefano Balbi
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination. Environ. Model. Softw. 45: 29-51 (2013) - [j14]Marco Alberti
The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae 124(4): 365-381 (2013) - 2012
- [c36]Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota:
Normative systems require hybrid knowledge bases. AAMAS 2012: 1425-1426 - [c35]Marco Alberti
Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action 2012: 308-328 - [c34]Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE. SASO Workshops 2012: 193-198 - 2011
- [j13]Marco Alberti
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. 62(3-4): 161-186 (2011) - [j12]Marco Alberti, Marco Gavanelli
Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5(1): 71-75 (2011) - [j11]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) - [j10]Gregory R. Wheeler, Marco Alberti
NO Revision and NO Contraction. Minds Mach. 21(3): 411-430 (2011) - [c33]Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. CILC 2011: 163-177 - [c32]Marco Alberti
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346 - 2010
- [j9]Marco Montali
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae 102(3-4): 325-361 (2010) - [c31]Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in SCIFF. CILC 2010 - [c30]Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira:
Observation Strategies for Event Detection with Incidence on Runtime Verification. RCRA@CPAIOR 2010 - [c29]Marco Alberti
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) 2010: 4-13
2000 – 2009
- 2009
- [c28]Marco Gavanelli
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401 - [c27]Marco Alberti
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261 - [p1]Paolo Torroni
Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems 2009: 263-284 - 2008
- [j8]Marco Alberti
Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. 12(4): 9-38 (2008) - [j7]Marco Alberti
Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4): 29:1-29:43 (2008) - [c26]Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione 2008 - [c25]Marco Gavanelli
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904 - [c24]Marco Montali
Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454 - [c23]Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma:
Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP 2008 - 2007
- [j6]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) - [c22]Marco Alberti
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83 - [c21]Marco Alberti, Federico Chesani, Marco Gavanelli
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR 2007: 279-288 - [i2]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
- [j5]Marco Alberti
Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2-4): 133-157 (2006) - [j4]Marco Alberti
Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory 12(2-3): 205-225 (2006) - [c20]Marco Alberti, Federico Chesani, Marco Gavanelli
A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197 - [c19]Marco Alberti, Marco Gavanelli
An abductive framework for a-priori verification of web services. PPDP 2006: 39-50 - [c18]Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello:
Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006 - [c17]Marco Alberti, Federico Chesani, Marco Gavanelli
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. WS-FM 2006: 58-72 - 2005
- [b1]Marco Alberti:
A computational logic-based system for specification and verification of agent interaction. University of Ferrara, Italy, 2005 - [j3]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) - [j2]Marco Alberti, Federico Chesani:
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale 2(3): 45-51 (2005) - [j1]Marco Alberti
A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. 5(4-5): 419-440 (2005) - [c16]Marco Alberti
The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147 - [c15]Federico Chesani, Marco Gavanelli
Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264 - [c14]Marco Alberti
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124 - [c13]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546 - [c12]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor:
Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136 - [c11]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 - [c10]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 - [c9]Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari:
Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192 - 2004
- [c8]Marco Alberti, Federico Chesani, Marco Gavanelli
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339 - [c7]Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli
Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78 - [c6]Marco Alberti, Marco Gavanelli
A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392 - [i1]Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
A CHR-based Implementation of Known Arc-Consistency. CoRR cs.LO/0408056 (2004) - 2003
- [c5]Marco Alberti, Marco Gavanelli
An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299 - [c4]Marco Alberti, Anna Ciampolini, Marco Gavanelli
A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213 - [c3]Marco Alberti, Marco Gavanelli
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262 - [c2]Marco Alberti
Specification and Verification of Agent Interaction using Social Integrity Constraints. LCMAS 2003: 94-116 - 2002
- [c1]Marco Alberti, Evelina Lamma:
Synthesis of Object Models from Partial Models: A CSP Perspective. ECAI 2002: 116-120
Coauthor Index
[c45] [j20] [j19] [c44] [j17] [c43] [c42] [c41] [c40] [c38] [c37] [j14] [c35] [j12] [j11] [c33] [j9] [c31] [c29] [c28] [c27] [p1] [j8] [j7] [c26] [c25] [c24] [c23] [j6] [c22] [c21] [i2] [j5] [j4] [c20] [c19] [c18] [c17] [j3] [j1] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c8] [c7] [c6] [i1] [c5] [c4] [c3] [c2] [c1]
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 2024-04-24 23:15 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: