Sebastian Sardina

Sebastian Sardina
contact.html
BSc. ('97) UNS, MSc. ('00) & PhD. ('05) UofT

CONTACT INFORMATION

MAILING ADDRESS:

School of Computer Science and Information Technology
RMIT University, City Campus
PO BOX GPO Box 2476
Melbourne, VIC, 3001
AUSTRALIA

LOCATION:

School of Computer Science and Information Technology
RMIT University, City Campus
Building 14, Level 8, Room 7D (14.08.7D)
414-418 Swanston Street
Melbourne, VIC, 3000
AUSTRALIA
(Click here for a map)

Tel: (+61 3) 9925-9824
Fax: (+61 3) 9662-1617
email: sebastian.sardina at rmit dot edu dot au



Here is my entry in DBLP and here is Google's My Citation

2011

[1] Dhirendra Singh, Sebastian Sardina, Lin Padgham, and Geoff James. Integrating learning into a BDI agent for environments with changing dynamics. In Craig Knoblock Toby Walsh and Carles Sierra, editors, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 2525-2530, Barcelona, Spain, August 2011. AAAI Press. [ bib | paper | slides | poster ]
[2] Andrea Marrella, Massimo Mecella, Alessandro Russo, Arthur Ter Hofstede, and Sebastian Sardina. Making YAWL and SmartPM interoperate: Managing highly dynamic processes by exploiting automatic adaptation features (demo). In Proceedigns of the International Conference on Business Process Management (BPM), Clermont-Ferrand, France, August 2011. (Demonstration Track). [ bib ]
[3] Stavros Vassos and Sebastian Sardina. A database-type approach for progressing action theories with bounded effects. In Gerhard Lakemeyer and Sheila A. McIlraith, editors, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, chapter 29, pages 467-486. College Publications, July 2011. [ bib ]
[4] Nitin Yadav and Sebastian Sardina. Decision theoretic behavior composition. In Tumer, Yolum, Sonenberg, and Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 575-582, Taipei, Taiwan, May 2011. ACM Press. [ bib | paper | slides | poster ]
[5] Sebastian Sardina and Lin Padgham. A BDI agent programming language with failure recovery, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems, 23(1):18-70, 2011. [ bib | DOI | paper ]
[6] Andrea Omicini, Sebastian Sardina, and Wamberto Vasconcelos, editors. Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT), volume 6619 of Lecture Notes in Artificial Intelligence (LNAI), Berlin, Heidelberg, 2011. Springer. Revised, Selected and Invited Papers. [ bib | DOI | paper ]
[7] Sebastian Sardina and Yves Lespérance. GologSpeak: Golog speaks the BDI language. In Gerhard Lakemeyer and Sheila A. McIlraith, editors, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, chapter 27, pages 437-454. College Publications, 2011. Reprint of PROMAS'09 article. [ bib ]

2010

[1] Giuseppe De Giacomo, Fabio Patrizi, Paolo Felli, and Sebastian Sardina. Two-player game structures for generalized planning and agent composition. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 297-302, Altanta, USA, July 2010. AAAI Press. [ bib | paper ]
[2] Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Agent programming via planning programs. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 491-498, Toronto, Canada, May 2010. IFAAMAS. [ bib | errata | paper | slides | poster ]
[3] Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Generalized planning with loops under strong fairness constraints. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 351-361, Toronto, Canada, May 2010. [ bib | errata | paper | slides ]
[4] Dhirendra Singh, Sebastian Sardina, Lin Padgham, and Stéphane Airiau. Learning context conditions for BDI plan selection. In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 325-332, Toronto, Canada, May 2010. IFAAMAS. [ bib | paper | slides | poster ]
[5] Sebastian Sardina and Yves Lespérance. GologSpeak: Golog speaks the BDI language. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5919 of Lecture Notes in Computer Science (LNCS), pages 82-89, Budapest, Hungary, 2010. Springer. [ bib | DOI | paper | slides ]
[6] Nitin Yadav, Chenguang Zhou, Sebastian Sardina, and Ralph Rönnquist. A BDI agent system for the cow herding domain. Annals of Mathematics and Artificial Intelligence, 59:313-333, 2010. [ bib | DOI | paper ]
[7] Dhirendra Singh, Sebastian Sardina, and Lin Padgham. Extending BDI plan selection to incorporate learning from experience. Journal of Robotics and Autonomous Systems, 58:1067-1075, 2010. [ bib | DOI | paper ]

2009

[1] Sarah Hickmott and Sebastian Sardina. Optimality properties of planning via Petri net unfolding: A formal analysis. In Alfonso Gerevini and Adele Howe, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 170-177, Thessaloniki, Greece, September 2009. AAAI Press. [ bib | paper | slides ]
[2] Sebastian Sardina and Giuseppe De Giacomo. Composition of ConGolog programs. In Craig Boutilier, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 904-910, Pasadena, CA, USA, July 2009. IJCAI. [ bib | paper | slides ]
[3] Stavros Vassos, Sebastian Sardina, and Hector Levesque. Progressing basic action theories with non-local effect actions. In Gerhard Lakemeyer, Leora Morgenstern, and Mary-Anne Williams, editors, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS'09), pages 135-140, Toronto, Canada, June 2009. UTSePress, University of Technology, Sydney, Australia. [ bib | paper | slides ]
[4] Lavindra P. de Silva, Sebastian Sardina, and Lin Padgham. First principles planning in BDI systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão Sichman, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), volume 2, pages 1001-1008, Budapest, Hungary, May 2009. IFAAMAS. [ bib | paper | slides ]
[5] Stéphane Airiau, Lin Padham, Sebastian Sardina, and Sandip Sen. Enhancing adaptation in BDI agents using learning techniques. International Journal of Agent Technologies and Systems (IJATS), 1(2):1-18, January 2009. [ bib | paper ]
[6] Koen Hindriks, Alexander Pokahr, and Sebastian Sardina, editors. Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5442 of Lecture Notes in Artificial Intelligence (LNAI), Berlin, Heidelberg, 2009. Springer. Revised Invited and Selected Papers 2009, XII, 253 p., ISBN: 978-3-642-03277-6. [ bib | paper ]
[7] Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. IndiGolog: A high-level programming language for embedded reasoning agents. In Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications, chapter 2, pages 31-72. Springer, New York, USA, 2009. ISBN: 978-0-387-89298-6. [ bib | paper ]
[8] Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Solving high-level planning programs. In Generalized Planning: Macros, Loops, Domain Control Workshop, Thessaloniki, Greece, 2009. [ bib | paper ]

