Publications

Intelligent Agents

Logical Foundations

• Wobcke, W.R. (2007) Reasoning about BDI Agents from a Programming Languages Perspective. Proceedings of the AAAI 2007 Spring Symposium on Intentions in Intelligent Systems, 48-53.
• Wobcke, W.R. (2006) An Analysis of Three Puzzles in the Logic of Intention. in Sattar, A. & Kang, B.-H. (Eds) AI 2006: Advances in Artificial Intelligence. Springer-Verlag, Berlin.
• Wobcke, W.R., Chee, M. & Ji, K. (2005) Model Checking for PRS-Like Agents. in Zhang, S. & Jarvis, R. (Eds) AI 2005: Advances in Artificial Intelligence. Springer-Verlag, Berlin.
• Wobcke, W.R., Chee, M. & Ji, K. (2005) Model Generation for PRS-like Agents. Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, 1131-1132.
• Wobcke, W.R. (2004) Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts. in Zhang, C., Guesgen, H.W. & Yeap, W.K. (Eds) PRICAI 2004: Trends in Artificial Intelligence. Springer-Verlag, Berlin.
• Wobcke, W.R. (2002) Intention and Rationality for PRS-Like Agents. in McKay, B. & Slaney, J. (Eds) AI 2002: Advances in Artificial Intelligence. Springer-Verlag, Berlin.
• Wobcke, W.R. (2002) Modelling PRS-Like Agents Mental States. in Ishizuka, M. & Sattar, A. (Eds) PRICAI 2002: Trends in Artificial Intelligence. Springer-Verlag, Berlin.
• Wobcke, W.R. (2000) On the Correctness of PRS Agent Programs. in Jennings, N.R. & Lespérance, Y. (Eds) Intelligent Agents VI. Springer-Verlag, Berlin.
• Wobcke, W.R. (1999) The Role of Context in the Analysis and Design of Agent Programs. in Bouquet, P., Serafini, L., Brézillon, P., Benerecetti, M. & Castellani, F. (Eds) Modeling and Using Context. Springer-Verlag, Berlin.
• Wobcke, W.R. (1999) Contextual Reasoning in the Verification of PRS Agent Programs. in Brézillon, P., Turner, R., Pomerol, J.-C. & Turner, E. (Eds) Reasoning in Context for AI Applications. AAAI Press, Menlo Park, CA.
• Wobcke, W.R. (1998) Agency and the Logic of Ability. in Wobcke, W.R., Pagnucco, M. & Zhang, C. (Eds) Agents and Multi-Agent Systems. Springer-Verlag, Berlin.
• Wobcke, W.R. (1996) The Representation of Plans in Rational Agent Architectures. Proceedings of the Fourth Australian and New Zealand Conference on Intelligent Information Systems, 22-25.
• Wobcke, W.R. (1996) Plans and the Revision of Intentions. in Zhang, C. & Lukose, D. (Eds) Distributed Artificial Intelligence: Architecture and Modelling. Springer-Verlag, Berlin.

Agent Architectures

• Nguyen, M.H. & Wobcke, W.R. (2006) A Flexible Framework for SharedPlans. in Sattar, A. & Kang, B.-H. (Eds) AI 2006: Advances in Artificial Intelligence. Springer-Verlag, Berlin.
• Nguyen, M.H. & Wobcke, W.R. (2005) Towards a General Implementation of SharedPlans. Proceedings of the Third Australian Undergraduate Students' Computing Conference, 42-48.
• Wobcke, W.R. (2001) An Operational Semantics for a PRS-Like Agent Architecture. in Stumptner, M., Corbett, D. & Brooks, M. (Eds) AI 2001: Advances in Artificial Intelligence. Springer-Verlag, Berlin.
• Wobcke, W.R. & Sichanie, A.G. (1999) A Reactive Scheduling Agent Architecture for Coordinating Autonomous Assistants. in Liu, J. & Zhong, N. (Eds) Intelligent Agent Technology: Systems, Methodologies, and Tools. World Scientific, Singapore.

Intelligent Assistants

