Formal semantics for knowledge representation and automated reasoning in BPMN process models.

Sebastian Sardiña Royal Melbourne Institute of Technology, Australia https://orcid.org/0000-0003-2962-0118 https://www.wikidata.org/entity/Q102348088 https://id.loc.gov/authorities/names/nb2009020514 https://mathgenealogy.org/id.php?id=132628

Angelo Casciani Simone Agostinelli Yves Lespérance Andrea Marrella Sebastian Sardiña Formal semantics for knowledge representation and automated reasoning in BPMN process models. 2026 102718 140 Inf. Syst. https://doi.org/10.1016/j.is.2026.102718 db/journals/is/is140.html#CascianiALMS26 streams/journals/is

Diego 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 Agentic Business Process Management: A research manifesto. 2026 102738 140 Inf. Syst. https://doi.org/10.1016/j.is.2026.102738 db/journals/is/is140.html#CalvaneseCGDFKMLMMMAFPR26 streams/journals/is

Giacomo Rosa Jean Honorio Nir Lipovetzky Sebastian Sardiña Planning as Goal Recognition: Deriving Heuristics from Intention Models - Extended Version. 2026 March abs/2603.14824 CoRR https://doi.org/10.48550/arXiv.2603.14824 db/journals/corr/corr2603.html#abs-2603-14824 streams/journals/corr

Diego 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 Agentic Business Process Management: A Research Manifesto. 2026 March abs/2603.18916 CoRR https://doi.org/10.48550/arXiv.2603.18916 db/journals/corr/corr2603.html#abs-2603-18916 streams/journals/corr

Zihang Su Tianshi Yu Artem Polyvyanyy Ying Tan 0001 Nir Lipovetzky Sebastian Sardiña Nick van Beest Alireza Mohammadi 0002 Denny Oetomo Process mining over sensor data: Goal recognition for powered transhumeral prostheses. 102540 2025 132 Inf. Syst. https://doi.org/10.1016/j.is.2025.102540 db/journals/is/is132.html#SuYPTLSBMO25 streams/journals/is

Jiajia Song Seeun William Umboh Nir Lipovetzky Sebastian Sardiña On the Computational Complexity of Partial Satisfaction Planning. 4913-4920 2025 ECAI https://doi.org/10.3233/FAIA251402 conf/ecai/2025 db/conf/ecai/ecai2025.html#SongULS25 Daniel Harabor Nir Lipovetzky Miquel Ramírez Sebastian Sardiña Frontmatter. 2025 ICAPS https://doi.org/10.1609/icaps.v35i1.36956 conf/icaps/2025 db/conf/icaps/icaps2025.html#HaraborLRS25 Nitin Yadav Sebastian Sardiña Hector Geffner Agent Planning Programs as Non-deterministic Planning under Fairness. 358-366 2025 ICAPS https://doi.org/10.1609/icaps.v35i1.36138 conf/icaps/2025 db/conf/icaps/icaps2025.html#YadavSG25

Parthasarathy Nadarajan Michael Botsch Sebastian Sardiña Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. 2025 December abs/2512.12901 CoRR https://doi.org/10.48550/arXiv.2512.12901 db/journals/corr/corr2512.html#abs-2512-12901 streams/journals/corr

Parthasarathy Nadarajan Michael Botsch Sebastian Sardiña Machine Learning Architectures for the Estimation of Predicted Occupancy Grids in Road Traffic. 2025 December abs/2512.12907 CoRR https://doi.org/10.48550/arXiv.2512.12907 db/journals/corr/corr2512.html#abs-2512-12907 streams/journals/corr

Zihang Su Artem Polyvyanyy Nir Lipovetzky Sebastian Sardiña Nick van Beest Adaptive goal recognition using process mining techniques. 108189 2024 133 Eng. Appl. Artif. Intell. https://doi.org/10.1016/j.engappai.2024.108189 db/journals/eaai/eaai133.html#SuPLSB24

Zihang Su Artem Polyvyanyy Nir Lipovetzky Sebastian Sardiña Nick van Beest Fast and accurate data-driven goal recognition using process mining techniques. 103973 2023 October 323 Artif. Intell. https://doi.org/10.1016/j.artint.2023.103973 db/journals/ai/ai323.html#SuPLSB23

Nitin Yadav Sebastian Sardiña A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming. 2818-2825 2023 ECAI https://doi.org/10.3233/FAIA230593 conf/ecai/2023 db/conf/ecai/ecai2023.html#YadavS23 Zihang Su Tianshi Yu Nir Lipovetzky Alireza Mohammadi 0002 Denny Oetomo Artem Polyvyanyy Sebastian Sardiña Ying Tan 0001 Nick van Beest Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. 25-32 2023 ICPM https://doi.org/10.1109/ICPM60904.2023.10271945 conf/icpm/2023 db/conf/icpm/icpm2023.html#SuYLMOPSTB23 Parthasarathy Nadarajan Michael Botsch Sebastian Sardiña Continuous Probabilistic Motion Prediction Based on Latent Space Interpolation. 3796-3803 2023 ITSC https://doi.org/10.1109/ITSC57777.2023.10422685 conf/itsc/2023 db/conf/itsc/itsc2023.html#NadarajanBS23

