arrow
返回
G

Giuseppe De Giacomo

Rice University

65H指数
468论文数
1.7W被引数
收录论文 24
发表时间
Agentic Business Process Management: A research manifesto代理型业务流程管理:一项研究宣言
err2026-04-17
err0
PREAI
errDiego Calvanese; Angelo Casciani; Giuseppe De Giacomo; Marlon Dumas; Fabiana Fournier; Timotheus Kampik; Emanuele La Malfa; Lior Limonad; Andrea Marrella; Andreas Metzger; Marco Montali; Daniel Amyot; Peter Fettke; Artem Polyvyanyy; Stefanie Rinderle-Ma; Sebastian Sardiña; Niek Tax; Barbara Weber
err分享
err收藏
Engineering an LTLf Synthesis Tool构建LTLf合成工具
err2026-01-01
err0
PREAI
errDuret-Lutz, Alexandre; Zhu, Shufang; Piterman, Nir; De Giacomo, Giuseppe; Vardi, Moshe Y.
err分享
err收藏
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic在纯过去线性时序逻辑中规划时间扩展目标
err2025-09-08
err0
errOAAI
errLuigi Bonassi; Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti; Alfonso Emilio Gerevini; Enrico Scala
err分享
err收藏
Abstracting Situation Calculus Action Theories抽象情境演算动作理论
err2025-09-01
err0
PREAI
errBita Banihashemi; Giuseppe De Giacomo; Yves Lespérance
err分享
err收藏
err分享
err收藏
Orchestration of Services in Smart Manufacturing Through Automated Synthesis
err2024-11-01
err0
errOAAI
errMonti, Flavia; Silo, Luciana; Favorito, Marco; De Giacomo, Giuseppe; Leotta, Francesco; Mecella, Massimo
err分享
err收藏
Regular decision processes
err2024-06-01
err0
PREAI
errBrafman, Ronen I.; De Giacomo, Giuseppe
err分享
err收藏
Temporally extended goal recognition in fully observable non-deterministic domain models
err2023-12-14
err1
errOAAI
errPereira, Ramon Fraga; Fuggitti, Francesco; Meneguzzi, Felipe; De Giacomo, Giuseppe
err分享
err收藏
Digital twin composition in smart manufacturing via Markov decision processes
err2023-08-01
err22
errOAAI
errDe Giacomo, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana
err分享
err收藏
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
err2022-07-28
err13
errOAAI
errDe Giacomo, Giuseppe; De Masellis, Riccardo; Maggi, Fabrizio Maria; Montali, Marco
err分享
err收藏
Measuring the interestingness of temporal logic behavioral specifications in process mining
err2022-07-01
err9
errOAAI
errCecconi, Alessio; De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Mendling, Jan
err分享
err收藏
Situation calculus for controller synthesis in manufacturing systems with first-order state representation
err2022-01-01
err4
errOAAI
errDe Giacomo, Giuseppe; Felli, Paolo; Logan, Brian; Patrizi, Fabio; Sardina, Sebastian
err分享
err收藏
err分享
err收藏
Bounded situation calculus action theories
err2016-08-01
err22
errOAAI
errDe Giacomo, Giuseppe; Lesperance, Yves; Patrizi, Fabio
err分享
err收藏
Agent planning programs代理计划方案
err2016-02-01
err12
errOAAI
errDe Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian
err分享
err收藏
Automatic behavior composition synthesis
err2013-03-01
err50
errOAAI
errDe Giacomo, Giuseppe; Patrizi, Fabio; Sardina, Sebastian
err分享
err收藏
Data complexity of query answering in description logics
err2013-02-01
err79
errOAAI
errCalvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
err分享
err收藏
The MASTRO system for ontology-based data access
err2011-01-01
err144
PREAI
errCalvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio
err分享
err收藏
Inconsistency tolerance in P2P data integration: An epistemic logic approach
err2008-06-01
err17
errOAAI
errCalvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
err分享
err收藏