arrow
返回
S

Sebastian Sardiña

机构信息待补充

22H指数
126论文数
1.8K被引数
收录论文 12
发表时间
Formal semantics for knowledge representation and automated reasoning BPMN process models知识表示与BPMN过程模型的自动推理的形式语义
err2026-05-23
err1
errOAAI
errCasciani, Angelo; Agostinelli, Simone; Lesperance, Yves; Marrella, Andrea; Sardina, Sebastian
err分享
err收藏
Process mining over sensor data: Goal recognition for powered transhumeral prostheses
err2025-07-01
err0
PREAI
errSu, Zihang; Yu, Tianshi; Polyvyanyy, Artem; Tan, Ying; Lipovetzky, Nir; Sardina, Sebastian; van Beest, Nick; Mohammadi, Alireza; Oetomo, Denny
err分享
err收藏
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收藏
Compositional Supervisory Control via Reactive Synthesis and Automated Planning
err2020-08-01
err4
PREAI
errCiolek, Daniel Alfredo; Braberman, Victor; D'Ippolito, Nicolas; Sardina, Sebastian; Uchitel, Sebastian
err分享
err收藏
Supervisory Control for Behavior Composition
err2017-02-01
err9
errOAAI
errFelli, Paolo; Yadav, Nitin; Sardina, Sebastian
err分享
err收藏
Intelligent Process Adaptation in the SmartPM System
err2016-11-02
err44
PREAI
errMarrella, Andrea; Mecella, Massimo; Sardina, Sebastian
err分享
err收藏
Agent planning programs代理计划方案
err2016-02-01
err12
errOAAI
errDe Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian
err分享
err收藏
err分享
err收藏
Automatic behavior composition synthesis
err2013-03-01
err50
errOAAI
errDe Giacomo, Giuseppe; Patrizi, Fabio; Sardina, Sebastian
err分享
err收藏