フォロー
Sebastian Sardiña
Sebastian Sardiña
Professor at School of Computing Technologies, RMIT University
確認したメール アドレス: rmit.edu.au - ホームページ
タイトル
引用先
引用先
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
1642006
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
A BDI agent programming language with failure handling, declarative goals, and planning
S Sardina, L Padgham
Autonomous Agents and Multi-Agent Systems 23 (1), 18-70, 2011
1202011
IndiGolog: A high-level programming language for embedded reasoning agents
GD Giacomo, Y Lespérance, HJ Levesque, S Sardina
Multi-Agent Programming, 31-72, 2009
1192009
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
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
782013
First principles planning in BDI systems
L De Silva, S Sardina, L Padgham
Proceedings of The 8th International Conference on Autonomous Agents and …, 2009
782009
Cost-based goal recognition for path-planning
P Masters, S Sardina
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
62*2017
Automatic Synthesis of New Behaviors from a Library of Available Behaviors.
G De Giacomo, S Sardina
IJCAI 7, 1866-1871, 2007
582007
Deceptive Path-Planning.
P Masters, S Sardina
IJCAI, 4368-4375, 2017
532017
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
512007
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
502014
Agent planning programs
G De Giacomo, AE Gerevini, F Patrizi, A Saetti, S Sardina
Artificial Intelligence 231, 64-106, 2016
48*2016
Integrating learning into a BDI agent for environments with changing dynamics
D Singh, S Sardina, L Padgham, G James
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
482011
Incremental execution of guarded theories
G De Giacomo, HJ Levesque, S Sardina
ACM Transactions on Computational Logic (TOCL) 2 (4), 495-525, 2001
452001
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
442010
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
42*2009
Behavior Composition in the Presence of Failure.
S Sardina, F Patrizi, G De Giacomo
KR, 640-650, 2008
422008
Towards fully observable non-deterministic planning as assumption-based automatic synthesis
S Sardina, N D'Ippolito
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
40*2015
Rational action in agent programs with prioritized goals
S Sardina, S Shapiro
Proceedings of the second international joint conference on Autonomous …, 2003
372003
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20