Scandinavian Conference on Artificial Intelligence - 93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum, Stockholm, Sweden, May 4-7, 1993
Erik J. Sandewall, Carl Gustaf Jansson · IOS Press eBooks · 1993
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