Skip to main content
SpringerLink
Log in

Advanced Topics in Artificial Intelligence

11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Grigoris Antoniou
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Slaney
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1502)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: AI 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Why (a kind of) AI can’t be done

    • Terry Dartnall
    Pages 1-13

  3. Representation by correspondence: An inadequate conception of knowledge for artificial systems

    • Robert L. Campbell
    Pages 15-26

  4. Genuine representation in artificial systems

    • Mark H. Bickhard
    Pages 27-38

  5. Using fuzzy logic to mitigate the effect of multiple-sclerosis tremors on a wheelchair joystick controller

    • Dan Corbett, Berend-Jan van der Zwaag
    Pages 39-46

  6. Thinking quickly: Agents for modeling air warfare

    • Clint Heinze, Bradley Smith, Martin Cross
    Pages 47-58

  7. Plan execution in a hostile dynamic environment

    • S. Au, J. Liang, N. Parameswaran
    Pages 59-70

  8. A labelled sequent system for tense logic Kt

    • Nicolette Bonnette, Rajeev Goré
    Pages 71-82

  9. Integrating reactive and reflective reasoning by generating rational models

    • Sven-Erik Bornscheuer
    Pages 83-94

  10. On the combination of partial action descriptions

    • Sven-Erik Bornscheuer, Helko Lehmann
    Pages 95-106

  11. A mechanisation of classical modal tense logics using isabelle

    • Jeremy E Dawson, Rajeev Goré
    Pages 107-118

  12. Constructing an intelligent multi-agent workflow system

    • John Debenham
    Pages 119-130

  13. First-order Bayesian reasoning

    • Ingrid Fabian, Dale A. Lambert
    Pages 131-142

  14. Learning intelligent behavior

    • Mohamed Salah Hamdi, Karl Kaiser
    Pages 143-154

  15. A formal embedding of agentspeak(L) in 3APL

    • Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Pages 155-166

  16. Recurrent neural networks to approximate the semantics of acceptable logic programs

    • Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr
    Pages 167-178

  17. Computation in recurrent neural networks: From counters to iterated function systems

    • Yvonne Kalinke, Helko Lehmann
    Pages 179-190

  18. Performance of a comprehensive and efficient constraint library based on local search

    • J. H. M. Lee, H. F. Leung, H. W. Won
    Pages 191-202

  19. Helicopter flight condition recognition: A minimalist approach

    • D. C. Lombardo
    Pages 203-214

  20. A study of provability in defeasible logic

    • M. J. Maher, G. Antoniou, D. Billington
    Pages 215-226
Back to top

Other volumes

  1. Advanced Topics in Artificial Intelligence

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Advanced Topics in Artificial Intelligence

  • Book Subtitle: 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers

  • Editors: Grigoris Antoniou, John Slaney

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0095035

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1998

  • Softcover ISBN: 978-3-540-65138-3Published: 07 October 1998

  • eBook ISBN: 978-3-540-49561-1Published: 15 November 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 342

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation