Federico Chesani

Available identifiers

zbMath Open chesani.federicoMaRDI QIDQ2694615

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
Evaluating Compliance: From LTL to Abductive Logic Programming	2018-05-03	Paper
Verifiable agent interaction in abductive logic programming	2017-07-12	Paper
Reactive Event Calculus for Monitoring Global Computing Applications	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3005894	2011-06-10	Paper
A Logic-Based, Reactive Calculus of Events	2011-03-28	Paper
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework	2010-09-14	Paper
Social Commitments in Time: Satisfied or Compensated	2010-02-02	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
Logic Programming	2006-06-27	Paper
Global Computing	2005-08-19	Paper

Research outcomes over time

This page was built for person: Federico Chesani