2008

[1] Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence of failure. In Gerhard Brewka and Jerome Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, Sydney, Australia, September 2008. AAAI Press. [ bib | paper | slides ]
[2] Sebastian Sardina and Giuseppe De Giacomo. Realizing multiple autonomous agents through scheduling of shared devices. In Jussi Rintanen and Bernhard Nebel, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 304-312, Sydney, Australia, September 2008. AAAI Press. [ bib | paper | slides ]
[3] Stéphane Airiau, Lin Padgham, Sebastian Sardina, and Sandip Sen. Incorporating learning in BDI agents. In Proceedings of the Adaptive Learning Agents and Multi-Agent Systems Workshop (ALAMAS+ALAg-08), Esteroil, Protugal, May 2008. [ bib | paper ]
[4] Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, and Sebastian Sardina. Coordinating mobile actors in pervasive and mobile scenarios: An AI-based approach. In Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructure for collaboration enterprises (WETICE'08), pages 82-88. IEEE Computer Society, 2008. [ bib | paper | slides ]

2007

[1] Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Automatic synthesis of a global behavior from multiple distributed behaviors. In Robert C. Holte and Adele Howe, editors, Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 1063-1069, Vancouver, Canada, July 2007. AAAI Press. [ bib | paper | slides ]
[2] Sebastian Sardina and Lin Padgham. Goals in the context of BDI plan failure and planning. In Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, and Onn Shehory, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 16-23, Hawaii, USA, May 2007. ACM Press. [ bib | DOI | paper | slides | poster ]
[3] Giuseppe De Giacomo and Sebastian Sardina. Automatic synthesis of new behaviors from a library of available behaviors. In Manuela M. Veloso, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1866-1871, Hyderabad, India, January 2007. [ bib | errata | paper | slides ]

2006

[1] Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the limits of planning over belief states under strict uncertainty. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 463-471, Lake District, UK, June 2006. [ bib | paper | slides ]
[2] Sebastian Sardina, Lavindra P. de Silva, and Lin Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1001-1008, Hakodate, Japan, May 2006. ACM Press. [ bib | DOI | paper | slides | poster ]
[3] John Thangarajah, Lin Padgham, and Sebastian Sardina. Modelling situations in intelligent agents. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1049-1051, Hakodate, Japan, May 2006. [ bib | DOI | paper ]

2000-2005

[1] Sebastian Sardina. Deliberation in Agent Programming Languages. PhD thesis, Department of Computer Science, University of Toronto, 2005. [ bib | paper ]
[2] Sebastian Sardina and Stavros Vassos. The Wumpus World in IndiGolog: A preliminary report. In L. Morgenstern and M. Pagnucco, editors, Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC), pages 90-95, 2005. [ bib | paper | slides ]
[3] Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On the semantics of deliberation in IndiGolog - From theory to implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):259-299, August 2004. [ bib | DOI | paper ]
[4] Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On ability to autonomously execute agent programs with sensing. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1522-1523. IEEE Computer Society, May 2004. (poster; extended version appeared at COGROBO'04). [ bib | DOI | paper | slides ]
[5] Sebastian Sardina, Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. On ability to autonomously execute agent programs with sensing. In Proceedings of the International Cognitive Robotics Workshop (COGROBO), Valencia, Spain, 2004. [ bib | paper | slides ]
[6] Sebastian Sardina and Steven Shapiro. Rational action in agent programs with prioritized goals. In Jeffrey S. Rosenschein, Michael Wooldridge, Tuomas Sandholm, and Makoto Yokoo, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 417-424, Melbourne, Australia, July 2003. ACM Press. [ bib | DOI | paper | slides ]
[7] Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. On deliberation under incomplete information and the inadequacy of entailment and consistency-based formalizations. In Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), Melbourne, Australia, July 2003. [ bib | paper ]
[8] Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. On the semantics of deliberation in IndiGolog - from theory to implementation. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 603-614, Toulouse, France, April 2002. Morgan Kaufmann Publishers Inc. [ bib | paper ]
[9] Sebastian Sardina. Local conditional high-level robot programs. In Robert Nieuwenhuis and Andrei Voronkov, editors, Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), volume 2250 of Lecture Notes in Computer Science (LNCS), pages 110-124, La Habana, Cuba, December 2001. Springer. [ bib | paper | slides ]
[10] Giuseppe De Giacomo, Hector J. Levesque, and Sebastian Sardina. Incremental execution of guarded theories. ACM Transactions on Computational Logic, 2(4):495-525, October 2001. [ bib | DOI | paper ]
[11] Sebastian Sardina. Local conditional high-level robot programs. In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC), pages 64-69, Seattle, USA, August 2001. [ bib ]
[12] Sebastian Sardina. IndiGolog: Execution of guarded action theories. Master's thesis, Department of Computer Science, University of Toronto, 2000. [ bib ]


Some other slides (may be too old):
footer

Last modified: January 2012