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




2017
[1] Andrea Marella, Massimo Mecella, and Sebastian Sardina. Intelligent process adaptation in the SmartPM system. ACM Transactions on Intelligent Systems and Technology, 8(2):25:1--25:43, 2017. [ bib | DOI | paper | http ]
[2] Paolo Felli, Nitin Yadav, and Sebastian Sardina. Supervisory control for behavior composition. IEEE Transactions on Automatic Control (IEEE-TAC), 62(2):986--991, 2017. [ bib | DOI | paper ]
[3] Peta Masters and Sebastian Sardina. Cost-based goal recognition for path-planning. In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 750--758, 2017. Best Student Paper Award. [ bib | paper ]
[4] Lukáš Chrpa, Nir Lipovetzky, and Sebastian Sardina. Handling non-local dead-ends in agent planning programs. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 971--978, Melbourne, Australia, 2017. [ bib | slides | poster | http ]
[5] Nitin Yadav, John Thangarajah, and Sebastian Sardina. Agent design consistency checking via planning. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 458--464, Melbourne, Australia, 2017. [ bib | slides | poster | http ]
[6] Peta Masters and Sebastian Sardina. Deceptive path-planning. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 4368--4375, Melbourne, Australia, 2017. [ bib | slides | poster | http ]
[7] Parthasarathy Nadarajan, Michael Botsch, and Sebastian Sardina. Predicted-occupancy grids for vehicle safety applications based on auotencoders and the random forest algorithm. In Proceedings of the International Joint Conference on Neural Networks (IJCNN), Anchorage, Alaska, USA, 2017. [ bib | paper ]

2016
[1] Giuseppe De Giacomo, Alfonso Gerevini, Fabio Patrizi, Alessandro Saetti, and Sebastian Sardina. Agent planning programs. Artificial Intelligence, 231:64--106, 2016. [ bib | DOI | paper ]
[2] Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, and Sebastian Sardina. Computing trace alignment against declarative process models through planning. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 367--375, 2016. [ bib | paper ]
[3] Giuseppe De Giacomo, Yves Lesperance, Fabio Patrizi, and Sebastian Sardina. Verifying ConGolog programs on bounded situation calculus theories. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 950--956, 2016. [ bib | paper | slides | poster ]
[4] Lavindra de Silva, Lin Padgham, and Sebastian Sardina. Summary information for reasoning about hierarchical plans. In Proceedings of the European Conference in Artificial Intelligence (ECAI), Frontiers in Artificial Intelligence and Applications, pages 1300--1308, 2016. [ bib | DOI | http ]
[5] Paolo Felli, Brian Logan, and Sebastian Sardina. Parallel behavior composition for manufacturing. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 272--278, New York, USA, 2016. [ bib | slides | poster | .pdf ]
[6] Marcelo Arenas, Jorge Baier, Juan Navarro, and Sebastian Sardina. Incomplete causal laws in the situation calculus using free fluents. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 907--914, New York, USA, 2016. [ bib | slides | poster | .pdf ]
[7] Davide Aversa, Sebastian Sardiña, and Stavros Vassos. Pruning and preprocessing methods for inventory-aware pathfinding. In Proceedings of the IEEE Conference on Computational Intelligence and Games (CIG), pages 1--8, 2016. [ bib | DOI | paper | slides | http ]

