Descripción del título
KI-94: Advances in Artifici...
This 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
Monografía
monografia Rebiun21732274 https://catalogo.rebiun.org/rebiun/record/Rebiun21732274 m o d cr mnu---uuaaa 121227s1994 gw o 000 0 eng 990600226 993773433 1006418355 1036750463 1044498527 9783540489795 electronic bk.) 3540489797 electronic bk.) 9783540584674 3540584676 3540489797 10.1007/3-540-58467-6 doi UPVA 996968169203706 AU@ eng pn AU@ OCLCO GW5XE OCLCA ITD OCLCF NUI OCLCQ UAB ESU OCLCQ AU@ OCLCA SHS UYQ bicssc TJFM1 bicssc COM004000 bisacsh KI-94: Advances in Artificial Intelligence 18th German Annual Conference on Artificial Intelligence Saarbrücken, Germany, September 18-23, 1994 Proceedings edited by Bernhard Nebel, Leonie Dreschler-Fischer Berlin, Heidelberg Springer Berlin Heidelberg 1994 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg 1 online resource (x, 401 pages) 1 online resource (x, 401 pages) Text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence 0302-9743 861 AI 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 This 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 Computer science Artificial intelligence Artificial intelligence. Computer science. Computer Science. Engineering & Applied Sciences. Electronic books Nebel, Bernhard Dreschler-Fischer, Leonie Print version 9783540584674 Lecture notes in computer science. Lecture notes in artificial intelligence 861