Zihang Su Tianshi Yu Nir Lipovetzky Alireza Mohammadi 0002 Denny Oetomo Artem Polyvyanyy Sebastian Sardiña Ying Tan 0001 Nick van Beest Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques. 2023 abs/2309.08106 CoRR https://doi.org/10.48550/arXiv.2309.08106 db/journals/corr/corr2309.html#abs-2309-08106

Giuseppe De Giacomo Paolo Felli Brian Logan 0001 Fabio Patrizi Sebastian Sardiña Situation calculus for controller synthesis in manufacturing systems with first-order state representation. 103598 2022 302 Artif. Intell. https://doi.org/10.1016/j.artint.2021.103598 https://www.wikidata.org/entity/Q114016165 db/journals/ai/ai302.html#GiacomoFLPS22

Chee Beng Richard Ng Cees Bil Sebastian Sardiña Terry O'bree Designing an expert system to support aviation occurrence investigations. 117994 2022 207 Expert Syst. Appl. https://doi.org/10.1016/j.eswa.2022.117994 db/journals/eswa/eswa207.html#NgBSO22

Ivan D. Rodriguez Blai Bonet Sebastian Sardiña Hector Geffner Flexible FOND Planning with Explicit Fairness Assumptions. 2022 74 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.13599 https://www.wikidata.org/entity/Q114594307 db/journals/jair/jair74.html#RodriguezBSG22

Andres G. Jaramillo-Yanez Marco E. Benalcázar Sebastian Sardiña Fabio Zambetta Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces. 6996-7004 2022 AAAI https://doi.org/10.1609/aaai.v36i6.20658 conf/aaai/2022 db/conf/aaai/aaai2022.html#Jaramillo-Yanez22 Zihang Su Artem Polyvyanyy Nir Lipovetzky Sebastian Sardiña Nick van Beest GRACE: A Simulator for Continuous Goal Recognition over Changing Environments. 37-48 2022 PMAI@IJCAI https://ceur-ws.org/Vol-3310/paper4.pdf conf/ijcai/2022pmai db/conf/ijcai/pmai2022.html#SuPLSJ22 Giuseppe De Giacomo Paolo Felli Brian Logan 0001 Fabio Patrizi Sebastian Sardiña Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). 5722-5726 2022 IJCAI https://doi.org/10.24963/ijcai.2022/798 conf/ijcai/2022 db/conf/ijcai/ijcai2022.html#GiacomoF0PS22

Peta Masters Sebastian Sardiña Expecting the unexpected: Goal recognition for rational and irrational agents. 103490 2021 297 Artif. Intell. https://doi.org/10.1016/j.artint.2021.103490 db/journals/ai/ai297.html#MastersS21

Ivan D. Rodriguez Blai Bonet Sebastian Sardiña Hector Geffner Flexible FOND Planning with Explicit Fairness Assumptions. 290-298 2021 ICAPS https://ojs.aaai.org/index.php/ICAPS/article/view/15973 conf/aips/2021 db/conf/aips/icaps2021.html#RodriguezBSG21

Ivan D. Rodriguez Blai Bonet Sebastian Sardiña Hector Geffner Flexible FOND Planning with Explicit Fairness Assumptions. 2021 abs/2103.08391 CoRR https://arxiv.org/abs/2103.08391 db/journals/corr/corr2103.html#abs-2103-08391

Daniel Alfredo Ciolek Víctor A. Braberman Nicolás D'Ippolito Sebastian Sardiña Sebastián Uchitel Compositional Supervisory Control via Reactive Synthesis and Automated Planning. 3502-3516 2020 65 IEEE Trans. Autom. Control. 8 https://doi.org/10.1109/TAC.2019.2948270 db/journals/tac/tac65.html#CiolekBDSU20

