CONTACT INFORMATION

MAILING ADDRESS:

LOCATION:

Online Papers

[1]	Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Agent programming via planning programs. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Toronto, Canada, 2010. To appear. [ bib ]
[2]	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), Toronto, Canada, 2010. To appear. [ bib ]
[3]	Dhirendra Singh, Sebastian Sardina, Lin Padgham, and Stéphane Airiau. Learning context conditions for BDI plan selection. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Toronto, Canada, 2010. To appear. [ bib ]
[4]	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 ]
[5]	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 ]
[6]	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 ]
[7]	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 ]
[8]	Sebastian Sardina and Yves Lespérance. GologSpeak: Golog speaks the BDI language. In Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS), volume 5919 of Lecture Notes in Computer Science (LNCS), Budapest, Hungary, May 2009. To appear. [ bib | paper | slides ]
[9]	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 ]
[10]	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 ]
[11]	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 ]
[12]	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 ]
[13]	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 ]
[14]	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 ]
[15]	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 ]
[16]	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 ]
[17]	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 ]
[18]	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 | paper | slides | poster ]
[19]	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 | paper | slides ]
[20]	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 ]
[21]	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 | paper | slides | poster ]
[22]	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 | paper ]
[23]	Sebastian Sardina. Deliberation in Agent Programming Languages. PhD thesis, Department of Computer Science, 2005. [ bib ]
[24]	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 ]
[25]	Jong-Hwan Kim, Yong-Duk Kim, and Kang-Hee Lee. The third generation of robotics: Ubiquitous robot. In International Conference on Autonomous Robots and Agents (ICARA), pages 1-7, Palmerston North, New Zealand, December 2004. [ bib | paper ]
[26]	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 | paper ]
[27]	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 | paper | slides ]
[28]	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 ]
[29]	Sebastian Sardina. IndiGolog: An Integrated Agent Arquitecture: Programmer and User Manual. University of Toronto, 2004. [ bib ]
[30]	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 | paper | slides ]
[31]	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 ]
[32]	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. [ bib | paper ]
[33]	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 ]
[34]	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 | paper ]
[35]	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 ]
[36]	Sebastian Sardina. IndiGolog: Executing Guarded Action Theories. PhD thesis, Department of Computer Science, 2000. [ bib ]

Some other slides (may be too old):

• Behavior Composition via PDL SAT (slides used at AI seminar at UNSW '07; and RMIT seminar '07)
  
• Quick Intro to Sitcalc and Golog, (slides from RMIT Agents Meeting seminar, 2006).
  
• IndiGolog in ER1 Robots. Cognitive Robotics & Vision Groups at UofT, 2004 & 2005: slides1 - slides2
• Cognitive Robotics at UofT. (slides at LIDIA group, UNS, Argentina, 2002).