This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997.
The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.
Author(s): A. G. Cohn (auth.), Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.)
Series: Lecture Notes in Computer Science 1303 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 418
Tags: Artificial Intelligence (incl. Robotics)
Qualitative spatial representation and reasoning techniques....Pages 1-30
COLBERT: A language for reactive control in Sapphira....Pages 31-52
Machine learning for adaptive user interfaces....Pages 53-62
Structured incremental proof planning....Pages 63-74
Many-sorted logic in a learning theorem prover....Pages 75-86
Rigid hypertableaux....Pages 87-98
Minimal model generation based on E-hyper tableaux....Pages 99-110
External analogy in inductive theorem proving....Pages 111-122
Mechanising partiality without re-implementation....Pages 123-134
From linear proofs to direct logic with exponentials....Pages 135-146
Integrating an equality prover into a software development system based on type theory....Pages 147-158
Causation and nonmonotonic temporal reasoning....Pages 159-170
Labelled quantified modal logics....Pages 171-182
Defining decision rules in signed horn clauses....Pages 183-194
Modelling subjective distances....Pages 195-206
An axiomatic approach to the spatial relations underlying left-right and in front of-behind ....Pages 207-218
Representation and processing of qualitative orientation knowledge....Pages 219-230
A contribution to the question of authenticity of Rhesus using part-of-speech tagging....Pages 231-242
Making objects more knowledgeable....Pages 243-254
Constraining the acquisition of concepts by the quality of heterogeneous evidence....Pages 255-266
Conceptualizing Adjectives....Pages 267-278
Parsing N best trees from a word lattice....Pages 279-288
Fast grid-based position tracking for mobile robots....Pages 289-300
Integration of image sequence evaluation and fuzzy metric temporal logic programming....Pages 301-312
Designing a counter: Another case study of dynamics and activation landscapes in recurrent networks....Pages 313-324
Cooperating diagnostic expert systems to solve complex diagnosis tasks....Pages 325-336
Tabu search vs. Random walk....Pages 337-348
Multi-flip networks: Parallelizing genSAT....Pages 349-360
Resource-adaptive action planning in a dialogue system for repair support....Pages 361-372
A modal computational framework for default reasoning....Pages 373-376
Planning diagonalization proofs....Pages 377-380
Suffix tree automata in state space search....Pages 381-384
Connection Cutting for Contraction Free Logic....Pages 385-388
Agents in proactive environments....Pages 389-392
Reducing lexical redundancy by augmenting conceptual knowledge....Pages 393-396
A graphical user interface for an ECG classifier system....Pages 397-400
Expert system in additional finishing....Pages 401-404
Reasoning about exceptions (extended abstract)....Pages 405-408
Learning and interpretation of the layout of structured documents....Pages 409-412
