Michael Thielscher

Michael Thielscher Professor School of Computer Science and Engineering UNSW Australia
Home	Conference Organisation 2026 40th AAAI Conference on Artificial Intelligence (AAAI) (Program Committee Demo Track) 2025 34th International Joint Conference on AI (IJCAI) (Area Chair) 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR) (Area Chair) 28th European Conference on Artificial Intelligence (ECAI) (Senior Program Committee) Artificial Intelligence Dissertation Award (Committee Member) 39th AAAI Conference on Artificial Intelligence (AAAI) (Program Committee Demo Track) Advances in Computer Games (ACG) (Program Committee) 19th European Conference on Logics in Artificial Intelligence (JELIA) (Program Committee) 48th German Conference on Artificial Intelligence (KI) (Program Committee) 2024 Knowledge Representationand Multiagent Systems Conventicle 2024 (Organiser) 38th AAAI Conference on Artificial Intelligence (AAAI) (Area Chair) 33rd International Joint Conference on AI (IJCAI) (Senior Program Committee & Program Committee for Survey Track) 21st International Conference on Principles of Knowledge Representation and Reasoning (KR) (Area Chair) 21st Pacific Rim International Conference on Artificial Intelligence (PRICAI) (Program Committee) Advances in Computer Games (ACG) (Program Committee) 2023 26th European Conference on Artificial Intelligence (ECAI) (Senior Program Committee) 32nd International Joint Conference on AI (IJCAI) (Program Committee for Survey Track) 20th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) 18th European Conference on Logics in Artificial Intelligence (JELIA) (Program Committee) Advances in Computer Games (ACG) (Program Committee) 20th Pacific Rim International Conference on Artificial Intelligence (PRICAI) (Program Committee) 2022 31st International Joint Conference on AI (IJCAI-ECAI) (Competitions & Challenges Track Chair) 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Senior Program Committee) 19th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) 19th Pacific Rim International Conference on Artificial Intelligence (PRICAI) (Program Committee) Computers and Games Conference (CG2022) (Program Committee) 2021 30th International Joint Conference on AI (IJCAI) (Areac Chair) 35th AAAI Conference on Artificial Intelligence (AAAI) (Area Chair) AAAI Workshop on Hybrid Artificial Intelligence (Co-Organiser) 37th International Conference on Logic Programming (ICLP) (Program Committee) 17th European Conference on Logics in Artificial Intelligence (JELIA) (Program Committee) 17th Conference on Advances in Computer Games (ACG) (Program Committee) 2020 17th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Conference Chair) 29th International Joint Conference on AI (IJCAI) (Senior Program Committee) 24th European Conference on Artificial Intelligence (ECAI) (Senior Program Committee) 43rd German Conference on Artificial Intelligence (KI) (Program Committee) 2019 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Senior Program Committee) 16th European Conference on Logics in Artificial Intelligence (JELIA) (Program Committee) 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI) (Program Committee) 2018 16th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Co-Chair) 27th International Joint Conference on AI and 23rd European Conference on AI (IJCAI-ECAI) (Area Chair) 32nd AAAI Conference on Artificial Intelligence (AAAI) (Senior Program Committee) 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Senior Program Committee) 31st Australasian Joint Conference on Artificial Intelligence (AI) (Senior Program Committee) 2017 31st AAAI Conference on Artificial Intelligence (AAAI) (Senior Program Committee) 13th International Symposium on Commonsense Reasoning (Commonsense) (Program Committee) AAAI Workshop on Computer Poker and Imperfect Information Games (Co-Organiser) 2016 25th International Joint Conference on Artificial Intelligence (IJCAI) (Sister Conference Best Paper Track Co-Chair) 5th International Workshop on General Game Playing at IJCAI (GIGA) (Co-Organiser) 15th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Area Chair) 30th AAAI Conference on Artificial Intelligence (AAAI) (Senior Program Committee) 22nd European Conference on Artificial Intelligence (ECAI) (Program Committee) 29th Australasian Joint Conference on Artificial Intelligence (AI) (Senior Program Committee) AAAI Workshop on Computer Poker and Imperfect Information Games (Co-Organiser) Knowledge Representation Conventicle 2016 (Organiser) 2015 4th International Workshop on General Game Playing at IJCAI (GIGA) (Co-Organiser) 29th AAAI Conference on Artificial Intelligence (AAAI) (What's Hot Co-Chair) 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Program Committee) 24th International Joint Conference on Artificial Intelligence (IJCAI) (Senior Program Committee) 28th Australasian Joint Conference on Artificial Intelligence (AI) (Senior Program Committee) 18th Conference of Principles and Practices of Multi-Agent Systems (PRIMA) (Program Committee) 38th German Conference on Artificial Intelligence (KI) (Program Committee) Doctoral Consortium at the 13th German Conference on Multiagent System Technologies (MATES) (Program Committee) Workshop on Hybrid Reasoning at IJCAI (Program Committee) 2nd Workshop on Exploring Beyond the Worst Case in Computational Social Choice at AAMAS (EXPLORE) (Program Committee) 2014 37th German Conference on Artificial Intelligence (KI) (Program Co-Chair) 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Area Chair) 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Senior Program Committee) 28th AAAI Conference on Artificial Intelligence (AAAI) (Program Committee) 30th International Conference on Logic Programming (ICLP) (Program Committee) 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI) (Program Committee) 14th European Conference on Logics in Artificial Intelligence (JELIA) (Program Committee) European Conference on Social Intelligence (ECSI) (Program Committee) 6th International Conference on Agents and Artificial Intelligence (ICAART) (Program Committee) 9th International Cognitive Robotics Workshop at ECAI (Program Committee) 2013 3rd International Workshop on General Game Playing at IJCAI (GIGA) (Co-Organiser) 23rd International Joint Conference on Artificial Intelligence (IJCAI) (Senior Program Committee) 27th AAAI Conference on Artificial Intelligence (AAAI) (Program Committee) 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Program Committee) 26th Australasian Joint Conference on Artificial Intelligence (AI) (Senior Program Committee) 16th Portuguese Conference on Artificial Intelligence (EPIA) (Program Committee) 5th International Conference on Agents and Artificial Intelligence (ICAART) (Program Committee) International Workshop on Collaborative Agents (CARE) at PRIMA (Program Committee) Doctoral Consortium at AAAI (Mentor) 2012 25th Australasian Joint Conference on Artificial Intelligence (AI) (Program Co-Chair) 20th European Conference on Artificial Intelligence (ECAI) (Area Chair) 13th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Program Committee) 12th Pacific Rim International Conference on Artificial Intelligence (PRICAI) (Program Committee) 10th German Conference on Multiagent System Technologies (MATES) (Program Committee) 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (Program Committee) 21st Brazilian Symposium on Artificial Intelligence (SBIA) (Program Committee) 4th International Conference on Agents and Artificial Intelligence (ICAART) (Program Committee) 14th International Workshop on Nonmonotonic Reasoning (NMR) (Program Committee) 8th International Cognitive Robotics Workshop at AAAI (Program Committee) Doctoral Consortium at AAAI (Mentor) 2011 22nd International Joint Conference on Artificial Intelligence (IJCAI) (Area Chair) 2nd International Workshop on General Game Playing at IJCAI (GIGA) (Co-Organiser) 25th Conference on Artificial Intelligence (AAAI) (Program Committee) 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (Program Committee) 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (Program Committee) 15th Portuguese Conference on Artificial Intelligence (EPIA) (Program Committee) 10th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense) (Program Committee) 3rd International Conference on Agents and Artificial Intelligence (ICAART) (Program Committee) 9th International Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI (NRAC) (Program Committee) Smarter Living: The Conquest of Complexity, AAAI Workshop (Program Committee) 3rd International Workshop on Collaborative Agents--Research and Development (CARE) (Program Committee) 2010 24th Conference on Artificial Intelligence (AAAI) (Area Chair) 19th European Conference on Artificial Intelligence (ECAI) (Area Chair) 12th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) KR-2010 Doctoral Consortium (Program Committee, Mentor) 23rd Australasian Joint Conference on Artificial Intelligence (AI) (Program Committee) 12th European Conference on Logics in Artificial Intelligence (JELIA) (Program Committee) 20th Brazilian Symposium on Artificial Intelligence (SBIA) (Program Committee) 4th International Conference on Knowledge Science, Engineering & Management (KSEM) (Program Committee) 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (Program Committee) Thirty Years of Nonmonotonic Reasoning (Program Committee) 13th International Workshop on Nonmonotonic Reasoning (NMR) (Program Committee) 3rd International Symposium on Practical Cognitive Agents and Robots (PCAR) (Program Committee) 24th Workshop on Constraint Logic Programming (WLP) (Program Committee) Workshop on Planning in Games at ICAPS (Program Committee) 2009 21st International Joint Conference on Artificial Intelligence (IJCAI) (Senior Program Committee) Workshop on General Game Playing at IJCAI (GIGA) (Co-Organiser) 10th International Workshop on Computatiponal Logic in Multi-Agent Systems (CLIMA) (Program Committee) 22nd Australasian Joint Conference on Artificial Intelligence (AI) (Program Committee) 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Program Committee) Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI (NRAC) (Program Committee) 2008 23rd National Conference on Artificial Intelligence (AAAI) (Senior Program Committee) 18th European Conference on Artificial Intelligence (ECAI) (Program Committee) 11th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) International Workshop on Nonmonotonic Reasoning (NMR) (Co-Organiser) 9th International Workshop on Computational Logic in Multiagent Systems (CLIMA) (Co-Organiser) 21st Australasian Joint Conference on Artificial Intelligence (AI) (Program Committee) 19th Brazilian Symposium on Artificial Intelligence (SBIA) (Program Committee) 22nd Workshop on (Constraint) Logic Programming (Program Committee) International Cognitive Robotics Workshop at ECAI (Program Committee) 2007 22nd National Conference on Artificial Intelligence (AAAI) (Program Committee) 7th Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (Program Committee) German Conference on Artificial Intelligence (KI) (Program Committee) 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Program Committee) 2006 21st National Conference on Artificial Intelligence (AAAI) (Program Committee) 17th European Conference on Artificial Intelligence (ECAI) (Program Committee) 10th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Publicity Chair, Program Committee) Cognitive Robotics Workshop at AAAI (Co-Organiser) 7th Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (Program Committee) International Workshop on Nonmonotonic Reasoning (NMR) (Program Committee) 2005 19th International Joint Conference on Artificial Intelligence (IJCAI) (Program Committee) 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS) (Program Committee) 7th International Symposium on Logical Formalizations of Commonsense Reasoning (Co-Organiser) 12th Portuguese Conference on Artificial Intelligence (EPIA) (Program Committee) 28th German Conference on Artificial Intelligence (KI) (Program Committee) 19th Workshop on (Constraint) Logic Programming (Program Committee) 2004 9th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) 3rd International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS) (Program Committee) International Workshop on Nonmonotonic Reasoning (NMR) (Co-Organiser) International Cognitive Robotics Workshop at ECAI (Program Committee) Workshop on Agents in Dynamic and Real-Time Environments at ECAI (Program Committee) 2003 18th International Joint Conference on Artificial Intelligence (IJCAI) (Program Committee) Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI (NRAC) (Co-Organiser) 2002 8th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) 25th German Conference on Artificial Intelligence (KI) (Program Committee) Workshop on Rational Agents at KI (Organiser) International Workshop on Nonmonotonic Reasoning (NMR) (Co-Organiser) 2001 Joint German/Austrian Conference on Artificial Intelligence (KI) (Program Committee) Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI (NRAC) (Co-Organiser) 5th Dutch/German Workshop on Nonmonotonic Reasoning (Program Committee) 2000 7th European Workshop on Logics in AI (JELIA) (Program Committee) 14th Workshop Logic Programming (WLP) (Program Committee) 1999 Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI (NRAC) (Co-Organiser) 1998 6th International Conference on Principles of Knowledge Representation and Reasoning (KR) (Program Committee) 1997 Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI (NRAC) (Co-Organiser) 1996 German Conference on Artificial Intelligence (KI) (Workshop Chair, Program Committee) Workshop on Reasoning about Actions and Planning in Complex Environments at FAPR (Co-Organiser)
Books
Contact
CV
Publications
Service
Students
Tutorials