## KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings, Volume 20This 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.

### Contents

Rational Models of Normal Logic Programs | 1 |

A Disjunctive Logic Programming System Based on PROTEIN | 19 |

The Teamwork Approach | 43 |

Copyright | |

20 other sections not shown

### Other editions - View all

### Common terms and phrases

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