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.
- Lipovetzky, N.,Sardina, S. (2019). Pacman Capture the Flag in AI Courses In: IEEE Transactions on Games, , 1 - 4
- de Silva, L.,Padgham, L.,Sardina, S. (2019). HTN-like solutions for classical planning problems: An application to BDI agent systems In: Theoretical Computer Science, 763, 12 - 37
- Masters, P.,Sardina, S. (2019). Cost-based goal recognition in navigational domains In: Journal of Artificial Intelligence Research, 64, 197 - 242
- Marrella, A.,Mecella, M.,Sardina, S. (2018). Supporting adaptiveness of cyber-physical processes through action-based formalisms In: AI Communications, 31, 47 - 74
- D'Ippolito, N.,Rodriguez, N.,Sardina, S. (2018). Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis In: Journal of Artificial Intelligence Research, 61, 593 - 621
- Waters, M.,Nebel, B.,Padgham, L.,Sardina, S. (2018). Plan Relaxation via Action Debinding and Deordering In: Proceedings of the�28th International Conference on Automated Planning and Scheduling (ICAPS 2018), Delft, The Netherlands, 24-29 June 2018
- Masters, P.,Sardina, S. (2018). Cost-Based Goal Recognition for the Path-Planning Domain In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence 2018, Stockholm, Sweden, 13-17 July 2018
- Arenas, M.,Baier, J.,Navarro, J.,Sardina, S. (2018). On the Progression of Situation Calculus Universal Theories with Constants In: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, Tempe, United States , October 30 - November 2
- Nadarajan, P.,Botsch, M.,Sardina, S. (2017). Predicted-occupancy grids for vehicle safety applications based on autoencoders and the random forest algorithm In: Proceedings of the 30th IEEE 2017 International Joint Conference on Neural Networks (IJCNN 2017), Anchorage, Alaska, United States, 14-19 May 2017
- Dastani, M.,Sardina, S.,Yazdanpanah, V. (2017). Norm enforcement as supervisory control In: Proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Nice, France, 30 October - 3 November 2017
- 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)
3 PhD Completions3 PhD Current Supervisions