Advanced Topics in Artificial Intelligence

Why (a kind of) AI can’t be done.- Representation by correspondence: An inadequate conception of knowledge for artificial systems.- Genuine representation in artificial systems.- Using fuzzy logic to mitigate the effect of multiple-sclerosis tremors on a wheelchair joystick controller.- Thinking quickly: Agents for modeling air warfare.- Plan execution in a hostile dynamic environment.- A labelled sequent system for tense logic Kt.- Integrating reactive and reflective reasoning by generating rational models.- On the combination of partial action descriptions.- A mechanisation of classical modal tense logics using isabelle.- Constructing an intelligent multi-agent workflow system.- First-order Bayesian reasoning.- Learning intelligent behavior.- A formal embedding of agentspeak(L) in 3APL.- Recurrent neural networks to approximate the semantics of acceptable logic programs.- Computation in recurrent neural networks: From counters to iterated function systems.- Performance of a comprehensive and efficient constraint library based on local search.- Helicopter flight condition recognition: A minimalist approach.- A study of provability in defeasible logic.- Lower bounds on the size of test data sets.- cardT A P: Automated deduction on a smart card.- Constraint resolution within object hierarchies.- The temporal QCM modelling language.- The problem of missing values in decision tree grafting.- Adjusted probability Naive Bayesian induction.- Strategic behaviour-based reasoning with dynamic, Partial information.- Representing defeasible constraints and observations in action theories.- Stochastic Attribute Selection Committees.