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
- De Giacomo, G.,Gerevini, A.,Patrizi, F.,Saetti, A.,Sardina, S. (2016). Agent planning programs In: Artificial Intelligence, 231, 64 - 106
- De Giacomo, G.,Maggi, F.,Marella, A.,Sardina, S. (2016). Computing trace alignment against declarative process models through planning In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 2016), London, United Kingdom, 12-17 June 2016
- De Giacomo, G.,Lesperance, Y.,Patrizi, F.,Sardina, S. (2016). Verifying ConGolog programs on bounded situation calculus theories In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-2016), Phoenix, United States, 12-17 February 2016
- Felli, P.,Logan, B.,Sardina, S. (2016). Parallel behavior composition for manufacturing In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, United States, 9-15 July 2016
- 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
- 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
- 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