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
https://portal.mardi4nfdi.de/entity/Q2844044	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Alberti