Segueix
Sebastian Sardiña
Sebastian Sardiña
Professor at School of Computing Technologies, RMIT University
Correu electrònic verificat a rmit.edu.au - Pàgina d'inici
Títol
Citada per
Citada per
Any
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
1792006
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
1372011
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
1222009
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
119*2004
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
962004
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
872016
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
862013
First principles planning in BDI systems
L De Silva, S Sardina, L Padgham
Proceedings of The 8th International Conference on Autonomous Agents and …, 2009
842009
Deceptive Path-Planning.
P Masters, S Sardina
IJCAI, 4368-4375, 2017
792017
Cost-based goal recognition for path-planning
P Masters, S Sardina
Proceedings of the 16th conference on autonomous agents and multiagent …, 2017
78*2017
Automatic Synthesis of New Behaviors from a Library of Available Behaviors.
G De Giacomo, S Sardina
IJCAI 7, 1866-1871, 2007
592007
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
58*2015
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
552014
Agent planning programs
G De Giacomo, AE Gerevini, F Patrizi, A Saetti, S Sardina
Artificial Intelligence 231, 64-106, 2016
53*2016
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
532011
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
532010
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
502007
Behavior Composition in the Presence of Failure.
S Sardina, F Patrizi, G De Giacomo
KR, 640-650, 2008
452008
Incremental execution of guarded theories
G De Giacomo, HJ Levesque, S Sardina
ACM Transactions on Computational Logic (TOCL) 2 (4), 495-525, 2001
452001
Evaluating coverage based intention selection
M Waters, L Padgham, S Sardina
Proceedings of the 13th International Conference on Autonomous Agents and …, 2014
43*2014
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20