Daniel Alfredo Ciolek Nicolás D'Ippolito Alberto Pozanco Sebastian Sardiña Multi-Tier Automated Planning for Adaptive Behavior. 66-74 2020 ICAPS https://ojs.aaai.org/index.php/ICAPS/article/view/6646 conf/aips/2020 db/conf/aips/icaps2020.html#CiolekDPS20 Artem Polyvyanyy Zihang Su Nir Lipovetzky Sebastian Sardiña Goal Recognition Using Off-The-Shelf Process Mining Techniques. 1072-1080 2020 AAMAS https://dl.acm.org/doi/10.5555/3398761.3398886 https://www.ifaamas.org/Proceedings/aamas2020/pdfs/p1072.pdf conf/atal/2020 db/conf/atal/aamas2020.html#PolyvyanyySLS20 Nitin Yadav Carsten Murawski Sebastian Sardiña Peter Bossaerts Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem. 498-505 2020 ECAI https://doi.org/10.3233/FAIA200131 conf/ecai/2020 db/conf/ecai/ecai2020.html#YadavMSB20 Max Waters Lin Padgham Sebastian Sardiña Optimising Partial-Order Plans Via Action Reinstantiation. 4143-4151 2020 IJCAI https://doi.org/10.24963/ijcai.2020/573 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#WatersPS20

Daniel Alfredo Ciolek Nicolás D'Ippolito Alberto Pozanco Sebastian Sardiña Multi-tier Automated Planning for Adaptive Behavior (Extended Version). 2020 abs/2002.12445 CoRR https://arxiv.org/abs/2002.12445 db/journals/corr/corr2002.html#abs-2002-12445

Peta Masters Sebastian Sardiña Cost-Based Goal Recognition in Navigational Domains. 197-242 2019 64 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.11343 db/journals/jair/jair64.html#MastersS19

Nir Lipovetzky Sebastian Sardiña Pacman Capture the Flag in AI Courses. 296-299 2019 11 IEEE Trans. Games 3 https://doi.org/10.1109/TG.2018.2871185 db/journals/tciaig/tciaig11.html#LipovetzkyS19

Lavindra de Silva Lin Padgham Sebastian Sardiña HTN-like solutions for classical planning problems: An application to BDI agent systems. 12-37 2019 763 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2019.01.034 https://www.wikidata.org/entity/Q128450605 db/journals/tcs/tcs763.html#SilvaPS19

Peta Masters Sebastian Sardiña Goal Recognition for Rational and Irrational Agents. 440-448 2019 AAMAS http://dl.acm.org/citation.cfm?id=3331725 conf/atal/2019 db/conf/atal/aamas2019.html#MastersS19

Andrea Marrella Massimo Mecella Sebastian Sardiña Supporting adaptiveness of cyber-physical processes through action-based formalisms. 47-74 2018 31 AI Commun. 1 https://doi.org/10.3233/AIC-170748 db/journals/aicom/aicom31.html#MarrellaMS18

Nicolás D'Ippolito Natalia Rodríguez Sebastian Sardiña Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis. 593-621 2018 61 J. Artif. Intell. Res. https://doi.org/10.1613/jair.5562 db/journals/jair/jair61.html#DIppolitoRS18

Max Waters Bernhard Nebel Lin Padgham Sebastian Sardiña Plan Relaxation via Action Debinding and Deordering. 278-287 2018 ICAPS https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17765 conf/aips/2018 db/conf/aips/icaps2018.html#WatersNPS18 Peta Masters Sebastian Sardiña Cost-Based Goal Recognition for the Path-Planning Domain. 5329-5333 2018 IJCAI https://doi.org/10.24963/ijcai.2018/747 conf/ijcai/2018 db/conf/ijcai/ijcai2018.html#MastersS18 Marcelo Arenas Jorge A. Baier Juan S. Navarro Sebastian Sardiña On the Progression of Situation Calculus Universal Theories with Constants. 484-493 2018 KR https://aaai.org/papers/53-18074-on-the-progression-of-situation-calculus-universal-theories-with-constants/ conf/kr/2018 db/conf/kr/kr2018.html#ArenasBNS18

Nitin Yadav Carsten Murawski Sebastian Sardiña Peter Bossaerts Phase transition in the knapsack problem. 2018 abs/1806.10244 CoRR http://arxiv.org/abs/1806.10244 db/journals/corr/corr1806.html#abs-1806-10244

Giuseppe De Giacomo Brian Logan 0001 Paolo Felli Fabio Patrizi Sebastian Sardiña Situation Calculus for Synthesis of Manufacturing Controllers. 2018 abs/1807.04561 CoRR http://arxiv.org/abs/1807.04561 db/journals/corr/corr1807.html#abs-1807-04561

Paolo Felli Nitin Yadav Sebastian Sardiña Supervisory Control for Behavior Composition. 986-991 2017 62 IEEE Trans. Autom. Control. 2 https://doi.org/10.1109/TAC.2016.2570748 db/journals/tac/tac62.html#FelliYS17

Andrea Marrella Massimo Mecella Sebastian Sardiña Intelligent Process Adaptation in the SmartPM System. 25:1-25:43 2017 8 ACM Trans. Intell. Syst. Technol. 2 https://doi.org/10.1145/2948071 db/journals/tist/tist8.html#MarrellaMS17

