11. Australian Joint Conference on Artificial Intelligence 1998: Brisbane, Australia

Philosophy of Artificial Intelligence

• Terry Dartnall:
  Why (A Kind of) AI Can`t Be Done. 1-13
  
• Robert L. Campbell:
  Representation by Correspondence: An Inadequate Conception of Knowledge for Artifical Systems. 15-26
  
• Mark H. Bickhard:
  Genuine Representation in Artificial Systems. 27-38
  

Applications Track

• Dan Corbett, Berend-Jan van der Zwaag:
  Using Fuzzy Logic to Mitigate the Effect of Multiple-Sclerosis Tremors on a Wheelchair Joystick Controller. 39-46
  
• Clinton Heinze, Bradley Smith, Martin Cross:
  Thinking Quickly: Agents for Modeling Air Warfare. 47-58
  

Scientific Track

• S. Au, J. Liang, N. Parameswaran:
  Plan Execution in a Hostile Dynamic Environment. 59-70
  
• Nicolette Bonnette, Rajeev Goré:
  A Labelled Sequent System for Tense Logic K_t. 71-82
  
• Sven-Erik Bornscheuer:
  Integrating Reactive and Reflective Reasoning by Generating Rational Models. 83-94
  
• Sven-Erik Bornscheuer, Helko Lehmann:
  On the Combination of Partial Action Descriptions. 95-106
  
• Jeremy E. Dawson, Rajeev Goré:
  A Mechanisation of Classical Modal Tense Logics Using Isabelle. 107-118
  
• John K. Debenham:
  Constructing an Intelligent Multi-Agent Workflow System. 119-130
  
• Ingrid Fabian, Dale A. Lambert:
  First-Order Bayesian Reasoning. 131-142
  
• Mohamed Salah Hamdi, Karl Kaiser:
  Learning Intelligent Behavior. 143-154
  
• Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
  A Formal Embedding of AgentSpeak(L) in 3APL. 155-166
  
• Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr:
  Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs. 167-178
  
• Yvonne Kalinke, Helko Lehmann:
  Computation in Recurrent Neural Networks: From Counters to Iterated Function Systems. 179-190
  
• Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won:
  Performance of a Comprehensive and Efficient Constraint Library Based on Local Search. 191-202
  
• D. C. Lombardo:
  Helicopter Flight Condition Recognition: A Minimalist Approach. 203-214
  
• Michael J. Maher, Grigoris Antoniou, David Billington:
  A Study of Provability in Defeasible Logic. 215-226
  
• Tim Menzies, Sam Waugh:
  Lower Bounds on the Size of Test Data Sets. 227-237
  
• Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt:
  cardT^AP: Automated Deduction on a Smart Card. 239-247
  
• Hongxue Wang:
  Constraint Resolution within Object Hierarchies. 249-260
  
• Sam Waugh, Brian Hanlon, Tim Menzies:
  The Temporal QCM Modelling Language. 262-272
  
• Geoffrey I. Webb:
  The Problem of Missing Values in Decision Tree Grafting. 273-283
  
• Geoffrey I. Webb, Michael J. Pazzani:
  Adjusted Probability Naive Bayesian Induction. 285-295
  
• James Westendorp, Paul Scerri, Lawrence Cavedon:
  Strategic Behavior-Based Reasoning with Dynamic, Partial Information. 297-308
  
• Yan Zhang:
  Representing Defeasible Constraints and Observations in Action Theories. 309-320
  
• Zijian Zheng, Geoffrey I. Webb:
  Stochastic Attribute Selection Committees. 321-332