Marco Gavanelli

Available identifiers

zbMath Open gavanelli.marcoDBLP15/5240WikidataQ62056510 ScholiaQ62056510MaRDI QIDQ222875

List of research outcomes

Publication	Date of Publication	Type
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming	2024-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q6060092	2023-11-02	Paper
Dischargeable Obligations in Abductive Logic Programming	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5079779	2022-05-28	Paper
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints	2022-01-10	Paper
Branching interval algebra: an almost complete picture	2021-11-25	Paper
Dischargeable Obligations in the 𝒮CIFF Framework	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4631194	2019-04-24	Paper
Reasoning on Datalog± Ontologies with Abductive Logic Programming	2018-05-03	Paper
Evaluating Compliance: From LTL to Abductive Logic Programming	2018-05-03	Paper
A network model for routing-fault-free wavelength selection in WRONoCs design	2018-04-11	Paper
Scheduling countermeasures to contamination events by genetic algorithms	2017-11-07	Paper
Verifiable agent interaction in abductive logic programming	2017-07-12	Paper
An ASP approach for the valves positioning optimization in a water distribution system	2015-12-28	Paper
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit	2014-02-25	Paper
Specification and verification of agent interaction using social integrity constraints	2013-08-27	Paper
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events	2012-10-18	Paper
Deon  + : Abduction and Constraints for Normative Reasoning	2012-07-23	Paper
Runtime addition of integrity constraints in an abductive proof procedure	2012-05-11	Paper
Optimal placement of valves in a water distribution network with CLP(FD)	2011-08-16	Paper
Logic–based decision support for strategic environmental assessment	2010-08-19	Paper
Constraint Logic Programming	2010-07-20	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
The Log-Support Encoding of CSP into SAT	2008-09-02	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
Computational Logic in Multi-Agent Systems	2005-08-19	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4813443	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4737133	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4475693	2004-08-09	Paper
From eager or lazy constrained data acquisition: A general framework	2002-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4499253	2001-03-05	Paper

Research outcomes over time

This page was built for person: Marco Gavanelli