skip to content
KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings Preview this item
ClosePreview this item
Checking...

KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings

Author: Gerhard Brewka; Christopher Habel; Bernhard Nebel
Publisher: Berlin ; New York : Springer, ©1997.
Series: Lecture notes in computer science, 1303.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Gerhard Brewka; Christopher Habel; Bernhard Nebel
ISBN: 3540634932 9783540634935
OCLC Number: 37560824
Description: xi, 412 pages : illustrations ; 24 cm.
Contents: Qualitative Spatial Representation and Reasoning Techniques / Anthony G. Cohn --
COLBERT: A Language for Reactive Control in Sapphira / Kurt Konolige --
Machine Learning for Adaptive User Interfaces / Pat Langley --
Structured Incremental Proof Planning / Stefan Gerberding and Brigitte Pientka --
Many-Sorted Logic in a Learning Theorem Prover / Thomas Kolbe and Sabine Glesner --
Rigid Hypertableaux / Michael Kuhn --
Minimal Model Generation Based on E-hyper Tableaux / Wenjin Lu --
External Analogy in Inductive Theorem Proving / Erica Melis and Jon Whittle --
Mechanising Partiality without Re-implementation / Manfred Kerber and Michael Kohlhase --
From Linear Proofs to Direct Logic with Exponentials / Enno Sandner --
Integrating an Equality Prover into a Software Development System Based on Type Theory / Martin Strecker and Maria Sorea --
Causation and Nonmonotonic Temporal Reasoning / Peter Grunwald --
Labelled Quantified Modal Logics / David Basin, Sean Matthews and Luca Vigano --
Defining Decision Rules in Signed Horn Clauses / Barbara Messing --
Modeling Subjective Distances / Bettina Berendt --
An Axiomatic Approach to the Spatial Relations Underlying "left"-"right" and "in front of"-"behind" / Carola Eschenbach and Lars Kulik --
Representation and Processing of Qualitative Orientation Knowledge / Ralf Rohrig --
A Contribution to the Question of Authenticity of Rhesus Using Part-of-Speech-Tagging / Bernd Ludwig --
Making Objects More Knowledgeable / Susanne Schacht and Udo Hahn --
Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence / Klemens Schnattinger and Udo Hahn --
Conceptualizing Adjectives / Steffen Staab and Udo Hahn --
Parsing N Best Trees from a Word Lattice / Hans Weber, Jorg Spilker and Gunther Gorz --
Fast Grid-Based Position Tracking for Mobile Robots / Wolfram Burgard, Dieter Fox and Daniel Henning. Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming / Michael Haag, Wolfgang Theilmann and Karl H. Schafer [and others] --
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks / Steffen Holldobler, Yvonne Kalinke and Helko Lehmann --
Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks / Stefan K. Bamberger --
Tabu Search vs. Random Walk / Olaf Steinmann, Antje Strohmaier and Thomas Stutzle --
Multi-flip Networks: Parallelizing GenSAT / Antje Strohmaier --
Resource-Adaptive Action Planning in a Dialogue System for Repair Support / Thomas Weis --
A Modal Computational Framework for Default Reasoning / Alberto Artosi, Paola Cattabriga and Guido Governatori --
Planning Diagonalization Proofs / Lassaad Cheikhrouhou --
Suffix Tree Automata in State Space Search / Stefan Edelkamp --
Connection Cutting for Contraction Free Logic / Bertram Fronhofer --
Agents in Proactive Environments / Dov Gabbay, Rolf Nossum and Michael Thielscher --
Reducing Lexical Redundancy by Augmenting Conceptual Knowledge / Sven Hartrumpf and Marion Schulz --
A Graphical User Interface for an ECG Classifier System / Jorg Nilson and Gabriella Kokai --
Expert System in Additional Finishing / Nenad Stojanovic, Ljiljana Stoiljkovic and Dejan Milenovic [et al.] --
Reasoning About Exceptions / Leendert W.N. van der Torre and Yao-Hua Tan --
Learning and Interpretation of the Layout of Structured Documents / Hanno Walischewski.
Series Title: Lecture notes in computer science, 1303.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/37560824> # KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "37560824" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890394501#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/890394501#Topic/intelligence_artificielle_congres> ; # Intelligence artificielle--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/890394501#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://dewey.info/class/006.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/890394501#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://experiment.worldcat.org/entity/work/data/890394501#Topic/theoremes_demonstration_automatique_congres> ; # Théorèmes--Démonstration automatique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/890394501#Topic/inteligencia_artificial> ; # Inteligencia artificial
   schema:about <http://experiment.worldcat.org/entity/work/data/890394501#Topic/representation_des_connaissances_congres> ; # Représentation des connaissances--Congrès
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/890394501#Person/brewka_gerhard> ; # Gerhard Brewka
   schema:contributor <http://viaf.org/viaf/93317810> ; # Bernhard Nebel
   schema:contributor <http://experiment.worldcat.org/entity/work/data/890394501#Person/habel_christopher> ; # Christopher Habel
   schema:copyrightYear "1997" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/890394501#Meeting/german_conference_on_artificial_intelligence_21st_1997_freiburg_germany> ; # German Conference on Artificial Intelligence (21st : 1997 : Freiburg, Germany)
   schema:datePublished "1997" ;
   schema:description "Qualitative Spatial Representation and Reasoning Techniques / Anthony G. Cohn -- COLBERT: A Language for Reactive Control in Sapphira / Kurt Konolige -- Machine Learning for Adaptive User Interfaces / Pat Langley -- Structured Incremental Proof Planning / Stefan Gerberding and Brigitte Pientka -- Many-Sorted Logic in a Learning Theorem Prover / Thomas Kolbe and Sabine Glesner -- Rigid Hypertableaux / Michael Kuhn -- Minimal Model Generation Based on E-hyper Tableaux / Wenjin Lu -- External Analogy in Inductive Theorem Proving / Erica Melis and Jon Whittle -- Mechanising Partiality without Re-implementation / Manfred Kerber and Michael Kohlhase -- From Linear Proofs to Direct Logic with Exponentials / Enno Sandner -- Integrating an Equality Prover into a Software Development System Based on Type Theory / Martin Strecker and Maria Sorea -- Causation and Nonmonotonic Temporal Reasoning / Peter Grunwald -- Labelled Quantified Modal Logics / David Basin, Sean Matthews and Luca Vigano -- Defining Decision Rules in Signed Horn Clauses / Barbara Messing -- Modeling Subjective Distances / Bettina Berendt -- An Axiomatic Approach to the Spatial Relations Underlying "left"-"right" and "in front of"-"behind" / Carola Eschenbach and Lars Kulik -- Representation and Processing of Qualitative Orientation Knowledge / Ralf Rohrig -- A Contribution to the Question of Authenticity of Rhesus Using Part-of-Speech-Tagging / Bernd Ludwig -- Making Objects More Knowledgeable / Susanne Schacht and Udo Hahn -- Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence / Klemens Schnattinger and Udo Hahn -- Conceptualizing Adjectives / Steffen Staab and Udo Hahn -- Parsing N Best Trees from a Word Lattice / Hans Weber, Jorg Spilker and Gunther Gorz -- Fast Grid-Based Position Tracking for Mobile Robots / Wolfram Burgard, Dieter Fox and Daniel Henning."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/890394501> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890394501#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890394501#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:name "KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings"@en ;
   schema:productID "37560824" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/37560824#PublicationEvent/berlin_new_york_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890394501#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540634935> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/37560824> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Meeting/german_conference_on_artificial_intelligence_21st_1997_freiburg_germany> # German Conference on Artificial Intelligence (21st : 1997 : Freiburg, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/890394501#Place/freiburg_germany> ; # Freiburg, Germany)
   schema:name "German Conference on Artificial Intelligence (21st : 1997 : Freiburg, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Person/brewka_gerhard> # Gerhard Brewka
    a schema:Person ;
   schema:familyName "Brewka" ;
   schema:givenName "Gerhard" ;
   schema:name "Gerhard Brewka" ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Person/habel_christopher> # Christopher Habel
    a schema:Person ;
   schema:familyName "Habel" ;
   schema:givenName "Christopher" ;
   schema:name "Christopher Habel" ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Place/freiburg_germany> # Freiburg, Germany)
    a schema:Place ;
   schema:name "Freiburg, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/37560824> ; # KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/37560824> ; # KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings
   schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Topic/inteligencia_artificial> # Inteligencia artificial
    a schema:Intangible ;
   schema:name "Inteligencia artificial"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Topic/intelligence_artificielle_congres> # Intelligence artificielle--Congrès
    a schema:Intangible ;
   schema:name "Intelligence artificielle--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
   schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Topic/representation_des_connaissances_congres> # Représentation des connaissances--Congrès
    a schema:Intangible ;
   schema:name "Représentation des connaissances--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890394501#Topic/theoremes_demonstration_automatique_congres> # Théorèmes--Démonstration automatique--Congrès
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique--Congrès"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://viaf.org/viaf/93317810> # Bernhard Nebel
    a schema:Person ;
   schema:birthDate "1956" ;
   schema:familyName "Nebel" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Nebel" ;
    .

<http://worldcat.org/isbn/9783540634935>
    a schema:ProductModel ;
   schema:isbn "3540634932" ;
   schema:isbn "9783540634935" ;
    .

<http://www.worldcat.org/title/-/oclc/37560824>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/37560824> ; # KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings
   schema:dateModified "2017-10-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.