• Krzywicki, A. & Wobcke, W.R. (2008) Closed Pattern Mining for the Discovery of User Preferences in a Calendar Assistant. in Nguyen, N.T. & Katarzyniak, R. (Eds) New Challenges in Applied Intelligence Technologies. Springer-Verlag, Berlin.
• Wong, A., Nguyen, A. & Wobcke, W.R. (2007) Robustness of a Spoken Dialogue Interface for a Personal Assistant. Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 123-127.
• Bokharouss, I., Wobcke, W.R., Chan, Y.-W.R., Limaru, Y.A. & Wong, A. (2007) A Location-Aware Mobile Call Handling Assistant. Proceedings of the 21st IEEE International Conference on Advanced Information Networking and Applications Workshops/Symposia (Symposium on Ubiquitous Computing and Intelligence), 282-289.
• Wobcke, W.R., Nguyen, A., Ho, V.H. & Krzywicki, A. (2007) The Smart Personal Assistant: An Overview. Proceedings of the AAAI 2007 Spring Symposium on Interaction Challenges for Intelligent Assistants, 135-136.
• Nguyen, A. & Wobcke, W.R. (2006) Extensibility and Reuse in an Agent-Based Dialogue Model. Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops (International Workshop on Communication Between Human and Artificial Agents), 367-371.
• Wobcke, W.R., Chan, Y.-W.R. & Limaru, Y.A. (2006) A Call Handling Assistant for Mobile Devices. Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 717-720.
• Nguyen, A. & Wobcke, W.R. (2006) An Adaptive Plan-Based Dialogue Agent: Integrating Learning into a BDI Architecture. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, 786-788.
• Wobcke, W.R., Ho, V.H., Nguyen, A. & Krzywicki, A. (2005) A BDI Agent Architecture for Dialogue Modelling and Coordination in a Smart Personal Assistant. Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 323-329.
• Nguyen, A. & Wobcke, W.R. (2005) An Agent-Based Approach to Dialogue Management in Personal Assistants. Proceedings of the 2005 International Conference on Intelligent User Interfaces, 137-144.
• Ho, V.H., Wobcke, W.R. & Compton, P.J. (2003) EMMA: An E-Mail Management Assistant. Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology, 67-74.
• Wobcke, W.R. (2001) A Calendar Management Agent with Fuzzy Logic. in Zhong, N., Liu, J., Ohsuga, S. & Bradshaw, J. (Eds) Intelligent Agent Technology: Research and Development. World Scientific, Singapore.
• Wobcke, W.R. & Sichanie, A.G. (2000) Personal Diary Management with Fuzzy Preferences. Proceedings of the Fifth International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 105-120.
• Azvine, B., Djian, D.P., Tsui, K.C. & Wobcke, W.R. (2000) The Intelligent Assistant: An Overview. in Azvine, B., Azarmi, N. & Nauck, D.D. (Eds) Intelligent Systems and Soft Computing. Springer-Verlag, Berlin.
• Wobcke, W.R. (2000) Time Management in the Intelligent Assistant. in Azvine, B., Azarmi, N. & Nauck, D.D. (Eds) Intelligent Systems and Soft Computing. Springer-Verlag, Berlin.
• Djian, D.P., Azarmi, N., Azvine, B., Tsui, K.C. & Wobcke, W.R. (2000) Towards Human-Centred Intelligent Systems: The Intelligent Assistant. BT Technology Journal, 18(1), 91-92. Special millennium edition on CD.
• Azvine, B. & Wobcke, W.R. (1998) Human-Centred Intelligent Systems and Soft Computing. BT Technology Journal, 16(3), 125-133.

Other

• Irwig, K.G. & Wobcke, W.R. (1999) Multi-Agent Reinforcement Learning with Vicarious Rewards. Electronic Transactions on Artificial Intelligence, 3(B), 23-45.
• Wobcke, W.R., Pagnucco, M. & Zhang, C. (Eds) (1998) Agents and Multi-Agent Systems. Springer-Verlag, Berlin.
• Cavedon, L., Rao, A.S. & Wobcke, W.R. (Eds) (1997) Intelligent Agent Systems. Springer-Verlag, Berlin.
• Clark, M.P., Irwig, K.G., & Wobcke, W.R. (1997) Emergent Properties of Teams of Agents in the Tileworld. in Cavedon, L., Rao, A.S. & Wobcke, W.R. (Eds) Intelligent Agent Systems. Springer-Verlag, Berlin.