Ronen I. Brafman Giuseppe De Giacomo Massimo Mecella Sebastian Sardiña Service Composition in Stochastic Settings. 159-171 2017 AI*IA https://doi.org/10.1007/978-3-319-70169-1_12 conf/aiia/2017 db/conf/aiia/aiia2017.html#BrafmanGMS17 Peta Masters Sebastian Sardiña Cost-Based Goal Recognition for Path-Planning. 750-758 2017 AAMAS http://dl.acm.org/citation.cfm?id=3091232 conf/atal/2017 db/conf/atal/aamas2017.html#MastersS17 Nitin Yadav John Thangarajah Sebastian Sardiña Agent Design Consistency Checking via Planning. 458-464 2017 IJCAI https://doi.org/10.24963/ijcai.2017/65 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#YadavTS17 Lukás Chrpa Nir Lipovetzky Sebastian Sardiña Handling non-local dead-ends in Agent Planning Programs. 971-978 2017 IJCAI https://doi.org/10.24963/ijcai.2017/135 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#ChrpaLS17 Peta Masters Sebastian Sardiña Deceptive Path-Planning. 4368-4375 2017 IJCAI https://doi.org/10.24963/ijcai.2017/610 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#MastersS17 Parthasarathy Nadarajan Michael Botsch Sebastian Sardiña Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. 1244-1251 2017 IJCNN https://doi.org/10.1109/IJCNN.2017.7965995 conf/ijcnn/2017 db/conf/ijcnn/ijcnn2017.html#NadarajanBS17 Mehdi Dastani Sebastian Sardiña Vahid Yazdanpanah Norm Enforcement as Supervisory Control. 330-348 2017 PRIMA https://doi.org/10.1007/978-3-319-69131-2_20 conf/prima/2017 db/conf/prima/prima2017.html#DastaniSY17

Lavindra de Silva Sebastian Sardiña Lin Padgham Addendum to: Summary Information for Reasoning About Hierarchical Plans. 2017 abs/1708.03019 CoRR http://arxiv.org/abs/1708.03019 db/journals/corr/corr1708.html#abs-1708-03019

Giuseppe De Giacomo Alfonso Emilio Gerevini Fabio Patrizi Alessandro Saetti Sebastian Sardiña Agent planning programs. 64-106 2016 231 Artif. Intell. https://doi.org/10.1016/j.artint.2015.10.001 db/journals/ai/ai231.html#GiacomoGPSS16

Giuseppe De Giacomo Yves Lespérance Fabio Patrizi Sebastian Sardiña Verifying ConGolog Programs on Bounded Situation Calculus Theories. 950-956 2016 AAAI https://doi.org/10.1609/aaai.v30i1.10117 conf/aaai/2016 db/conf/aaai/aaai2016.html#GiacomoLPS16 Giuseppe De Giacomo Fabrizio Maria Maggi Andrea Marrella Sebastian Sardiña Computing Trace Alignment against Declarative Process Models through Planning. 367-375 2016 ICAPS http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094 conf/aips/2016 db/conf/aips/icaps2016.html#GiacomoMMS16 Davide Aversa Sebastian Sardiña Stavros Vassos Pruning and preprocessing methods for inventory-aware pathfinding. 1-8 2016 CIG https://doi.org/10.1109/CIG.2016.7860417 conf/cig/2016 db/conf/cig/cig2016.html#AversaSV16 Lavindra de Silva Sebastian Sardiña Lin Padgham Summary Information for Reasoning About Hierarchical Plans. 1300-1308 2016 ECAI https://doi.org/10.3233/978-1-61499-672-9-1300 conf/ecai/2016 db/conf/ecai/ecai2016.html#SilvaSP16 Paolo Felli Brian Logan 0001 Sebastian Sardiña Parallel Behavior Composition for Manufacturing. 271-278 2016 IJCAI http://www.ijcai.org/Abstract/16/046 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#FelliLS16 Marcelo Arenas Jorge A. Baier Juan S. Navarro Sebastian Sardiña Incomplete Causal Laws in the Situation Calculus Using Free Fluents. 907-914 2016 IJCAI http://www.ijcai.org/Abstract/16/133 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#ArenasBNS16 Andrea Marrella Massimo Mecella Sebastian Sardiña An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. 4258-4259 2016 IJCAI http://www.ijcai.org/Abstract/16/649 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#MarrellaMS16

Paolo Felli Nitin Yadav Sebastian Sardiña Supervisory Control for Behavior Composition. 2016 abs/1604.08768 CoRR http://arxiv.org/abs/1604.08768 db/journals/corr/corr1604.html#FelliYS16

Davide Aversa Sebastian Sardiña Stavros Vassos Path planning with Inventory-driven Jump-Point-Search. 2016 abs/1607.00715 CoRR http://arxiv.org/abs/1607.00715 db/journals/corr/corr1607.html#AversaSV16

