Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1998

Advanced Topics in Artificial Intelligence

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

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)

Conference series link(s): AI: Australasian Joint Conference on Artificial Intelligence

Conference proceedings info: AI 1998.

Sections

Buy it now

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

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

Table of contents (28 papers)

  1. Front Matter

    PDF

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

    • Terry Dartnall
    Pages 1-13

  4. Genuine representation in artificial systems

    • Mark H. Bickhard
    Pages 27-38

  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

  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

  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

  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

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation