Marco Alberti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
11
Active years
2002–2017
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ILP | A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. | Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese |
| 2016 | ILP | Probabilistic Constraint Logic Theories. | Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese |
| 2012 | AAMAS | Normative systems require hybrid knowledge bases. | Marco Alberti, Matthias Knorr, Ana Sofia Gomes, Joo Leite, Ricardo Gonalves, Martin Slota |
| 2010 | CPAIOR | Observation Strategies for Event Detection with Incidence on Runtime Verification. | Marco Alberti, Pierangelo Dell'Acqua, Lus Moniz Pereira |
| 2010 | ICLP | Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. | Marco Alberti, Marco Gavanelli, Evelina Lamma |
| 2009 | ICLP | Integration of Abductive Reasoning and Constraint Optimization in SCIFF. | Marco Gavanelli, Marco Alberti, Evelina Lamma |
| 2009 | ICWS | Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. | Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni |
| 2008 | ECAI | Integrating Abduction and Constraint Optimization in Constraint Handling Rules. | Marco Gavanelli, Marco Alberti, Evelina Lamma |
| 2008 | ICLP | Verification from Declarative Specifications Using Logic Programming. | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2006 | ISMIS | A Verifiable Logic-Based Agent Architecture. | Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2006 | PPDP | An abductive framework for a-priori verification of web services. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
| 2005 | IJCAI | Abduction with Hypotheses Confirmation. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
| 2004 | SAC | Specification and verification of agent interaction protocols in a logic-based system. | Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2004 | WETICE | A Logic based Approach to Interaction Design in Open Multi-Agent Systems. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni |
| 2002 | ECAI | Synthesis of Object Models from Partial Models: A CSP Perspective. | Marco Alberti, Evelina Lamma |