Marco Alberti

From MaRDI portal
Person:421473

Available identifiers

zbMath Open alberti.marcoMaRDI QIDQ421473

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61822262024-01-23Paper
Dischargeable Obligations in Abductive Logic Programming2022-07-01Paper
Probabilistic inductive constraint logic2021-11-24Paper
Dischargeable Obligations in the 𝒮CIFF Framework2021-05-20Paper
MAP Inference for Probabilistic Logic Programming2020-12-13Paper
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics2020-02-10Paper
Verifiable agent interaction in abductive logic programming2017-07-12Paper
Specification and verification of agent interaction using social integrity constraints2013-08-27Paper
Deon  + : Abduction and Constraints for Normative Reasoning2012-07-23Paper
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation2012-05-23Paper
Runtime addition of integrity constraints in an abductive proof procedure2012-05-11Paper
Normative Systems Represented as Hybrid Knowledge Bases2011-09-16Paper
https://portal.mardi4nfdi.de/entity/Q30058942011-06-10Paper
AI*IA 2003: Advances in Artificial Intelligence2010-03-05Paper
Integration of Abductive Reasoning and Constraint Optimization in SCIFF2009-07-24Paper
Specification and Verification of Agent Interaction Using Abductive Reasoning2009-04-28Paper
Verification from Declarative Specifications Using Logic Programming2009-01-22Paper
Mapping deontic operators to abductive expectations2006-10-16Paper
AI*IA 2005: Advances in Artificial Intelligence2006-06-27Paper
A CHR-based implementation of known arc-consistency2005-10-18Paper
Global Computing2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q48134432004-08-13Paper

Research outcomes over time

This page was built for person: Marco Alberti