Sebastian Sardina
Titolo
Citata da
Citata da
Anno
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
1572006
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
114*2004
IndiGolog: A high-level programming language for embedded reasoning agents
G De Giacomo, Y LespÚrance, HJ Levesque, S Sardina
Multi-Agent Programming, 31-72, 2009
1092009
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
1032011
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
922004
Automatic behavior composition synthesis
G De Giacomo, F Patrizi, S Sardina
Artificial Intelligence 196, 106-142, 2013
702013
First principles planning in BDI systems
L De Silva, S Sardina, L Padgham
8th International Conference on Autonomous Agents and Multiagent Systemsá…, 2009
672009
Automatic Synthesis of New Behaviors from a Library of Available Behaviors.
G De Giacomo, S Sardina
IJCAI 7, 1866-1871, 2007
582007
Situation Calculus Based Programs for Representing and Reasoning about Game Structures.
G De Giacomo, Y LespÚrance, AR Pearce
KR, 2010
502010
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
462007
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
442014
Incremental execution of guarded theories
G De Giacomo, HJ Levesque, S Sardina
ACM Transactions on Computational Logic (TOCL) 2 (4), 495-525, 2001
442001
Agent planning programs
G De Giacomo, AE Gerevini, F Patrizi, A Saetti, S Sardina
Artificial Intelligence 231, 64-106, 2016
43*2016
Behavior Composition in the Presence of Failure.
S Sardina, F Patrizi, G De Giacomo
KR, 640-650, 2008
432008
Cost-based goal recognition for path-planning
P Masters, S Sardina
Proceedings of the 16th Conference on Autonomous Agents and MultiAgentá…, 2017
41*2017
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
382011
Rational action in agent programs with prioritized goals
S Sardina, S Shapiro
Proceedings of the second international joint conference on Autonomousá…, 2003
382003
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
372010
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
36*2009
Revising conflicting intention sets in BDI agents
S Shapiro, S Sardina, J Thangarajah, L Cavedon, L Padgham
International Foundation for Autonomous Agents and Multiagent Systemsá…, 2012
342012
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20