2015
[1] Max Waters, Lin Padgham, and Sebastian Sardina. Improving domain-independent intention selection in BDI systems. Autonomous Agents and Multi-Agent Systems, 29(4):683--717, 2015. [ bib | DOI | paper | http ]
[2] Arthur H. M. ter Hofstede, Massimo Mecella, and Sebastian Sardina. Special issue on: Knowledge-intensive business processes. Journal on Data Semantics, pages 1--2, 2015. [ bib | DOI ]
[3] Sebastian Sardina and Nicolas D'Ippolito. Towards fully observable non-deterministic planning as assumption-based reactive synthesis. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 3200--3206, 2015. [ bib | slides | poster | .pdf ]
[4] Andrea Marrella, Massimo Mecella, Patris Halapuu, and Sebastian Sardina. Automated process adaptation in cyber-physical domains with the SmartPM system. In IEEE International Conference on Service Oriented Computing & Applications (SOCA), volume 1418, pages 59--64. CEUR, 2015. [ bib | .pdf ]
[5] Andrea Marrella, Massimo Mecella, Sebastian Sardina, and Paola Tucceri. SmartPM: Automated adaptation of dynamic processes (demo). In Proceedings of Service-Oriented Computing - ICSOC 2014 Workshops, volume 8954 of Lecture Notes in Computer Science (LNCS), pages 423--427, 2015. [ bib | DOI ]
[6] Robert Morris, Blai Bonet, Marc Cavazza, Marie desJardins, Ariel Felner, Nick Hawes, Brad Knox, Sven Koenig, George Konidaris, Jérôme Lang, Carlos Linares López, Daniele Magazzeni, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh, Sebastian Sardiña, and Kiri Wagstaff. A summary of the twenty-ninth AAAI conference on artificial intelligence. AI Magazine, 36(3):99--106, 2015. [ bib | http ]
[7] Davide Aversa, Sebastian Sardina, and Stavros Vassos. Path planning with inventory-driven jump-point-search. In Proceedings of the Confernece on Artificial Intelligence and Interactive Digital Entertainment (AIIDE), pages 2--8, 2015. Extended version at arXiv:1607.00715 [cs.AI]. [ bib | slides ]

2014
[1] Max Waters, Lin Padgham, and Sebastian Sardina. Evaluating coverage based intention selection. In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 957-964, Paris, France, May 2014. IFAAMAS. Nominated for Jodi Best Student Paper award. [ bib | paper | slides | poster ]
[2] Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Building virtual behaviors from partially controllable available behaviors in nondeterministic environments. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 523-526, Portsmouth, NH, USA, 2014. AAAI Press. [ bib | paper | slides ]
[3] Miguel Ramirez and Sebastian Sardina. Directed fixed-point regression-based planning for non-deterministic domains. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 235-243, Portsmouth, NH, USA, 2014. AAAI Press. [ bib | paper | slides ]
[4] Andrea Marrella, Massimo Mecella, and Sebastian Sardina. SmartPM: An adaptive process management system through situation calculus, IndiGolog, and classical planning. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 518--527, Vienna, Austria, July 2014. AAAI Press. [ bib | slides | http ]

2013
[1] Nitin Yadav and Sebastian Sardina. Using strategic logics to reason about agent programs. In Francesca Rossi, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 3101-3105, Beijing, China, August 2013. AAAI Press. In Best Papers Sister Conferences track. [ bib | paper | poster ]
[2] Nitin Yadav, Paolo Felli, De Giacomo Giuseppe, and Sebastian Sardina. Supremal realizability of behaviors with uncontrollable exogenous events. In Francesca Rossi, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 1176-1182, Beijing, China, August 2013. AAAI Press. [ bib | paper | poster | http ]
[3] Miguel Ramirez, Nitin Yadav, and Sebastian Sardina. Behavior composition as fully observable non-deterministic planning. In Subbarao Kambhampati Daniel Borrajo, Simone Fratini and Angelo Oddi, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pages 180-188, Rome, Italy, June 2013. AAAI Press. [ bib | paper | slides ]
[4] Giuseppe De Giacomo, Fabio Patrizi, and Sebastian Sardina. Automatic behavior composition synthesis. Artificial Intelligence Journal, 196:106-142, 2013. [ bib | DOI | paper ]

