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

@proceedings{DBLP:conf/ausai/1998,
  editor    = {Grigoris Antoniou and
               John K. Slaney},
  title     = {Advanced Topics in Artificial Intelligence, 11th Australian Joint
               Conference on Artificial Intelligence, AI '98, Brisbane, Australia,
               July 13-17, 1998, Selected Papers},
  booktitle = {Australian Joint Conference on Artificial Intelligence},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1502},
  year      = {1998},
  isbn      = {3-540-65138-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Philosophy of Artificial Intelligence

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

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 BibTeX
• Clinton Heinze, Bradley Smith, Martin Cross: Thinking Quickly: Agents for Modeling Air Warfare. 47-58 BibTeX

Scientific Track

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