Max Waters Lin Padgham Sebastian Sardiña Improving domain-independent intention selection in BDI systems. 683-717 2015 29 Auton. Agents Multi Agent Syst. 4 https://doi.org/10.1007/s10458-015-9293-5 db/journals/aamas/aamas29.html#WatersPS15

Robert Morris 0004 Blai Bonet Marc Cavazza Marie desJardins Ariel Felner Nick Hawes Brad Knox Sven Koenig George Dimitri Konidaris Jérôme Lang Carlos Linares López Daniele Magazzeni Amy McGovern Sriraam Natarajan Nathan R. Sturtevant Michael Thielscher William Yeoh 0001 Sebastian Sardiña Kiri Wagstaff A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. 99-106 2015 36 AI Mag. 3 https://doi.org/10.1609/aimag.v36i3.2606 db/journals/aim/aim36.html#MorrisBCdFHKKKL15

Arthur H. M. ter Hofstede Massimo Mecella Sebastian Sardiña Special Issue on: Knowledge-intensive Business Processes. 1-2 2015 4 J. Data Semant. 1 https://doi.org/10.1007/s13740-014-0044-6 db/journals/jodsn/jodsn4.html#HofstedeMS15

Davide Aversa Sebastian Sardiña Stavros Vassos Path Planning with Inventory-Driven Jump-Point-Search. 2-8 2015 AIIDE http://www.aaai.org/ocs/index.php/AIIDE/AIIDE15/paper/view/11532 conf/aiide/2015 db/conf/aiide/aiide2015.html#AversaSV15 Andrea Marrella Patris Halapuu Massimo Mecella Sebastian Sardiña SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains. 115-119 2015 BPM (Demos) https://ceur-ws.org/Vol-1418/paper24.pdf conf/bpm/2015d db/conf/bpm/bpmd2015.html#MarrellaHMS15 Sebastian Sardiña Nicolás D'Ippolito Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. 3200-3206 2015 IJCAI http://ijcai.org/Abstract/15/451 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#SardinaD15 Andrea Marrella Massimo Mecella Patris Halapuu Sebastian Sardiña Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System (Short Paper). 59-64 2015 SOCA https://doi.org/10.1109/SOCA.2015.18 https://doi.ieeecomputersociety.org/10.1109/SOCA.2015.18 conf/soca/2015 db/conf/soca/soca2015.html#MarrellaMHS15 Giuseppe De Giacomo Fabio Patrizi Sebastian Sardiña Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. 2014 ICAPS http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/8665 conf/aips/2014 db/conf/aips/icaps2014.html#GiacomoPS14 Miquel Ramírez Sebastian Sardiña Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains. 2014 ICAPS http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7908 conf/aips/2014 db/conf/aips/icaps2014.html#RamirezS14 Max Waters Lin Padgham Sebastian Sardiña Evaluating coverage based intention selection. 957-964 2014 AAMAS http://dl.acm.org/citation.cfm?id=2617398 conf/atal/2014 db/conf/atal/aamas2014.html#WatersPS14 Andrea Marrella Massimo Mecella Sebastian Sardiña Paola Tucceri SmartPM: Automated Adaptation of Dynamic Processes. 423-427 2014 ICSOC Workshops https://doi.org/10.1007/978-3-319-22885-3_40 conf/icsoc/2014w db/conf/icsoc/icsoc2014w.html#MarrellaMST14 Andrea Marrella Massimo Mecella Sebastian Sardiña SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. 2014 KR https://aaai.org/papers/0518-7991-smartpm-an-adaptive-process-management-system-through-situation-calculus-indigolog-and-classical-planning/ conf/kr/2014 db/conf/kr/kr2014.html#MarrellaMS14

Giuseppe De Giacomo Fabio Patrizi Sebastian Sardiña Automatic behavior composition synthesis. 106-142 2013 196 Artif. Intell. https://doi.org/10.1016/j.artint.2012.12.001 db/journals/ai/ai196.html#GiacomoPS13

