Sebastian Sardina is a Senior Research Fellow in Artificial Intelligence. He obtained his Bachelor in Computer Science at the South National University, Argentina, and his PhD at the University of Toronto, Canada, before joining RMIT.
Sebastian's research is mainly concerned with representation and reasoning in artificial intelligence for dynamic systems. His work spans several sub-fields of artificial intelligence, including automated planning, reasoning about action and change, agent-oriented programming, and reactive synthesis.
He has profoundly influenced the definition and implementation of IndiGolog (which is among the best known formalisms for expressing high-level robot programs) and has contributed to the enhancement of BDI agent programming languages with learning and planning capabilities. He also has a strong interest in nonstandard forms of planning, including behavior composition synthesis of devices and agents.
Sebastian scientific contributions regularly appear in several premier AI scientific venues, including IJCAI, AAMAS, ICAPS, KR, AIJ, JAAMAS, and AAAI. He has supervised several Masters and PhD students and has strong international research collaboration links.
- PhD in Computer Science, University of Toronto, Canada, 2005.
- Master of Science in Computer Science, University of Toronto, Canada, 2000.
- Bachelor in Computer Science, South National University, Argentina . 1997.
- De Giacomo, G.,Gerevini, A.,Patrizi, F.,Saetti, A.,Sardina, S. (2016). Agent planning programs In: Artificial Intelligence, 231, 64 - 106
- Waters, M.,Padgham, L.,Sardina, S. (2015). Improving domain-independent intention selection in BDI systems In: Autonomous Agents and Multi-Agent Systems, 29, 683 - 717
- Sardina, S.,D'Ippolito, N. (2015). Towards fully observable non-deterministic planning as assumption-based reactive synthesis In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, 25-31 July 2015
- Aversa, D.,Sardina, S.,Vassos, S. (2015). Path planning with inventory-driven jump-point-search In: Proceedings of the 11th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2015), Santa Cruz, California, United States, 14-18 November 2015
- Marrella, A.,Mecella, M.,Halapuu, P.,Sardina, S. (2015). Automated process adaptation in cyber-physical domains with the SmartPM system In: Proceedings of the 8th IEEE International Conference on Service Oriented Computing and Applications (SOCA 2015), Rome, Italy, 19 -21 October 2015
- Waters, M.,Padgham, L.,Sardina, S. (2014). Evaluating coverage based intention selection In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), Paris, France, 5-9 May 2014
- De Giacomo, G.,Patrizi, F.,Sardina, S. (2014). Building virtual behaviors from partially controllable available behaviors in nondeterministic environments In: Proceedings of the 24th International Conference on Automated Planning and Scheduling, Portsmouth, United States, 21-26 June 2014
- Ramirez, M.,Sardina, S. (2014). Directed fixed-point regression-based planning for non-deterministic domains In: Proceedings of the 24th International Conference on Automated Planning and Scheduling, Portsmouth, United States, 21-26 June 2014
- Marrella, A.,Mecella, M.,Sardina, S. (2014). SmartPM: An adaptive process management system through situation calculus, IndiGolog, and classical planning In: Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference (KR2014), Vienna, Austria, 20-24 July 2014
- Yadav, N.,Sardina, S. (2013). Using strategic logics to reason about agent programs In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 3-9 August 2013
- Optimisation of embedded virtual complex systems by re-using a library of available components. Funded by: ARC Discovery 2012 from (2012 to 2014)
- Intention Selection in Intelligent Agent Systems. Funded by: ARC Discovery 2010 from (2010 to 2013)
- Approximation Techniques for Behavior Composition. Funded by: AAS (Australian Academy of Science) Scientific Visits to Europe from (2010 to 2010)
2 PhD Current Supervisions3 PhD Completions