Marco Alberti

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 16

Top Topics

Logic Programming

Top Venues

Fundam. Informaticae

Publications

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)
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. ICLP Technical Communications / Doctoral Consortium (2022)
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma
Probabilistic inductive constraint logic. Mach. Learn. 110 (4) (2021)
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
MAP Inference for Probabilistic Logic Programming. CoRR (2020)
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
MAP Inference for Probabilistic Logic Programming. Theory Pract. Log. Program. 20 (5) (2020)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
CIFF Framework. Fundam. Informaticae 176 (3-4) (2020)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Accountable Protocols in Abductive Logic Programming. CILC (2019)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. 18 (4) (2018)
Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
cplint on SWISH: Probabilistic Logical Inference with a Web Browser. Intelligenza Artificiale 11 (1) (2017)
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. PLP@ILP (2017)
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC (2017)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Dischargeable Obligations in Abductive Logic Programming. RuleML+RR (2017)
Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Probabilistic Constraint Logic Theories. PLP@ILP (2016)
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. AI*IA (2016)
Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
Probabilistic Logical Inference on the Web. AI*IA (2016)
Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota
Probabilistic Logic Programming for Natural Language Processing. URANIA@AI*IA (2016)
Stefano Balbi, Carlo Giupponi, Pascal Perez, Marco Alberti
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 (2013)
Marco Alberti, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae 124 (4) (2013)
Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
Normative systems require hybrid knowledge bases. AAMAS (2012)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action (2012)
Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE. SASO Workshops (2012)
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) (2011)
Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. 62 (3-4) (2011)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5 (1) (2011)
Gregory R. Wheeler, Marco Alberti
NO Revision and NO Contraction. Minds Mach. 21 (3) (2011)
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA (2011)
Marco Alberti, Marco Gavanelli, Evelina Lamma
The CHR-based Implementation of the SCIFF Abductive System. CILC (2011)
Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira
Observation Strategies for Event Detection with Incidence on Runtime Verification. RCRA@CPAIOR (2010)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Runtime Addition of Integrity Constraints in SCIFF. CILC (2010)
Marco Alberti, Marco Gavanelli, Evelina Lamma
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) (2010)
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) (2010)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP (2009)
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)
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Verification from Declarative Specifications Using Logic Programming. ICLP (2008)
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) (2008)
Marco Gavanelli, Marco Alberti, Evelina Lamma
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI (2008)
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) (2008)
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)
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma
Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP (2008)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
Web Service Contracting: Specification and Reasoning with SCIFF. ESWC (2007)
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)
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)
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)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
A Verifiable Logic-Based Agent Architecture. ISMIS (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
An abductive framework for a-priori verification of web services. PPDP (2006)
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) (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory 12 (2-3) (2006)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
Tool. WS-FM (2006)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
Policy-based Reasoning for Smart Web Service Interaction. SWAP (2006)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. 5 (4-5) (2005)
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)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Abduction with Hypotheses Confirmation. IJCAI (2005)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
Mapping of Deontic Operators to Abductive Expectations. NORMAS (2005)
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)
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
Protocol Specification and Verification by Using Computational Logic. WOA (2005)
Marco Alberti, Federico Chesani
The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale 2 (3) (2005)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW (2005)
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) (2005)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
CIFF Abductive Proof-Procedure. AI*IA (2005)
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)
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
Specification and verification of agent interaction protocols in a logic-based system. SAC (2004)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
A CHR-based Implementation of Known Arc-Consistency CoRR (2004)
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)
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)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Specification and Verification of Agent Interaction using Social Integrity Constraints. Electron. Notes Theor. Comput. Sci. 85 (2) (2004)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT (2003)
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
An Abductive Interpretation for Open Agent Societies. AI*IA (2003)
Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
A Social ACL Semantics by Deontic Constraints. CEEMAS (2003)
Marco Alberti, Evelina Lamma
Synthesis of Object Models from Partial Models: A CSP Perspective. ECAI (2002)