Advanced Topics in Artificial Intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers / edited by Grigoris Antoniou, John Slaney.

Format:

Book

Contributor:

Antoniou, G. (Grigoris), editor.

Slaney, John, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 1502.

Lecture Notes in Artificial Intelligence ; 1502

Language:

English

Subjects (All):

Artificial intelligence.

Artificial Intelligence.

Local Subjects:

Artificial Intelligence.

Physical Description:

1 online resource (XIV, 342 pages).

Edition:

First edition 1998.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.

System Details:

text file PDF

Summary:

This book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998. The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many papers accepted for presentation at the conference. Among the topics covered are philosophical issues, fuzzy logic, agent systems, AI logics, planning, knowledge representation, automated deduction, intelligent agents, learning, constraint solving, and neural networks.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-540-49561-1

9783540495611

Access Restriction:

Restricted for use by site license.