Scandinavian Conference on Artificial Intelligence - 93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum, Stockholm, Sweden, May 4-7, 1993 : SCAI-93
著者
書誌事項
Scandinavian Conference on Artificial Intelligence - 93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum, Stockholm, Sweden, May 4-7, 1993 : SCAI-93
(Frontiers in artificial intelligence and applications)
IOS Press, 1993
- タイトル別名
-
Scandinavian Conference on AI - 93
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and author index
内容説明・目次
内容説明
The Nordic countries are traditionally strong in the application of new computer technology. This work represents the state of the art in some of the artificial intelligence areas currently subject to active R&D. International researchers present 24 papers in the following areas: automated reasoning; qualitative reasoning; machine learning; neural networks; and knowledge-based systems. Both basic and applied AI research are represented.
目次
Automated reasoning I Bridging a Gap Between Al research and Philosophy Sven Ove Hansson.......................................................... .... 1 Semantical Correspondence Properties of Some Modal Systems of Logic Rolf Nossum and Dov Gabbay.................................................... 10 Computing Extensions of Nonmonotonic Logics Grigoris Antoniou and Volker Sperschneider.................................... 20 Qualitative Reasoning QSQR: Quantitatively Scoped Qualitative Reasoning Craig MacNish, Antony Galton and John Gooday.................................. 30 An Approach for Qualitatively Predicting Relations from Relations Thomas Fuhr, Franz Kummert, Stefan Posch and Gerhard Sagerer.................. 38 The Use of a Rule-Based System for Qualitative Reasoning Saulius Maskeliunas..................................................... ..... 50 A New Approach towards Monitoring in Intelligent Autonomous Robots Jorg-Michael Hasemann and Tapio Heikkila................................... 60 Automated reasoning 11 A simple Mechanism for Temporal Deduction and Prediction Nicolas Chleq............................................................ ..... 77 The Analytic Tableaux Deduction for Linear Miniscoped Temporal Logic Regimantas Pliuskevicius.................................................... .. 90 Program Derivation and its Interactive Environment Anna-Lena Johansson........................................................ ... 97 Machine Learning I Handling Imperfect Data in Inductive Logic Programming Saso Dzeroski......................................................... ........ 111 Generalization under Implication: Expansion of Clauses for Indirect Roots Peter Idestam-Almquist................................................. ....... 126 Learning a Subclass of Regular Expressions by Recognizing Periodic Repetitions AIvis Brazma........................................................... ...... 137 Machine Learning 11 Learning to Perform Weather Forecasting Operations ............. 147 Ram Kumar, Charles Chung and Craig Lindley......................................................... .............. Visualization of Domain and Concept Descriptions Dunja Mladenic......................................................... ........................................... 157 A Case-Based Answer to Some Problems of Knowledge-Based Systems Agnar Aamodt........................................................... ........................................... 168 Machine learning and Neural networks A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents Paul Davidsson........................................................ ............................................ 183 Visual Motion Detection Based on a Cooperative Neural Network Architecture Robert Pallbo........................................................... .......................................... 193
「Nielsen BookData」 より