Front matter
1-13
Why (a kind of) AI can’t be done
Terry Dartnall
15-26
Representation by correspondence: An inadequate conception of knowledge for artificial systems
Robert L. Campbell
27-38
Genuine representation in artificial systems
Mark H. Bickhard
39-46
Using fuzzy logic to mitigate the effect of multiple-sclerosis tremors on a wheelchair joystick controller
Dan Corbett and Berend-Jan van der Zwaag
47-58
Thinking quickly: Agents for modeling air warfare
Clint Heinze, Bradley Smith and Martin Cross
59-70
Plan execution in a hostile dynamic environment
S. Au, J. Liang and N. Parameswaran
71-82
A labelled sequent system for tense logic Kt
Nicolette Bonnette and Rajeev Goré
83-94
Integrating reactive and reflective reasoning by generating rational models
Sven-Erik Bornscheuer
95-106
On the combination of partial action descriptions
Sven-Erik Bornscheuer and Helko Lehmann
107-118
A mechanisation of classical modal tense logics using isabelle
Jeremy E Dawson and Rajeev Goré
119-130
Constructing an intelligent multi-agent workflow system
John Debenham
131-142
First-order Bayesian reasoning
Ingrid Fabian and Dale A. Lambert
143-154
Learning intelligent behavior
Mohamed Salah Hamdi and Karl Kaiser
155-166
A formal embedding of agentspeak(L) in 3APL
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer
167-178
Recurrent neural networks to approximate the semantics of acceptable logic programs
Steffen Hölldobler, Yvonne Kalinke and Hans-Peter Störr
179-190
Computation in recurrent neural networks: From counters to iterated function systems
Yvonne Kalinke and Helko Lehmann
191-202
Performance of a comprehensive and efficient constraint library based on local search
J. H. M. Lee, H. F. Leung and H. W. Won
203-214
Helicopter flight condition recognition: A minimalist approach
D. C. Lombardo
215-226
A study of provability in defeasible logic
M. J. Maher, G. Antoniou and D. Billington
227-237
Lower bounds on the size of test data sets
Tim Menzies and Sam Waugh
239-247
cardTAP: Automated deduction on a smart card
Andrew Slater, Rajeev Goré, Joachim Posegga and Harald Vogt
249-260
Constraint resolution within object hierarchies
Hongxue Wang
261-272
The temporal QCM modelling language
Sam Waugh, Brian Hanlon and Tim Menzies
273-283
The problem of missing values in decision tree grafting
Geoffrey I. Webb
285-295
Adjusted probability Naive Bayesian induction
Geoffrey I. Webb and Michael J. Pazzani
297-308
Strategic behaviour-based reasoning with dynamic, Partial information
James Westendorp, Paul Scerri and Lawrence Cavedon
309-320
Representing defeasible constraints and observations in action theories
Yan Zhang
321-332
Stochastic Attribute Selection Committees
Zijian Zheng and Geoffrey I. Webb
Back matter