KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings, Volume 20
This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.
The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Rational Models of Normal Logic Programs
A Disjunctive Logic Programming System Based on PROTEIN
The Teamwork Approach
20 other sections not shown
Other editions - View all
Abstract action active agents algorithm analogy application approach Artificial Intelligence atomic attributes automated theorem proving belief set calendars Case-Based Reasoning categorial grammar circuit classification clauses complete computation concept description consistent constraints context corresponding critical pairs CRNs default logic default theory defined Definition denote description logics disjunctive distributed domain description efficient equations example exp/bth experts extension finite fluent formal formula function genetic algorithm given goal grammar graph GSAT heuristics induction inference instances knowledge base knowledge representation language logic programs measurements modal logics Morgan Kaufmann nodes objects occur optimal performance problem Proc propositional prosodic quality labels query reasoning relations relay represented retrieval revision role rules satisfiable search space segmentation semantic semantic network skeleton solving structure subgoal sum(z symbols syntactic task terminological theorem proving tion transformation transitive closure variables