Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Conference Papers
, 2004, 'Conservative Belief Change', in 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, California USA, presented at 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, California USA, 25 July 2004 - 29 July 2004
, 2003, 'Conservative Belief Change: A Gricean Approach', in Brewka G; Peppas P (ed.), IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, Acapulco, Mexico, pp. 73 - 79, presented at IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change, Acapulco, Mexico, 10 August 2003 - 11 August 2003
, 2003, 'Prolegomnon to a Theory of Conservative belief revision', in 18th Joint International Conference on Artificial Intelligence, IJCAI-03, Acalpuco, Mexico, presented at 18th Joint International Conference on Artificial Intelligence (IJCAI 2003), Acalpuco, Mexico, 09 August 2003 - 15 August 2003
, 2001, 'State Minimization Re-visited', in 14th Australian Joint Conference on Artificial Intelligence (AI 2001), Adelaide, Sth Aust, presented at 14th Australian Joint Conference on Artificial Intelligence (AI 2001), Adelaide, Sth Aust, 10 December 2001 - 14 December 2001
, 2000, 'A unifying semantics for causal ramifications', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 38 - 49, http://dx.doi.org/10.1007/3-540-44533-1_8
, 2000, 'Iterated Belief Change in the Situation Calculus', in Proceedings of the International Conference on Knowledge Representation and Reasoning, pp. 527 - 538
, 1999, 'A Trajectory Approach to Causality', in Pandu Rangan C; Raman V; Ramanujam R (eds.), 12th Australia Joint Conference on Artificial Intelligence, AI 1999, Madras India, pp. 484 - 485, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999
, 1999, 'Diagrammatic Proofs', in 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 06 July 1999
, 1999, 'Preferential Semantics for Causal Systems', in 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, presented at 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, 06 July 1999
, 1999, 'A trajectory approach to causality (Extended Summary)', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 484 - 485, http://dx.doi.org/10.1007/3-540-46695-9_48
, 1999, 'Causal propagation semantics—a study', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 378 - 392, http://dx.doi.org/10.1007/3-540-46695-9_32
, 1997, 'Preferential Semantics for Causal Fixpoints', in 10th Australian Joint Conference on Artifical Intelligence (AI 1997), Perth, WA, presented at Australasian Joint Conference on Artificial Intelligence 1997, Perth, WA, 30 November 1997 - 04 December 1997
, 1997, 'Action Localness, Genericity and Invariants in STRIPS', in 15th International Joint Conferences on Atrificial Intelligence (IJCAI 1997), Nagoya, Japan, presented at 15th International Joint Conferences on Atrificial Intelligence (IJCAI 1997), Nagoya, Japan, 23 August 1997 - 29 August 1997
, 1997, 'Preferential semantics for causal fixpoints', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 197 - 206
, 1996, 'Definitional constraints', in Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996
, 1996, 'Learning from conditionals: Judy Benjamin`s other problems', in Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996
, 1996, 'Revision v`s update: taking a closer look', in Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, presented at Eurpoean Conference on Artificial Intelligence, Budapest, Hungary, 11 August 1996 - 16 August 1996
, 1995, 'Determining explanations using transmutations', in Mellish CS (ed.), IJCAI-95 - PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, MORGAN KAUFMANN PUB INC, CANADA, MONTREAL, pp. 822 - 827, presented at 14th International Joint Conference on Artificial Intelligence (IJCAI-95), CANADA, MONTREAL, 20 August 1995 - 25 August 1995, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1995BE63Q00107&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1