Knowledge Representation and Reasoning has proven to be a key driver of innovation in computer science. It is important to all forms of problem solving and critical analysis in a wide range of domains from Economics to Engineering.

The Knowledge Representation and Reasoning research community in Australia has been growing from strength to strength over the last two decades.

This conventicle will bring together people interested in furthering the frontiers in Knowledge Representation and Reasoning.

Keynote Speaker

The Invited Speaker at the conventicle is Professor John McCarthy; an emeritus professor at Stanford University. John completed his PhD in Mathematics at Princeton in 1951 at the age of 23 and since then has been working in the area of Artificial Intelligence. In fact, he is credited with coining the term "Artificial Intelligence" in 1955 and in 1956 he organised the now famous first workshop on Artificial Intelligence at Dartmouth.

John has made several groundbreaking discoveries in and contributions to the field of computer science. For example, he invented time sharing, conditional expressions, recursion, and the functional programming language LISP. He developed Situation Calculus with Pat Hayes. Situation Calculus is now one of the major representations used in the field of Reasoning about Actions.

These days John is still active in Knowledge Representation and Reasoning and focuses on the ambitious task of modeling commonsense reasoning using logic-based methods.

Organisers

John Debenham, UTS
Gamini Dissanayake, UTS
Steve Elliot, University of Sydney
Norman Foo, NICTA (Chair)
Aditya Ghose, University of Wollongong
Randy Goebel, University of Alberta
John Hughes, UTS
Alankar Karol, UTS
Dallas Marchant, UTS
Thomas Meyer, NICTA
Abhaya Nayak, Macquarie University
Maurice Pagnucco, UNSW
Pavlos Peppas, Patras University
Yusuf Pisan, UTS
Jochen Renz, NICTA
Suku Sinna, UTS
Andrew Solomon, UTS
Christopher Stanton, UTS
Will Uther, NICTA
Mary-Anne Williams, UTS (Chair)