The following pages link to Chiara Ghidini (Q1686335):
Displaying 19 items.
- (Q198047) (redirect page) (← links)
- Distributed first order logic (Q1686336) (← links)
- Optimising business process discovery using answer set programming (Q2694620) (← links)
- (Q2782484) (← links)
- Bounded-Resource Reasoning as (Strong or Classical) Planning (Q3393381) (← links)
- Mapping Properties of Heterogeneous Ontologies (Q3534659) (← links)
- (Q3616092) (← links)
- (Q4473399) (← links)
- (Q4524508) (← links)
- (Q4524509) (← links)
- (Q4535644) (← links)
- Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning* (Q4686515) (← links)
- Contextual reasoning distilled (Q4784279) (← links)
- (Q4941942) (← links)
- (Q4941943) (← links)
- (Q5324176) (← links)
- (Q5324177) (← links)
- Verifying Space and Time Requirements for Resource-Bounded Agents (Q5423880) (← links)
- Local Models Semantics, or contextual reasoning = locality + compatibility (Q5941211) (← links)