Chiara Ghidini

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

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: Chiara Ghidini