2012
[1] Nitin Yadav and Sebastian Sardina.  Reasoning about BDI agent programs using ATL-like logics.  In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin,   editors, Proceedings of the European Conference on Logics in Artificial   Intelligence (JELIA), volume 7519 of Lecture Notes in Computer Science   (LNCS), pages 437-449, Toulouse, France, September 2012. Springer. [ bib |  http ]
[2] Nitin Yadav and Sebastian Sardina.  Qualitative approximate behavior composition.  In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin,   editors, Proceedings of the European Conference on Logics in Artificial   Intelligence (JELIA), volume 7519 of Lecture Notes in Computer Science   (LNCS), pages 450-462, Toulouse, France, September 2012. Springer. [ bib |  http ]
[3] Steven Shapiro, Sebastian Sardina, John Thangarajah, Lawrence Cavedon, and Lin   Padgham.  Revising conflicting intention sets in BDI agents.  In Conitzer, Winikoff, Padgham, and van der Hoek, editors,   Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1081-1088, Valencia, Spain, June 2012. IFAAMAS. [ bib |  paper |  http ]
[4] John Thangarajah, Sebastian Sardina, and Lin Padgham.  Measuring plan coverage and overlap for agent reasoning.  In Conitzer, Winikoff, Padgham, and van der Hoek, editors,   Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Valencia,  pages 1049-1056, Spain, June 2012. IFAAMAS. [ bib |  paper |  http ]
[5] Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos and Michael Winikoff, editors.  Proceedings of the International Workshop on Declarative Agent   Languages and Technologies (DALT), volume 7169 of Lecture Notes in   Artificial Intelligence (LNAI), Berlin, Heidelberg, 2012. Springer.  Revised Selected and Invited Papers of DALT IX. [ bib |  DOI |  paper ]

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. In Heiko Ludwig and Hajo Reijers, editors, Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, Clermont-Ferrand, France, August 2011. (Demonstration Track at BPM-2011). [ bib | paper ]
[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 | paper ]
[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 ]

Subpages (1): Bibtex Entries
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 1:32 AM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:25 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:26 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:27 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:27 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:27 PM
Ċ
Sebastian Sardina,
Jun 18, 2014, 2:17 AM
Ċ
Sebastian Sardina,
Jun 18, 2014, 2:17 AM
Ċ
Sebastian Sardina,
Jun 30, 2016, 10:20 PM
ċ
Sebastian Sardina,
Jun 30, 2016, 10:20 PM
Ċ
Sebastian Sardina,
Oct 1, 2013, 9:02 AM
Ċ
Sebastian Sardina,
Sep 12, 2017, 10:20 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:27 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:27 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:27 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Jan 6, 2013, 8:37 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:28 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Jun 2, 2012, 1:44 AM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Feb 8, 2014, 11:55 PM
Ċ
Sebastian Sardina,
Jun 26, 2014, 8:25 PM
Ċ
Sebastian Sardina,
Aug 19, 2016, 2:19 AM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:29 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:30 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:30 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:30 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:30 PM
Ċ
Sebastian Sardina,
Feb 8, 2014, 11:55 PM
Ċ
Sebastian Sardina,
Feb 9, 2014, 12:14 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 1:32 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 1:32 AM
Ċ
Sebastian Sardina,
Dec 2, 2015, 10:09 PM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:09 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:10 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:10 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 3:40 AM
Ċ
Sebastian Sardina,
Sep 12, 2017, 10:20 PM
Ċ
Sebastian Sardina,
Aug 13, 2012, 4:02 AM
Ċ
Sebastian Sardina,
Sep 13, 2017, 1:16 AM
Ċ
Sebastian Sardina,
Feb 27, 2014, 4:02 AM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:30 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
Sebastian Sardina,
Sep 13, 2017, 1:16 AM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:31 PM
Ċ
lpar01.pdf
(187k)
Sebastian Sardina,
Apr 8, 2012, 7:32 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:32 PM
Ċ
nrac01.pdf
(116k)
Sebastian Sardina,
Apr 8, 2012, 7:32 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:35 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:35 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:35 PM
Ċ
phd05-ss.pdf
(1795k)
Sebastian Sardina,
Apr 8, 2012, 7:35 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:35 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:35 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:35 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:36 PM
Ċ
Sebastian Sardina,
Sep 12, 2017, 10:21 PM
Ċ
tocl01.pdf
(274k)
Sebastian Sardina,
Apr 8, 2012, 7:36 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:36 PM
Ċ
Sebastian Sardina,
Apr 8, 2012, 7:36 PM