Marco Alberti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Rules and Reasoning	2022-07-01	Paper
Probabilistic inductive constraint logic Machine Learning	2021-11-24	Paper
Dischargeable obligations in the \(\mathcal{S}\)CIFF framework Fundamenta Informaticae	2021-05-20	Paper
MAP inference for probabilistic logic programming Theory and Practice of Logic Programming	2020-12-13	Paper
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics AIIA 2016 Advances in Artificial Intelligence*	2020-02-10	Paper
Verifiable agent interaction in abductive logic programming: the SCIFF framework ACM Transactions on Computational Logic	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 Logic Programs, Norms and Action	2012-07-23	Paper
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation Annals of Mathematics and Artificial Intelligence	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 Lecture Notes in Computer Science	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 Lecture Notes in Computer Science	2010-03-05	Paper
Integration of Abductive Reasoning and Constraint Optimization in SCIFF Logic Programming	2009-07-24	Paper
Specification and Verification of Agent Interaction Using Abductive Reasoning Lecture Notes in Computer Science	2009-04-28	Paper
Verification from Declarative Specifications Using Logic Programming Logic Programming	2009-01-22	Paper
Mapping deontic operators to abductive expectations Computational & Mathematical Organization Theory	2006-10-16	Paper
AIIA 2005: Advances in Artificial Intelligence Lecture Notes in Computer Science*	2006-06-27	Paper
A CHR-based implementation of known arc-consistency Theory and Practice of Logic Programming	2005-10-18	Paper
Global Computing Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2090883 (Why is no real title available?)	2004-08-13	Paper

Research outcomes over time

This page was built for person: Marco Alberti