Miquel Ramírez Nitin Yadav Sebastian Sardiña Behavior Composition as Fully Observable Non-Deterministic Planning. 2013 ICAPS http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5982 conf/aips/2013 db/conf/aips/icaps2013.html#RamirezYS13 Nitin Yadav Paolo Felli Giuseppe De Giacomo Sebastian Sardiña Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6859 http://ijcai.org/Abstract/13/177 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#YadavFGS13 1176-1182 Nitin Yadav Sebastian Sardiña Using Strategic Logics to Reason about Agent Programs. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6783 http://ijcai.org/Abstract/13/465 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#YadavS13 3101-3105 John Thangarajah Sebastian Sardiña Lin Padgham Measuring plan coverage and overlap for agent reasoning. 1049-1056 2012 AAMAS http://dl.acm.org/citation.cfm?id=2343847 conf/atal/2012 db/conf/atal/aamas2012.html#ThangarajahSP12 Steven Shapiro Sebastian Sardiña John Thangarajah Lawrence Cavedon Lin Padgham Revising conflicting intention sets in BDI agents. 1081-1088 2012 AAMAS http://dl.acm.org/citation.cfm?id=2343851 conf/atal/2012 db/conf/atal/aamas2012.html#ShapiroSTCP12 Nitin Yadav Sebastian Sardiña Reasoning about Agent Programs Using ATL-Like Logics. 437-449 2012 JELIA https://doi.org/10.1007/978-3-642-33353-8_34 conf/jelia/2012 db/conf/jelia/jelia2012.html#YadavS12 Nitin Yadav Sebastian Sardiña Qualitative Approximate Behavior Composition. 450-462 2012 JELIA https://doi.org/10.1007/978-3-642-33353-8_35 conf/jelia/2012 db/conf/jelia/jelia2012.html#YadavS12a Chiaki Sakama Sebastian Sardiña Wamberto Weber Vasconcelos Michael Winikoff Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers 7169 2012 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-29113-5 https://www.wikidata.org/entity/Q135229362 978-3-642-29112-8 DALT db/conf/dalt/dalt2011.html Arthur H. M. ter Hofstede Massimo Mecella Sebastian Sardiña Andrea Marrella Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012 KiBP@KR CEUR-WS.org CEUR Workshop Proceedings 861 2012 https://ceur-ws.org/Vol-861 db/conf/kr/kibp2012.html

Nitin Yadav Sebastian Sardiña Qualitative Approximate Behavior Composition http://arxiv.org/abs/1207.3863 2012 CoRR abs/1207.3863 db/journals/corr/corr1207.html#abs-1207-3863

Nitin Yadav Sebastian Sardiña Reasoning about Agent Programs using ATL-like Logics http://arxiv.org/abs/1207.3874 2012 CoRR abs/1207.3874 db/journals/corr/corr1207.html#abs-1207-3874

Sebastian Sardiña Lin Padgham A BDI agent programming language with failure handling, declarative goals, and planning. 18-70 2011 23 Auton. Agents Multi Agent Syst. 1 https://doi.org/10.1007/s10458-010-9130-9 db/journals/aamas/aamas23.html#SardinaP11

Nitin Yadav Sebastian Sardiña Decision theoretic behavior composition. 575-582 2011 AAMAS http://portal.acm.org/citation.cfm?id=2031699&CFID=54178199&CFTOKEN=61392764 conf/atal/2011 db/conf/atal/aamas2011.html#YadavS11 Andrea Marrella Massimo Mecella Alessandro Russo 0001 Arthur H. M. ter Hofstede Sebastian Sardiña Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features. 2011 BPM (Demos) https://ceur-ws.org/Vol-820/Demo6.pdf conf/bpm/2011d db/conf/bpm/bpmd2011.html#MarrellaMRHS11 Dhirendra Singh Sebastian Sardiña Lin Padgham Geoff James Integrating Learning into a BDI Agent for Environments with Changing Dynamics. 2525-2530 2011 IJCAI https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-420 conf/ijcai/2011 db/conf/ijcai/ijcai2011.html#SinghSPJ11 Andrea Omicini Sebastian Sardiña Wamberto Weber Vasconcelos Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 6619 2011 https://doi.org/10.1007/978-3-642-20715-0 978-3-642-20714-3 DALT Lecture Notes in Computer Science Springer db/conf/dalt/dalt2010.html

Nitin Yadav Chenguang Zhou Sebastian Sardiña Ralph Rönnquist A BDI agent system for the cow herding domain. 313-333 2010 59 Ann. Math. Artif. Intell. 3-4 https://doi.org/10.1007/s10472-010-9182-1 db/journals/amai/amai59.html#YadavZSR10

Dhirendra Singh Sebastian Sardiña Lin Padgham Extending BDI plan selection to incorporate learning from experience. 1067-1075 2010 58 Robotics Auton. Syst. 9 https://doi.org/10.1016/j.robot.2010.05.008 db/journals/ras/ras58.html#SinghSP10

Giuseppe De Giacomo Paolo Felli Fabio Patrizi Sebastian Sardiña Two-Player Game Structures for Generalized Planning and Agent Composition. 2010 AAAI https://doi.org/10.1609/aaai.v24i1.7597 conf/aaai/2010 db/conf/aaai/aaai2010.html#GiacomoFPS10 297-302 Dhirendra Singh Sebastian Sardiña Lin Padgham Stéphane Airiau Learning context conditions for BDI plan selection. 325-332 2010 AAMAS https://dl.acm.org/citation.cfm?id=1838252 conf/atal/2010 db/conf/atal/aamas2010.html#SinghSPA10 Giuseppe De Giacomo Fabio Patrizi Sebastian Sardiña Agent programming via planning programs. 491-498 2010 AAMAS https://dl.acm.org/citation.cfm?id=1838276 conf/atal/2010 db/conf/atal/aamas2010.html#GiacomoPS10 Giuseppe De Giacomo Fabio Patrizi Sebastian Sardiña Generalized Planning with Loops under Strong Fairness Constraints. 2010 KR https://aaai.org/papers/41-1382-generalized-planning-with-loops-under-strong-fairness-constraints/ conf/kr/2010 db/conf/kr/kr2010.html#GiacomoPS10

