Marco Alberti

Available identifiers

zbMath Open alberti.marcoMaRDI QIDQ421473

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6182226	2024-01-23	Paper
Dischargeable Obligations in Abductive Logic Programming	2022-07-01	Paper
Probabilistic inductive constraint logic	2021-11-24	Paper
Dischargeable Obligations in the 𝒮CIFF Framework	2021-05-20	Paper
MAP Inference for Probabilistic Logic Programming	2020-12-13	Paper
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics	2020-02-10	Paper
Verifiable agent interaction in abductive logic programming	2017-07-12	Paper
Specification and verification of agent interaction using social integrity constraints	2013-08-27	Paper
Deon  + : Abduction and Constraints for Normative Reasoning	2012-07-23	Paper
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation	2012-05-23	Paper
Runtime addition of integrity constraints in an abductive proof procedure	2012-05-11	Paper
Normative Systems Represented as Hybrid Knowledge Bases	2011-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3005894	2011-06-10	Paper
AI*IA 2003: Advances in Artificial Intelligence	2010-03-05	Paper
Integration of Abductive Reasoning and Constraint Optimization in SCIFF	2009-07-24	Paper
Specification and Verification of Agent Interaction Using Abductive Reasoning	2009-04-28	Paper
Verification from Declarative Specifications Using Logic Programming	2009-01-22	Paper
Mapping deontic operators to abductive expectations	2006-10-16	Paper
AI*IA 2005: Advances in Artificial Intelligence	2006-06-27	Paper
A CHR-based implementation of known arc-consistency	2005-10-18	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4813443	2004-08-13	Paper

Research outcomes over time

This page was built for person: Marco Alberti