Plan Recognition

• Wobcke, W.R. (2002) Two Logical Theories of Plan Recognition. Journal of Logic and Computation, 12, 371-412.
• Wobcke, W.R. (1995) Plan Recognition as Belief Revision. Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 481-492.
• Wobcke, W.R. (1994) A Conditional Logic for Planning and Plan Recognition. Proceedings of the Second Australian and New Zealand Conference on Intelligent Information Systems, 382-386.

Belief Revision

• Wobcke, W.R. (1995) Belief Revision, Conditional Logic and Nonmonotonic Reasoning. Notre Dame Journal of Formal Logic, 36, 55-102.
• Wobcke, W.R. (1995) Belief Revision without Rational Monotony. Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence, 379-386.
• Dixon, S.E. & Wobcke, W.R. (1995) A Nonmonotonic Reasoning Belief Revision System. Proceedings of the Eighteenth Australasian Computer Science Conference, 151-160.
• Wobcke, W.R. (1994) Algorithms for Iterative Belief Revision. Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence, 165-172.
• Dixon, S.E. & Wobcke, W.R. (1993) The Implementation of a First-Order Logic AGM Belief Revision System. Proceedings of the 1993 IEEE International Conference on Tools with Artificial Intelligence, 40-47.
• Wobcke, W.R. (1991) The Modality of Belief and Gärdenfors Triviality Result. Presented at the Annual Conference of the Australasian Association for Logic. Abstract appears in Journal of Symbolic Logic, 57, 1503.

Conditional Logic

• Wobcke, W.R. (2000) An Information-Based Theory of Conditionals. Notre Dame Journal of Formal Logic, 41, 95-141.
• Wobcke, W.R. (1989) A Schema-Based Approach to Understanding Subjunctive Conditionals. Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1461-1466.

Nonmonotonic Reasoning

• Wobcke, W.R. (1993) Reasoning about Action from the Perspective of Situation Semantics. Proceedings of the Sixth Australian Joint Conference on Artificial Intelligence, 71-76.
• Wobcke, W.R. (1992) A Belief Revision Approach to Nonmonotonic Reasoning. Proceedings of the Fifth Australian Joint Conference on Artificial Intelligence, 278-283.
• Peppas, P. & Wobcke, W.R. (1992) On the Use of Epistemic Entrenchment in Reasoning about Action. Proceedings of the Tenth European Conference on Artificial Intelligence, 403-407.
• Wobcke, W.R. (1992) On the Use of Epistemic Entrenchment in Nonmonotonic Reasoning. Proceedings of the Tenth European Conference on Artificial Intelligence, 324-328.
• Peppas, P., Foo, N.Y. & Wobcke, W.R. (1991) Events as Theory Operators. Proceedings of the First World Conference on the Fundamentals of Artificial Intelligence, 413-426.
• Wobcke, W.R. (1990) A Partial Semantics for Nonmonotonic Logics. Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, 61-68.

Other

• Luk, A.K. & Wobcke, W.R. (1993) An Implementation of a Plan-Based Theory of Indirect Speech Acts. Proceedings of the Sixteenth Australian Computer Science Conference, 557-565.
• Ashworth, D.J., Campbell, A.S., Foo, N.Y. & Wobcke, W.R. (1991) MODEST: An Interactive Evaluator for Modal Logic. Presented at the Annual Conference of the Australasian Association for Logic. Abstract appears in Journal of Symbolic Logic, 57, 1500.
• Wobcke, W.R. (1990) A Theory of Knowledge in Situation Semantics. Proceedings of the Ninth European Conference on Artificial Intelligence, 708-713.
• Wobcke, W.R. (1988) A Global Theory of Inheritance. Proceedings of the Eighth European Conference on Artificial Intelligence, 214-219.
• Sharkey, N.E., Sutcliffe, R.F.E. & Wobcke, W.R. (1986) Mixing Binary and Continuous Connection Schemes for Knowledge Access. Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), 262-266.

Last modified: Tuesday, April 29, 2008