LEADER 05433nam 22005655 450 001 996466147003316 005 20200702090800.0 010 $a3-540-48979-7 024 7 $a10.1007/3-540-58467-6 035 $a(CKB)1000000000234183 035 $a(SSID)ssj0000324243 035 $a(PQKBManifestationID)11241176 035 $a(PQKBTitleCode)TC0000324243 035 $a(PQKBWorkID)10312708 035 $a(PQKB)11412114 035 $a(DE-He213)978-3-540-48979-5 035 $a(PPN)155230433 035 $a(EXLCZ)991000000000234183 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aKI-94: Advances in Artificial Intelligence$b[electronic resource] $e18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings /$fedited by Bernhard Nebel, Leonie Dreschler-Fischer 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (XI, 409 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v861 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58467-6 327 $aAI approaches towards sensor-based driver support in road vehicles -- Representing concurrent actions and solving conflicts -- Preselection strategies for case based classification -- Utilizing spatial relations for natural language access to an autonomous mobile robot -- Cardinality restrictions on concepts -- An artificial neural network for high precision eye movement tracking -- A Kripke-Kleene logic over general logic programs -- The stable semantics and its variants: A comparison of recent approaches -- TabVer a case study in table verbalization -- Cooperating to be noncooperative: The dialog system PRACMA -- Robust constructive induction -- Enriching a semantic network language by integrating qualitative reasoning techniques -- Combining spatial and terminological reasoning -- Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture -- The NeuDB-system: Towards the integration of neural networks and database systems -- Weighted defaults in description logics: Formal properties and proof theory -- Epistemic queries in Classic -- Communicating rational agents -- Knowledge-level modularization of a complex knowledge base -- Program verification techniques as a tool for reasoning about action and change -- A conditional logic for updating in the possible models approach -- Probabilistic justification of default reasoning -- A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory -- Incorporating specificity into circumscriptive theories -- Coherent choice and epistemic entrenchment (preliminary report) -- A note on tableaux of logic of paradox -- When nonmonotonicity comes from distances -- Rigid unification by completion and rigid paramodulation -- Unification in a sorted ?-calculus with term declarations and function sorts -- Goal oriented equational theorem proving using team work -- The hardest random SAT problems -- Formal methods for automated program improvement -- Adapting methods to novel tasks in proof planning -- Using charts for transfer in MT -- A new frame for common-sense reasoning ? Towards local inconsistencies -- Prioritized transitions for updates -- An optimal bidirectional search algorithm -- Learning to discriminate phases in gas-liquid flow -- Strategies for semantical contractions -- Conflicts in the spatial interaction of autonomous agents -- Using rough sets theory to predict German word stress -- Graphtheoretical algorithms and knowledge-based design -- Interval situation calculus. 330 $aThis volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. Besides the invited paper "AI approaches towards sensor-based support in road vehicles" by H.-H. Nagel, the book contains 33 full research papers and 12 poster presentations selected from a total of 98 contributions, half of them originating from outside Germany. The papers cover all relevant aspects of AI with a certain focus on knowledge representation and logical foundations of AI; further topics covered are neural network applications, logic programming, natural language, machine learning, and reasoning. 410 0$aLecture Notes in Artificial Intelligence ;$v861 606 $aArtificial intelligence 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aNebel$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDreschler-Fischer$b Leonie$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aGerman Conference on Artificial Intelligence 906 $aBOOK 912 $a996466147003316 996 $aKI-94: Advances in Artificial Intelligence$92831233 997 $aUNISA