Follow
Sebastian Sardiña
Sebastian Sardiña
Professor at School of Computing Technologies, RMIT University
Verified email at rmit.edu.au - Homepage
Title
Cited by
Cited by
Year
Hierarchical planning in BDI agent programming languages: A formal approach
S Sardina, L De Silva, L Padgham
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
1712006
A BDI agent programming language with failure handling, declarative goals, and planning
S Sardina, L Padgham
Autonomous Agents and Multi-Agent Systems 23, 18-70, 2011
1252011
On the semantics of deliberation in IndiGolog—from theory to implementation
S Sardina, G De Giacomo, Y Lespérance, HJ Levesque
Annals of Mathematics and Artificial Intelligence 41 (2-4), 259-299, 2004
124*2004
IndiGolog: A high-level programming language for embedded reasoning agents
G De Giacomo, Y Lespérance, HJ Levesque, S Sardina
Multi-Agent Programming: Languages, Tools and Applications, 31-72, 2009
1232009
On the semantics of deliberation in IndiGolog—from theory to implementation
S Sardina, G De Giacomo, Y Lespérance, HJ Levesque
Annals of Mathematics and Artificial Intelligence 41 (2-4), 259-299, 2004
1012004
First principles planning in BDI systems
L De Silva, S Sardina, L Padgham
Proceedings of The 8th International Conference on Autonomous Agents and …, 2009
812009
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
802013
Intelligent process adaptation in the SmartPM system
A Marrella, M Mecella, S Sardina
ACM Transactions on Intelligent Systems and Technology (TIST) 8 (2), 1-43, 2016
792016
Cost-based goal recognition for path-planning
P Masters, S Sardina
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
66*2017
Deceptive Path-Planning.
P Masters, S Sardina
IJCAI, 4368-4375, 2017
632017
Automatic Synthesis of New Behaviors from a Library of Available Behaviors.
G De Giacomo, S Sardina
IJCAI 7, 1866-1871, 2007
582007
SmartPM: an adaptive process management system through situation calculus, IndiGolog, and classical planning
A Marrella, M Mecella, S Sardina
Fourteenth International Conference on the Principles of Knowledge …, 2014
532014
Integrating learning into a BDI agent for environments with changing dynamics
D Singh, S Sardina, L Padgham, G James
Proceedings of the twenty-second international joint conference on …, 2011
522011
Goals in the context of BDI plan failure and planning
S Sardina, L Padgham
Proceedings of the 6th international joint conference on Autonomous agents …, 2007
522007
Agent planning programs
G De Giacomo, AE Gerevini, F Patrizi, A Saetti, S Sardina
Artificial Intelligence 231, 64-106, 2016
48*2016
Learning context conditions for BDI plan selection
D Singh, S Sardina, L Padgham, S Airiau
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
482010
Towards fully observable non-deterministic planning as assumption-based automatic synthesis
S Sardina, N D'Ippolito, M Wooldridge, Q Yang
24th International Joint Conference on Artificial Intelligence, IJCAI 2015 …, 2015
47*2015
Incremental execution of guarded theories
G De Giacomo, HJ Levesque, S Sardina
ACM Transactions on Computational Logic (TOCL) 2 (4), 495-525, 2001
452001
Behavior Composition in the Presence of Failure.
S Sardina, F Patrizi, G De Giacomo
KR, 640-650, 2008
442008
Enhancing the adaptation of BDI agents using learning techniques
S Airiau, L Padgham, S Sardina, S Sen
International Journal of Agent Technologies and Systems (IJATS) 1 (2), 1-18, 2009
43*2009
The system can't perform the operation now. Try again later.
Articles 1–20