Marco Alberti

Available identifiers

zbMath Open alberti.marcoMaRDI QIDQ421473

List of research outcomes

Publication	Date of Publication	Type
An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols	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 \(\mathcal{S}\)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: the SCIFF framework	2017-07-12	Paper
Specification and verification of agent interaction using social integrity constraints	2013-08-27	Paper
\(\mathit{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
Abductive logic programming as an effective technology for the static verification of declarative business processes	2011-06-10	Paper
An abductive interpretation for open agent societies	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