My Wish Lists Login / Join

KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on Ai, Vienna, Austria, September 19-21, 2001. Proceedings - Franz Baader

Instant online reading.
Don't wait for delivery!

KI 2001: Advances in Artificial Intelligence

Joint German/Austrian Conference on Ai, Vienna, Austria, September 19-21, 2001. Proceedings

By: Franz Baader (Editor), Gerhard Brewka (Editor), Thomas Eiter (Editor)

Write A Review

Paperback | 5 September 2001

At a Glance

Paperback
492 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: - 2 contributions by invited speakers of the conference; - 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; - 4 contributions by participants of the industrial day, during which companies working in the ?eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¨ for Arti?cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then ?fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Medicine Medicine in General

Invited Contributions
Computational Game Theory and AI	p. 1
Optimal Agent Section	p. 2
Selected Papers
Towards First-Order Temporal Resolution	p. 18
Approximating Most Specific Concepts in Description Logics with Existential Restrictions	p. 33
Bayesian Learning and Evolutionary Parameter Optimization	p. 48
Papers on Foundations
Abductive Partial Order Planning with Dependent Fluents	p. 63
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques	p. 78
Possible Worlds Semantics for Credulous and Contraction Inference	p. 94
The Point Algebra for Branching Time Revisited	p. 106
Exploiting Conditional Equivalences in Connection Calculi	p. 122
Propositional Satisfiability in Answer-Set Programming	p. 138
Prediction of Regular Search Tree Growth by Spectral Analysis	p. 154
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search	p. 169
Hierarchical Diagnosis of Large Configurator Knowledge Bases	p. 185
Towards Distributed Configuration	p. 198
Belief Update in the pGOLOG Framework	p. 213
Finding Optimal Solutions to Atomix	p. 229
History-Based Diagnosis Templates in the Framework of the Situation Calculus	p. 244
A Defense Model for Games with Incomplete Information	p. 260
Towards Inferring Labelling Heuristics for CSP Application Domains	p. 275
Addressing the Qualification Problem in FLUX	p. 290
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots	p. 305
Learning Search Control Knowledge for Equational Theorem Proving	p. 320
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis	p. 335
Comparing Two Models for Software Debugging	p. 351
Inferring Implicit State Knowledge and Plans with Sensing Actions	p. 366
Papers on Applications
Multi-agent Systems as Intelligent Virtual Environments	p. 381
OilEd: A Reason-able Ontology Editor for the Semantic Web	p. 396
Experiments with an Agent-Oriented Reasoning System	p. 409
Learning to Execute Navigation Plans	p. 425
DiKe - A Model-Based Diagnosis Kernel and Its Application	p. 440
Industrial Papers
Constraints Applied to Configurations	p. 455
From Theory to Practice: AI Planning for High Performance Elevator Control	p. 459
Semantic Networks in a Knowledge Management Portal	p. 463
Collaborative Supply Net Management	p. 467
Author Index	p. 471
Table of Contents provided by Publisher. All Rights Reserved.

KI 2001: Advances in Artificial Intelligence

Joint German/Austrian Conference on Ai, Vienna, Austria, September 19-21, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Nexus

A Brief History of Information Networks from the Stone Age to AI

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

AI Powered Digital Twins

A Guide for Humans, Engineers, and Enterprises

Co-Intelligence

Living and Working with AI

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Sutskever''s List

Foundational Ideas of Modern AI

AI for Public Relations

A How-To Guide for Implementation and Management

Artificially Yours

Real Friendship in a World of Chatbots

AI and Data Science in Medical Research

New Developments and Advances

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

Innovative Computing and Communications

Proceedings of ICICC 2026, Volume 1

Digital Twin Pose Detection for Mechanical Equipment

Theory and Methods for Intelligent Multi-Source Pose Deduction and Reconstruction of Fully-Mechanized Mining Equipment Clusters

Mathematics of Uncertainty Applied to Global Issues

Sustainability, Mistreatment of Women, Nuclear Power, Smart Cities, Digitalization

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Project Maven

A Marine Colonel, His Team, and the Dawn of AI Warfare

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

Current Trends in Automated Reasoning

Cancer Diagnosis and Prognosis

Role of Radiomics and Artificial Intelligence

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

This product is categorised by