Person:1686335

Available identifiers

zbMath Open ghidini.chiaraDBLP45/1110WikidataQ57301840 ScholiaQ57301840MaRDI QIDQ1686335

List of research outcomes

Publication	Date of Publication	Type
Optimising business process discovery using answer set programming	2023-04-04	Paper
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*	2018-10-02	Paper
Distributed first order logic	2017-12-22	Paper
Bounded-Resource Reasoning as (Strong or Classical) Planning	2009-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q5324176	2009-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5324177	2009-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q3616092	2009-03-24	Paper
Mapping Properties of Heterogeneous Ontologies	2008-11-04	Paper
Verifying Space and Time Requirements for Resource-Bounded Agents	2007-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4473399	2004-08-04	Paper
Contextual reasoning distilled	2003-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q2782484	2002-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4535644	2002-06-16	Paper
Local Models Semantics, or contextual reasoning = locality + compatibility	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4524509	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4524508	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4941942	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4941943	2000-09-05	Paper

Research outcomes over time

This page was built for person: Chiara Ghidini