Coverart for item
The Resource KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings, Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, (eds.)

KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings, Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, (eds.)

Label
KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings
Title
KI-95
Title remainder
advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings
Statement of responsibility
Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
"This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
  • Q334
  • QA76
LC item number
  • .G466 1995
  • .L4 no.981
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
German Conference on Artificial Intelligence
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Wachsmuth, Ipke
  • Rollinger, Claus-Rainer
  • Brauer, Wilfried
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
981.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • optimisation
  • logique temporelle
  • raisonnement spatial
  • non monotonie
  • système base connaissance
  • organisation connaissance
  • intelligence artificielle
  • Intelligence artificielle
  • Représentation des connaissances
  • Artificial intelligence
  • Kunstmatige intelligentie
  • Kennissystemen
  • Logica
  • Représentation des connaissances
  • Raisonnement
  • Intelligence artificielle
Label
KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings, Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Partially observable Markov decision processes for artificial intelligence / Leslie Pack Kaelbling, Michael L. Littman, and Anthony R. Cassandra -- Robust processing of natural language / Wolfgang Menzel -- Distinction networks / William Bricken -- The problem of signal and symbol integration : a study of cooperative mobile autonomous agent behaviors / Ruzena Bajcsy and Jana Košecká -- An extension of explanation-based generalization to negation as failure / Stefan Schrödl -- Inducing integrity constraints from knowledge bases / Roman Englert -- Dynamic structuring of lexical knowledge in a reusability scenario / Wilfried Hötker -- Efficient memory-limited graph search / Jürgen Eckerle and Sven Schuierer -- Quality-based terminological reasoning for concept learning / Klemens Schnattinger, Udo Hahn, and Manfred Klenner -- Task acquisition with a description logic reasoner / M. Buchheit ... [et al.] -- Parallelizing description logics / Frank W. Bergmann and J. Joachim Quantz -- Automated termination proofs with measure functions / Jürgen Giesl -- What is a skeptical proof? / Michael Thielscher -- Default entailment : a preferential construction semantics for defeasible inference / Emil Weydert -- Actions that make you change your mind / B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer -- Reasoning about action with typical and atypical effects / Anna Radzikowska -- Reasoning about action and change : actions with abnormal effects / Witold Lukaszewicz and Ewa Madalińska-Bugaj -- Temporal logic based on characteristic functions / Maroua Bouzid and Antonio Ligeza -- Computational properties of qualitative spatial reasoning : first results / Bernhard Nebel -- An empirically validated model for computing spatial relations / Klaus-Peter Gapp -- Integrating vision and language : towards automatic description of human movements / Gerd Herzog
Dimensions
24 cm.
Extent
xii, 268 pages
Isbn
9783540603436
Lccn
95223443
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)33285308
  • (OCoLC)ocm33285308
Label
KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings, Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer, (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Partially observable Markov decision processes for artificial intelligence / Leslie Pack Kaelbling, Michael L. Littman, and Anthony R. Cassandra -- Robust processing of natural language / Wolfgang Menzel -- Distinction networks / William Bricken -- The problem of signal and symbol integration : a study of cooperative mobile autonomous agent behaviors / Ruzena Bajcsy and Jana Košecká -- An extension of explanation-based generalization to negation as failure / Stefan Schrödl -- Inducing integrity constraints from knowledge bases / Roman Englert -- Dynamic structuring of lexical knowledge in a reusability scenario / Wilfried Hötker -- Efficient memory-limited graph search / Jürgen Eckerle and Sven Schuierer -- Quality-based terminological reasoning for concept learning / Klemens Schnattinger, Udo Hahn, and Manfred Klenner -- Task acquisition with a description logic reasoner / M. Buchheit ... [et al.] -- Parallelizing description logics / Frank W. Bergmann and J. Joachim Quantz -- Automated termination proofs with measure functions / Jürgen Giesl -- What is a skeptical proof? / Michael Thielscher -- Default entailment : a preferential construction semantics for defeasible inference / Emil Weydert -- Actions that make you change your mind / B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer -- Reasoning about action with typical and atypical effects / Anna Radzikowska -- Reasoning about action and change : actions with abnormal effects / Witold Lukaszewicz and Ewa Madalińska-Bugaj -- Temporal logic based on characteristic functions / Maroua Bouzid and Antonio Ligeza -- Computational properties of qualitative spatial reasoning : first results / Bernhard Nebel -- An empirically validated model for computing spatial relations / Klaus-Peter Gapp -- Integrating vision and language : towards automatic description of human movements / Gerd Herzog
Dimensions
24 cm.
Extent
xii, 268 pages
Isbn
9783540603436
Lccn
95223443
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)33285308
  • (OCoLC)ocm33285308

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...