Abstract is missing.
- Why (A Kind of) AI Can t Be DoneTerry Dartnall. 1-13
- Representation by Correspondence: An Inadequate Conception of Knowledge for Artifical SystemsRobert L. Campbell. 15-26
- Genuine Representation in Artificial SystemsMark H. Bickhard. 27-38
- Using Fuzzy Logic to Mitigate the Effect of Multiple-Sclerosis Tremors on a Wheelchair Joystick ControllerDan Corbett, Berend-Jan van der Zwaag. 39-46
- Thinking Quickly: Agents for Modeling Air WarfareClinton Heinze, Bradley Smith, Martin Cross. 47-58
- Plan Execution in a Hostile Dynamic EnvironmentS. Au, J. Liang, N. Parameswaran. 59-70
- A Labelled Sequent System for Tense Logic K::t::Nicolette Bonnette, Rajeev Goré. 71-82
- Integrating Reactive and Reflective Reasoning by Generating Rational ModelsSven-Erik Bornscheuer. 83-94
- On the Combination of Partial Action DescriptionsSven-Erik Bornscheuer, Helko Lehmann. 95-106
- A Mechanisation of Classical Modal Tense Logics Using IsabelleJeremy E. Dawson, Rajeev Goré. 107-118
- Constructing an Intelligent Multi-Agent Workflow SystemJohn K. Debenham. 119-130
- First-Order Bayesian ReasoningIngrid Fabian, Dale A. Lambert. 131-142
- Learning Intelligent BehaviorMohamed Salah Hamdi, Karl Kaiser. 143-154
- A Formal Embedding of AgentSpeak(L) in 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. 155-166
- Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic ProgramsSteffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr. 167-178
- Computation in Recurrent Neural Networks: From Counters to Iterated Function SystemsYvonne Kalinke, Helko Lehmann. 179-190
- Performance of a Comprehensive and Efficient Constraint Library Based on Local SearchJimmy Ho-Man Lee, Ho-Fung Leung, Hon-Wing Won. 191-202
- Helicopter Flight Condition Recognition: A Minimalist ApproachD. C. Lombardo. 203-214
- A Study of Provability in Defeasible LogicMichael J. Maher, Grigoris Antoniou, David Billington. 215-226
- Lower Bounds on the Size of Test Data SetsTim Menzies, Sam Waugh. 227-237
- cardT:::A:::P: Automated Deduction on a Smart CardAndrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt. 239-247
- Constraint Resolution within Object HierarchiesHongxue Wang. 249-260
- The Temporal QCM Modelling LanguageSam Waugh, Brian Hanlon, Tim Menzies. 262-272
- The Problem of Missing Values in Decision Tree GraftingGeoffrey I. Webb. 273-283
- Adjusted Probability Naive Bayesian InductionGeoffrey I. Webb, Michael J. Pazzani. 285-295
- Strategic Behavior-Based Reasoning with Dynamic, Partial InformationJames Westendorp, Paul Scerri, Lawrence Cavedon. 297-308
- Representing Defeasible Constraints and Observations in Action TheoriesYan Zhang. 309-320
- Stochastic Attribute Selection CommitteesZijian Zheng, Geoffrey I. Webb. 321-332