4. SCAI 1993:
Stockholm,
Sweden
Erik Sandewall,
Carl Gustaf Jansson (Eds.):
Fourth Scandinavian Conference on Artificial Intelligence 1993,
Stockholm,
Sweden,
May 4-7,
1993,
Frontiers in Artificial Intelligence and Applications,
Volume 18,
IOS Press 1993,
ISBN 90-5199-134-6
- Sven Ove Hansson:
Bridging a Gap Between AI Research and Philosophy.
1-9 BibTeX
- Rolf Nossum, Dov M. Gabbay:
Semantical Correspondence Properties of Some Modal Systems of Logic.
10-19 BibTeX
- Grigoris Antoniou, Volker Sperschneider:
Computing Extensions of Nonmonotonic Logics.
20-29 BibTeX
- Craig MacNish, Antony Galton, John Gooday:
QSQR: Quantitatively Scoped Qualitative Reasoning.
30-37 BibTeX
- Thomas Fuhr, Franz Kummert, Stefan Posch, Gerhard Sagerer:
An Approach for Qualitatively Predicting Relations from Relations.
38-49 BibTeX
- Saulius Maskeliunas:
The Use of a Rule-Based System for Qualitative Reasoning.
50-59 BibTeX
- Jörg-Michael Hasemann, Tapio Heikkilä:
A New Approach towards Monitoring in Intelligent Autonomous Robots.
60-76 BibTeX
- Nicolas Chleq:
A Simple Mechanism for Temporal Deduction and Prediction.
77-89 BibTeX
- Regimantas Pliuskevicius:
The Analytic Tableaux for Linear Minscoped Temporal Logic.
90-96 BibTeX
- Anna-Lena Johansson:
Program Derivation and its Interactive Environment.
97-110 BibTeX
- Saso Dzeroski:
Handling Imperfetc Data in Inductive Logic Programming.
111-125 BibTeX
- Peter Idestam-Almquist:
Generalization under Implication: Expansions of Clauses for Indirect Roots.
126-136 BibTeX
- Alvis Brazma:
Learning a Subclass of Regular Expressions by Recognizing Periodic Repetitions.
137-146 BibTeX
- Ram Kumar, Charles Chung, Craig A. Lindley:
Learning to Perform Weather Forecasting Operations.
147-156 BibTeX
- Dunja Mladenic:
Visualization of Domain and Concept Descriptions.
157-167 BibTeX
- Agnar Aamodt:
A Case-Based Answer to Some Problems of Knowledge-Based Systems.
168-182 BibTeX
- Paul Davidsson:
A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents.
183-192 BibTeX
- Robert Pallbo:
Visual Motion Detetcion Based on a Cooperative Neural Network Architetcure.
193-201 BibTeX
- Abhay B. Bulsari, Henrik Saxén:
A Connetcionist Model for Analysis of Temporal Sequences with Noise.
202-211 BibTeX
- Björn Gambäck, Stefan Ljung:
Question Answering in the Swedish Core Language Engine.
212-225 BibTeX
- Mare Koit, Haldur Oim:
A Formal Model of Communicative Strategy.
226-231 BibTeX
- Jonni Harrius:
From Problem Solving to Solution Critiquing by Reusing an Existing Knowledge Base.
232-239 BibTeX
- Aarno Lehtola:
Heuristic Search within Strict Time Limits.
240-247 BibTeX
- Mehdi Sagheb-Tehrani:
Investigating ESD in Some Swedish Organizations: An Empirical Study.
248-258 BibTeX
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Copyright © Sat May 16 23:36:57 2009
by Michael Ley (ley@uni-trier.de)