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.
- Yadav, N.,Thangarajah, J.,Sardina, S. (2017). Agent design consistency checking via planning In: Proceedings of the 26h International Joint Conferences on Artifical Intelligence (IJCAI 2017), Melbourne, Australia, 19-25 August 2017
- Felli, P.,Yadav, N.,Sardina, S. (2017). Supervisory control for behavior composition In: IEEE Transactions on Automatic Control, 62, 986 - 991
- Masters, P.,Sardina, S. (2017). Cost-based goal recognition for path-planning In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017), Sao Paulo, Brazil, 8-12 May 2017
- Chrpa, L.,Lipovetzky, N.,Sardina, S. (2017). Handling non-local dead-ends in Agent Planning Programs In: Proceedings of the 26h International Joint Conferences on Artifical Intelligence (IJCAI 2017), Melbourne, Australia, 19-25 August 2017
- Masters, P.,Sardina, S. (2017). Deceptive path-planning In: Proceedings of the 26h International Joint Conferences on Artifical Intelligence (IJCAI 2017), Melbourne, Australia, 19-25 August 2017
- 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
- Arenas, M.,Baier, J.,Navarro, J.,Sardina, S. (2016). Incomplete causal laws in the situation calculus using free fluents In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, United States, 9-15 July 2016
- de Silva, L.,Sardina, S.,Padgham, L. (2016). Summary information for reasoning about hierarchical plans In: Proceedings of the 22nd European Conference on Artificial Intelligence, The Hague, Netherlands, 29 August - 2 September 2016
- Marrella, A.,Mecella, M.,Sardina, S. (2016). Intelligent process adaptation in the SmartPM system In: ACM Transactions on Intelligent Systems and Technology, 8, 1 - 43
- 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