Stéphane Airiau Lin Padgham Sebastian Sardiña Sandip Sen Enhancing the Adaptation of BDI Agents Using Learning Techniques. 1-18 2009 1 Int. J. Agent Technol. Syst. 2 https://doi.org/10.4018/jats.2009040101 db/journals/ijats/ijats1.html#AiriauPSS09

Sarah L. Hickmott Sebastian Sardiña Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis. 2009 ICAPS conf/aips/2009 db/conf/aips/icaps2009.html#HickmottS09 http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/696 Lavindra de Silva Sebastian Sardiña Lin Padgham First principles planning in BDI systems. 1105-1112 2009 AAMAS (2) https://dl.acm.org/citation.cfm?id=1558167 conf/atal/2009-2 db/conf/atal/aamas2009-2.html#SilvaSP09 Sebastian Sardiña Giuseppe De Giacomo Composition of ConGolog Programs. 904-910 2009 IJCAI http://ijcai.org/Proceedings/09/Papers/154.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#SardinaG09 Sebastian Sardiña Yves Lespérance Golog Speaks the BDI Language. 82-99 2009 PROMAS https://doi.org/10.1007/978-3-642-14843-9_6 conf/promas/2009 db/conf/promas/promas2009.html#SardinaL09 Giuseppe De Giacomo Yves Lespérance Hector J. Levesque Sebastian Sardiña IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. 31-72 2009 Multi-Agent Programming, Languages, Tools and Applications https://doi.org/10.1007/978-0-387-89299-3_2 books/sp/FDDB2009 db/books/collections/FDDB2009.html#GiacomoLLS09 Koen V. Hindriks Alexander Pokahr Sebastian Sardiña Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers 5442 2009 978-3-642-03277-6 https://doi.org/10.1007/978-3-642-03278-3 https://www.wikidata.org/entity/Q58049092 ProMAS Lecture Notes in Computer Science Springer db/conf/promas/promas2008.html Sebastian Sardiña Giuseppe De Giacomo Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. 304-312 2008 ICAPS conf/aips/2008 db/conf/aips/icaps2008.html#SardinaG08 http://www.aaai.org/Library/ICAPS/2008/icaps08-038.php Sebastian Sardiña Fabio Patrizi Giuseppe De Giacomo Behavior Composition in the Presence of Failure. 640-650 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#SardinaPG08 https://aaai.org/papers/KR08-063-behavior-composition-in-the-presence-of-failure/ Massimiliano de Leoni Andrea Marrella Massimo Mecella Stefano Valentini Sebastian Sardiña Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach. 82-87 2008 WETICE https://doi.org/10.1109/WETICE.2008.30 https://doi.ieeecomputersociety.org/10.1109/WETICE.2008.30 conf/wetice/2008 db/conf/wetice/wetice2008.html#LeoniMMVS08 Sebastian Sardiña Fabio Patrizi Giuseppe De Giacomo Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. 1063-1069 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#SardinaPG07 http://www.aaai.org/Library/AAAI/2007/aaai07-169.php Sebastian Sardiña Lin Padgham Goals in the context of BDI plan failure and planning. 7 2007 conf/atal/2007 AAMAS https://doi.org/10.1145/1329125.1329134 db/conf/atal/aamas2007.html#SardinaP07 Giuseppe De Giacomo Sebastian Sardiña Automatic Synthesis of New Behaviors from a Library of Available Behaviors. 1866-1871 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/301.pdf db/conf/ijcai/ijcai2007.html#GiacomoS07 Sebastian Sardiña Lavindra de Silva Lin Padgham Hierarchical planning in BDI agent programming languages: a formal approach. 1001-1008 2006 conf/atal/2006 AAMAS https://doi.org/10.1145/1160633.1160813 db/conf/atal/aamas2006.html#SardinaSP06 John Thangarajah Lin Padgham Sebastian Sardiña Modelling situations in intelligent agents. 1049-1051 2006 conf/atal/2006 AAMAS https://doi.org/10.1145/1160633.1160819 db/conf/atal/aamas2006.html#ThangarajahPS06 Sebastian Sardiña Giuseppe De Giacomo Yves Lespérance Hector J. Levesque On the Limits of Planning over Belief States under Strict Uncertainty. 463-471 2006 conf/kr/2006 KR db/conf/kr/kr2006.html#SardinaGLL06 https://aaai.org/papers/KR06-048-on-the-limits-of-planning-over-belief-states-under-strict-uncertainty/ Sebastian Sardiña Deliberation in agent programming languages. University of Toronto, Canada 2005 https://librarysearch.library.utoronto.ca/permalink/01UTORONTO_INST/14bjeso/alma991106390088606196

