Marco Alberti

zbMath Openalberti.marcoMaRDI QIDQ421473

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 AI*IA 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
AI*IA 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