Ebook: KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings

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.

---

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.

---

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.
Content:
Front Matter....Pages -
Rational models of normal logic programs....Pages 1-4
Massively parallel reasoning about actions....Pages 5-17
DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover....Pages 19-23
Abstraction as a heuristic to guide planning....Pages 25-28
Equational theorem proving using taxonomic constraints....Pages 29-42
Planning for distributed theorem proving: The teamwork approach....Pages 43-56
A revision of Dependency-Directed Backtracking for JTMS....Pages 57-60
A compiler-interpreter-system for decoding the user's intention within a speech understanding application....Pages 61-65
Cyclic rules in Linear Connection Proofs....Pages 67-70
Optimized nearest-neighbor classifiers using generated instances....Pages 71-83
Towards a totally distributed meeting scheduling system....Pages 85-97
Representations as basis of cognitive processes....Pages 99-101
Improving the functionality of a text-to-speech system by adding morphological knowledge....Pages 103-106
Solving hard combinatorial problems with GSAT — A case study....Pages 107-119
Using rippling for equational reasoning....Pages 121-133
Reasoning about action and change: Defeasible observations and actions with abnormal effects....Pages 135-147
Falldaten: Case-based reasoning for the diagnosis of technical devices....Pages 149-161
Integration of prosodic and grammatical information in the analysis of dialogs....Pages 163-174
Application of a genetic algorithm for plausible justification of observations....Pages 175-178
Managing multiple contexts efficiently....Pages 179-182
Inductive learning in symbolic domains using structure-driven recurrent neural networks....Pages 183-197
Belief revision in a nonclassical logic....Pages 199-211
Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key....Pages 213-226
Case retrieval nets: Basic ideas and extensions....Pages 227-239
Putting default logics in perspective....Pages 241-252
EULE2: A prototypical knowledge-based decision support system for the performance of office tasks....Pages 253-257
When to prove theorems by analogy?....Pages 259-271
Probabilistic knowledge representation and reasoning at maximum entropy by SPIRIT....Pages 273-285
Knowledge based image understanding by iterative optimization....Pages 287-301
Knowledge organization using the development system FAENSY....Pages 303-306
A uniform proof procedure for classical and non-classical logics....Pages 307-319
Qualitative reasoning under uncertainty with symbolic probabilities....Pages 321-325
Narratives with concurrent actions: The mutual exclusion problem (extended abstract)....Pages 327-330
Tools for autonomous agents....Pages 331-331
A concept language extended with different kinds of transitive roles....Pages 333-345
Representation in auditory cortex....Pages 347-347
A terminological qualification calculus for preferential reasoning under uncertainty....Pages 349-362
Syntactic disambiguation by using categorial parsing in a DOOD framework....Pages 363-375
Constructive disjunction revisited....Pages 377-386
Back Matter....Pages -

---

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.
Content:
Front Matter....Pages -
Rational models of normal logic programs....Pages 1-4
Massively parallel reasoning about actions....Pages 5-17
DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover....Pages 19-23
Abstraction as a heuristic to guide planning....Pages 25-28
Equational theorem proving using taxonomic constraints....Pages 29-42
Planning for distributed theorem proving: The teamwork approach....Pages 43-56
A revision of Dependency-Directed Backtracking for JTMS....Pages 57-60
A compiler-interpreter-system for decoding the user's intention within a speech understanding application....Pages 61-65
Cyclic rules in Linear Connection Proofs....Pages 67-70
Optimized nearest-neighbor classifiers using generated instances....Pages 71-83
Towards a totally distributed meeting scheduling system....Pages 85-97
Representations as basis of cognitive processes....Pages 99-101
Improving the functionality of a text-to-speech system by adding morphological knowledge....Pages 103-106
Solving hard combinatorial problems with GSAT — A case study....Pages 107-119
Using rippling for equational reasoning....Pages 121-133
Reasoning about action and change: Defeasible observations and actions with abnormal effects....Pages 135-147
Falldaten: Case-based reasoning for the diagnosis of technical devices....Pages 149-161
Integration of prosodic and grammatical information in the analysis of dialogs....Pages 163-174
Application of a genetic algorithm for plausible justification of observations....Pages 175-178
Managing multiple contexts efficiently....Pages 179-182
Inductive learning in symbolic domains using structure-driven recurrent neural networks....Pages 183-197
Belief revision in a nonclassical logic....Pages 199-211
Avoiding combinatorial explosion in automatic test generation: Reasoning about measurements is the key....Pages 213-226
Case retrieval nets: Basic ideas and extensions....Pages 227-239
Putting default logics in perspective....Pages 241-252
EULE2: A prototypical knowledge-based decision support system for the performance of office tasks....Pages 253-257
When to prove theorems by analogy?....Pages 259-271
Probabilistic knowledge representation and reasoning at maximum entropy by SPIRIT....Pages 273-285
Knowledge based image understanding by iterative optimization....Pages 287-301
Knowledge organization using the development system FAENSY....Pages 303-306
A uniform proof procedure for classical and non-classical logics....Pages 307-319
Qualitative reasoning under uncertainty with symbolic probabilities....Pages 321-325
Narratives with concurrent actions: The mutual exclusion problem (extended abstract)....Pages 327-330
Tools for autonomous agents....Pages 331-331
A concept language extended with different kinds of transitive roles....Pages 333-345
Representation in auditory cortex....Pages 347-347
A terminological qualification calculus for preferential reasoning under uncertainty....Pages 349-362
Syntactic disambiguation by using categorial parsing in a DOOD framework....Pages 363-375
Constructive disjunction revisited....Pages 377-386
Back Matter....Pages -
....