Sebastian Sardiña Giuseppe De Giacomo Yves Lespérance Hector J. Levesque On the Semantics of Deliberation in Indigolog - from Theory to Implementation. 259-299 2004 41 Ann. Math. Artif. Intell. 2-4 https://doi.org/10.1023/B:AMAI.0000031197.13122.aa db/journals/amai/amai41.html#SardinaGLL04

Sebastian Sardiña Giuseppe De Giacomo Yves Lespérance Hector J. Levesque On Ability to Autonomously Execute Agent Programs with Sensing. 1522-1523 2004 conf/atal/2004 AAMAS https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10236 http://dl.acm.org/citation.cfm?id=1019012 db/conf/atal/aamas2004.html#SardinaGLL04 Sebastian Sardiña Steven Shapiro Rational action in agent programs with prioritized goals. 417-424 2003 conf/atal/2003 AAMAS https://doi.org/10.1145/860575.860642 db/conf/atal/aamas2003.html#SardinaS03 Giuseppe De Giacomo Yves Lespérance Hector J. Levesque Sebastian Sardiña On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. 603-614 2002 conf/kr/2002 KR db/conf/kr/kr2002.html#GiacomoLLS02

Giuseppe De Giacomo Hector J. Levesque Sebastian Sardiña Incremental execution of guarded theories. 495-525 2001 2 ACM Trans. Comput. Log. 4 https://doi.org/10.1145/383779.383782 db/journals/tocl/tocl2.html#GiacomoLS01

Sebastian Sardiña Local Conditional High-Level Robot Programs. 110-124 2001 conf/lpar/2001 LPAR https://doi.org/10.1007/3-540-45653-8_8 db/conf/lpar/lpar2001.html#Sardina01 Simone Agostinelli Stéphane Airiau Daniel Amyot Marcelo Arenas Davide Aversa Jorge A. Baier Nick R. T. P. van BeestNick van Beest Marco BenalcázarMarco E. Benalcázar Cees Bil Blai Bonet Peter Bossaerts Michael Botsch Víctor A. Braberman Ronen I. Brafman Diego Calvanese Angelo Casciani Marc Cavazza Lawrence Cavedon Lukás Chrpa Daniel Alfredo Ciolek Mehdi Dastani Marie desJardins Nicolás D'Ippolito Marlon Dumas Paolo Felli Ariel Felner Peter Fettke Fabiana Fournier Hector Geffner Alfonso GereviniAlfonso Emilio Gerevini Giuseppe De Giacomo Patris Halapuu Daniel Harabor Nick Hawes Sarah L. Hickmott Koen V. Hindriks Arthur H. M. ter Hofstede Jean Honorio Geoff James Andres Jaramillo-YanezAndres G. Jaramillo-Yanez Timotheus Kampik Brad Knox Sven Koenig George Dimitri Konidaris Alberto Pozanco LanchoAlberto Pozanco Jérôme Lang Massimiliano de Leoni Yves Lespérance Hector J. Levesque Lior Limonad Nir Lipovetzky Brian Logan 0001 Carlos Linares López Daniele Magazzeni Fabrizio Maria Maggi Emanuele La Malfa Andrea Marrella Peta Masters Amy McGovern Massimo Mecella Andreas Metzger Alireza Mohammadi 0002 Marco Montali Robert A. Morris 0001Robert Morris 0004 Carsten Murawski Parthasarathy Nadarajan Sriraam Natarajan Juan S. Navarro Bernhard Nebel C. B. Richard NgChee Beng Richard Ng Terry O'bree Denny Oetomo Andrea Omicini Lin Padgham Fabio Patrizi Alexander Pokahr Artem Polyvyanyy Miquel Ramírez Stefanie Rinderle-Ma Ivan D. Rodriguez Natalia Rodríguez Ralph Rönnquist Giacomo Rosa Alessandro Russo 0001 Alessandro Saetti Chiaki Sakama Sandip Sen Steven Shapiro Lavindra de Silva Dhirendra Singh Jiajia Song Nathan R. Sturtevant Zihang Su Ying Tan 0001 Niek Tax John Thangarajah Michael Thielscher Paola Tucceri Sebastián Uchitel Seeun William Umboh Stefano Valentini Wamberto Weber Vasconcelos Stavros Vassos Kiri Wagstaff Max Waters Barbara Weber Michael Winikoff Nitin Yadav Vahid Yazdanpanah William Yeoh 0001 Tianshi Yu Fabio Zambetta Chenguang Zhou