Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006785356/catalog> ?p ?o. }

Showing items 1 to 28 of 28 with 100 items per page.

catalog abstract ""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.".
catalog contributor b9423060.
catalog contributor b9423061.
catalog contributor b9423062.
catalog contributor b9423063.
catalog created "c1995.".
catalog date "1995".
catalog date "c1995.".
catalog dateCopyrighted "c1995.".
catalog description ""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.".
catalog description "Includes bibliographical references and index.".
catalog description "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 [and others] -- 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.".
catalog extent "xii, 268 p. :".
catalog identifier "3540603433 (Springer-Verlag : Berlin : alk. paper)".
catalog isPartOf "Lecture notes in computer science ; 981. Lecture notes in artificial intelligence".
catalog isPartOf "Lecture notes in computer science ; 981.".
catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
catalog issued "1995".
catalog issued "c1995.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "006.3 20".
catalog subject "Artificial intelligence Congresses.".
catalog subject "Q334 .G466 1995".
catalog tableOfContents "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 [and others] -- 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.".
catalog title "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.).".
catalog type "Conference proceedings. fast".
catalog type "text".