Studying Properties of Classes of Default Logics - Preliminary Report. - Grigoris Antoniou; Tyrone O'Neill; Joe Thurbon (PRICAI, 1996)

Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. - Tyrone O'Neill; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 1997)

Reasoning about Continuous Change. - Tyrone O'Neill; Norman Y. Foo (PRICAI, 1998)

Studying properties of classes of default logics. - Grigoris Antoniou; Tyrone O'Neill; Joe Thurbon (J. Exp. Theor. Artif. Intell., 1998)