Marco Alberti - RankMe

73 papers A* 1A 4B 4C 3Misc 1Journal 23Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A semantics for probabilistic hybrid knowledge bases with function symbols. Artif. Intell. Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2023	—	`conf`	Machine learning for recognition of individuals from motion capture time series: performance and explainability. Ital-IA Elena Mariolina Galdi, Marco Alberti, Alessandro D'Ausilio, Alice Tomassini
2022	—	`conf`	An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. ICLP Technical Communications / Doctoral Consortium Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, Evelina Lamma
2022	—	`conf`	Why Can Neural Networks Recognize Us by Our Finger Movements? AI*IA Elena Mariolina Galdi, Marco Alberti, Alessandro D'Ausilio, Alice Tomassini
2021	J	`jnl`	Probabilistic inductive constraint logic. Mach. Learn. Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma
2020	J	`jnl`	Dischargeable Obligations in the Fundam. Informaticae Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, Riccardo Zese
2020	J	`jnl`	MAP Inference for Probabilistic Logic Programming. CoRR Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
2020	J	`jnl`	MAP Inference for Probabilistic Logic Programming. Theory Pract. Log. Program. Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
2019	—	`conf`	Accountable Protocols in Abductive Logic Programming. CILC Marco Gavanelli, Marco Alberti, Evelina Lamma
2018	J	`jnl`	Accountable Protocols in Abductive Logic Programming. ACM Trans. Internet Techn. Marco Gavanelli, Marco Alberti, Evelina Lamma
2017	—	`conf`	A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases. PLP@ILP Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017	B	`conf`	Dischargeable Obligations in Abductive Logic Programming. RuleML+RR Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017	—	`conf`	Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases. ICTCS/CILC Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2017	J	`jnl`	cplint on SWISH: Probabilistic Logical Inference with a Web Browser. Intelligenza Artificiale Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
2016	—	`conf`	Probabilistic Constraint Logic Theories. PLP@ILP Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016	—	`conf`	Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics. AI*IA Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016	—	`conf`	Probabilistic Logic Programming for Natural Language Processing. URANIA@AI*IA Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2016	—	`conf`	Probabilistic Logical Inference on the Web. AI*IA Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
2013	J	`jnl`	A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination. Environ. Model. Softw. Stefano Balbi, Carlo Giupponi, Pascal Perez, Marco Alberti
2013	J	`jnl`	The CHR-based Implementation of the SCIFF Abductive System. Fundam. Informaticae Marco Alberti, Marco Gavanelli, Evelina Lamma
2012	—	`conf`	Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action Marco Alberti, Marco Gavanelli, Evelina Lamma
2012	A	`conf`	Normative systems require hybrid knowledge bases. AAMAS Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
2012	—	`conf`	Towards the Analysis & Prediction of Complex System Behaviour in SAPERE. SASO Workshops Marco Alberti, Andrea Omicini
2011	J	`jnl`	A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Serv. Res. Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2011	J	`jnl`	Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2011	J	`jnl`	NO Revision and NO Contraction. Minds Mach. Gregory R. Wheeler, Marco Alberti
2011	—	`conf`	Normative Systems Represented as Hybrid Knowledge Bases. CLIMA Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
2011	J	`jnl`	Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira
2011	—	`conf`	The CHR-based Implementation of the SCIFF Abductive System. CILC Marco Alberti, Marco Gavanelli, Evelina Lamma
2010	J	`jnl`	Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Informaticae Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma
2010	—	`conf`	Observation Strategies for Event Detection with Incidence on Runtime Verification. RCRA@CPAIOR Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira
2010	—	`conf`	Runtime Addition of Integrity Constraints in SCIFF. CILC Marco Alberti, Marco Gavanelli, Evelina Lamma
2010	—	`conf`	Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) Marco Alberti, Marco Gavanelli, Evelina Lamma
2009	A	`conf`	Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni
2009	B	`conf`	Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP Marco Gavanelli, Marco Alberti, Evelina Lamma
2009	—	`ch.`	Modelling Interactions via Commitments and Expectations. Handbook of Research on Multi-Agent Systems Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2008	—	`conf`	Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma
2008	J	`jnl`	Expressing and Verifying Business Contracts with Abductive Logic Programming. Int. J. Electron. Commer. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2008	—	`conf`	Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. Il Milione Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari
2008	A	`conf`	Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI Marco Gavanelli, Marco Alberti, Evelina Lamma
2008	J	`jnl`	Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2008	B	`conf`	Verification from Declarative Specifications Using Logic Programming. ICLP Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2007	—	`conf`	A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. RR Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007	—	`conf`	Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2007	J	`jnl`	Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2007	B	`conf`	Web Service Contracting: Specification and Reasoning with SCIFF. ESWC Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
2006	C	`conf`	A Verifiable Logic-Based Agent Architecture. ISMIS Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2006	C	`conf`	An abductive framework for a-priori verification of web services. PPDP Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
2006	J	`jnl`	Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2006	—	`conf`	Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the WS-FM Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
2006	J	`jnl`	Mapping deontic operators to abductive expectations. Comput. Math. Organ. Theory Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2006	—	`conf`	Policy-based Reasoning for Smart Web Service Interaction. SWAP Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
2005	J	`jnl`	A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2005	—	`—`	A computational logic-based system for specification and verification of agent interaction. Marco Alberti
2005	A*	`conf`	Abduction with Hypotheses Confirmation. IJCAI Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
2005	J	`jnl`	Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	Mapping of Deontic Operators to Abductive Expectations. NORMAS Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor
2005	—	`conf`	Protocol Specification and Verification by Using Computational Logic. WOA Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
2005	—	`conf`	Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	The AI*IA Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2005	—	`conf`	The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
2005	J	`jnl`	The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale Marco Alberti, Federico Chesani
2004	J	`jnl`	A CHR-based Implementation of Known Arc-Consistency CoRR Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
2004	C	`conf`	A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
2004	Misc	`conf`	Specification and verification of agent interaction protocols in a logic-based system. SAC Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
2004	—	`conf`	The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	A Social ACL Semantics by Deontic Constraints. CEEMAS Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	An Abductive Interpretation for Open Agent Societies. AI*IA Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2003	—	`conf`	Specification and Verification of Agent Interaction using Social Integrity Constraints. LCMAS Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
2002	A	`conf`	Synthesis of Object Models from Partial Models: A CSP Perspective. ECAI Marco Alberti, Evelina Lamma