Skip to main content
SpringerLink
Log in
Book cover

Artificial Intelligence: Methodology, Systems, and Applications

9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Stefano A. Cerri
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Danail Dochev
    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 1904)

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

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (36 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Knowledge Construction

    1. Dynamic Knowledge Representation and Its Applications

      • José Júlio Alferes, Luýs Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma
      Pages 1-10

    2. Using Consensus Methods for Determining the Representation of Expert Informationin Distributed Systems

      • Ngoc Thanh Nguyen
      Pages 11-20

    3. Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools

      • Joost Breuker, Emil Petkov, Radboud Winkels
      Pages 21-33

    4. Steps towards C+C: A Language for Interactions

      • Stefano A. Cerri, Jean Sallantin, Emmanuel Castro, Daniele Maraschi
      Pages 34-48

  3. Reasoning under Certainty

    1. Efficient Reasoning Using the Local Closed-World Assumption

      • Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
      Pages 49-58

    2. Least Generalization under Relative Implication

      • Svetla Boytcheva
      Pages 59-68

    3. Theorem Proving for Constructive λ-Calculus

      • Allan Ramsay
      Pages 69-79

  4. Reasoning under Uncertainty

    1. Classification with Belief Decision Trees

      • Zied Elouedi1, Khaled Mellouli1, Philippe Smets
      Pages 80-90

    2. A Temporal Many-Valued Logic for Real Time Control Systems

      • Gonzalo Escalada-Imaz
      Pages 91-100

    3. Propositional Contexts

      • Christo Dichev, Trendafil Madarov
      Pages 101-110

  5. Best Paper Award

    1. An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis

      • Belarmino Pulido, Carlos Alonso
      Pages 111-121

  6. Actors, Agents

    1. An Open Approach to Distribution, Awareness and Cooperative Work

      • Walter Balzano, Antonina Dattolo, Vincenzo Loia
      Pages 122-131

    2. How to Schedule a Job Shop Problem through Agent Cooperation

      • Khaled Ghédira, Meriem Ennigrou
      Pages 132-141

    3. Revisable Analysis and Design throughout Actors Interaction

      • Hassen Kriaa, Guy Gouarderes
      Pages 142-151

    4. Simulation and Multi-agent Environment for Aircraft Maintenance Learning

      • G. Gouarderes, A. Minko, L. Richard
      Pages 152-166

  7. Web, Mining

    1. Improving WWW Access - from Single-Purpose Systems to Agent Architectures?

      • D. Sramek, P. Berka, J. Kosek, V. Svatek
      Pages 167-178

    2. A General Architecture for Finding Structural Regularities on the Web

      • P. A. Laur, F. Masseglia, P. Poncelet, M. Teisseire
      Pages 179-188

    3. Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing

      • Preslav Nakov
      Pages 189-198

  8. Natural Language

    1. What Did He Mean by That?

      • Allan Ramsay, Helen Seville
      Pages 199-209
Back to top

Keywords

Bibliographic Information

  • Book Title: Artificial Intelligence: Methodology, Systems, and Applications

  • Book Subtitle: 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 Proceedings

  • Editors: Stefano A. Cerri, Danail Dochev

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-45331-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2000

  • Softcover ISBN: 978-3-540-41044-7Published: 06 September 2000

  • eBook ISBN: 978-3-540-45331-4Published: 31 July 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 372

  • Topics: Artificial Intelligence, Algorithm Analysis and Problem Complexity

Publish with us

Policies and ethics

Back to top

Search

Navigation