LEADER 03817nam 22005295 450 001 996466158203316 005 20200703033242.0 010 $a3-540-44944-2 024 7 $a10.1007/3-540-60343-3 035 $a(CKB)1000000000234341 035 $a(SSID)ssj0000324244 035 $a(PQKBManifestationID)11240633 035 $a(PQKBTitleCode)TC0000324244 035 $a(PQKBWorkID)10304331 035 $a(PQKB)11529909 035 $a(DE-He213)978-3-540-44944-7 035 $a(PPN)155185896 035 $a(EXLCZ)991000000000234341 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aKI-95: Advances in Artificial Intelligence$b[electronic resource] $e19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings /$fedited by Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XIII, 275 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v981 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60343-3 327 $aPartially observable Markov decision processes for artificial intelligence -- Robust processing of natural language -- Distinction networks -- The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors -- An extension of explanation-based generalization to negation as failure -- Inducing integrity constraints from knowledge bases -- Dynamic structuring of lexical knowledge in a reusability scenario -- Efficient memory-limited graph search -- Quality-based terminological reasoning for concept learning -- Task acquisition with a description logic reasoner -- Parallelizing description logics -- Automated termination proofs with measure functions -- What is a skeptical proof? -- Default entailment -- Actions that make you change your mind -- Reasoning about action with typical and atypical effects -- Reasoning about action and change: Actions with abnormal effects -- Temporal logic based on characteristic functions -- Computational properties of qualitative spatial reasoning: First results -- An empirically validated model for computing spatial relations -- Integrating vision and language: Towards automatic description of human movements. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v981 606 $aArtificial intelligence 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 702 $aWachsmuth$b Ipke$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRollinger$b Claus-Rainer$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBrauer$b Wilfried$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aGerman Conference on Artificial Intelligence 906 $aBOOK 912 $a996466158203316 996 $aKI-95: Advances in Artificial Intelligence$92830417 997 $aUNISA