1. SCAI 1988:
Tromsø,
Norway
Thore Danielsen (Ed.):
First Scandinavian Conference on Artificial Intelligence 1988,
Tromsø,
Norway,
March 9-11,
1988,
Proceedings. Frontiers in Artificial Intelligence and Applications,
Volume 1,
IOS Press 1988,
ISBN 90-5199-003-0
- Lincoln A. Wallen:
Automated Theorem Proving in Non-Classical Logics.
1-12
- Dag Diesen:
Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic.
13-21
- Peter W. Eklund:
Modelling Configuration Expert Systems.
23-31
- Vladimir B. Britkov, V. R. Aleyev:
An Intelligent User Interface for an Environmental Information System.
33-41
- I. B. Hansen, K. B. Hansen:
IANI: Intelligent Access to Nordic Information Systems.
43-52
- Arne Jönsson, Nils Dahlbäck:
Talking to a Computer Is Not like Talking to Your Best Friend.
53-68
- Erling A. Woods:
On the Combination of Algorithmic and Symbolic Computation for Monitoring Industrial Processes.
69-80
- S. Zeuthen:
SEMAID: A Knowledge-Based System for the Conceptual Design of Terminal Structures (Offshore Loading Systems - OLS).
81-111
- S. I. Sagatun, Bernt A. Bremdal:
NAVPLAN: Tactical Routeplanning for Seagoing Vessels Based on Artificial Intelligence.
113-124
- Gunnar Hartvigsen:
Knowledge-Based Systems: A New Stage in Banking and Finance.
125-135
- S. Akelsen, Gunnar Hartvigsen, Per Wiggo Richardsen:
Knowledge-Based Systems for Commercial Line Insurance: An Exciting Application of AI-Techniques in the Service Sector.
137-148
- Manny Rayner, Åsa Hugosson, Göran Hagert:
Using a Logic Grammar to Learn a Lexicon.
149-160
- Mats Wirén:
A Control-Strategy-Independent Parser for PATR.
161-172
- Magne Reitan:
Situation Semantics and the Speech Act of Informing.
173-187
- Les Gasser:
Distribution and Coordination of Tasks Among Intelligent Agents.
189-204
- Christer Bäckström:
A Representation of Coordinated Actions.
205-220
- Ole Fogh Kirkeby:
Parallel Distributed Procesing and the Logical Categories of Learning.
221-236
- Rolf Nossum:
Design Elements for a Better AI-Language.
237-239
- Kari P. Saarinen, Pirkko Nykänen, Kerttu Irjala, Jorma Viikari, Matti Välimäki:
Interpretation of Test Results in Clinical Chemistry: A Protosystem for Thyroid Function Diagnostics.
241-251
- Pirkko Nykänen, Pekka Kaatiala, Jukka Rantanen, Jukka Lumio, Paul Grönroos:
MICROBE: A Prototype Expert System for Treatment Planning in Bacterial Infections.
253-262
- A. Andersen, A. D. Karbaek:
Automatic Generation of Natural Language Descriptions of Technical Systems.
263-273
- Christian Steinebach:
Intelligent Knowledge Based Systems for Diagnosis of Machinery.
275-289
- M. Bouteldja, P. Lepistö:
On Some Problems in Applying Artificial Intelligence in Large Industrial Systems.
291-298
- Werner Aistrup, P. Meersohn:
Task-Modelling: A Structured Methodology for Knowledge Elicitation.
299-305
- G. Haugen:
Evaluation of Two Knowledge Acquisition Methods.
307-313
- A. Byttner:
Alternative Roles for Knowledge Engineers.
315-321
- Bjørnar Tessem, L. J. Ersland:
Handling Uncertainty in a System for Text-Symbol Context Analysis.
323-332
- Henning Herrestad:
Some Problems Concercing the Representation of Legal Norms.
333-342
- H. F. Berg, M. Theisen:
Mass Administration Law as a Basis for Expert Systems.
343-357
- David C. Wilkins:
Machine Learning Techniques for Knowledge-Based Systems.
359-360
- S. K. Dulin, A. I. Ehrlich:
Structural Contradictions in Knowledge Base.
361-372
- Rolf Nossum:
Deductive Planning Revisited.
373-381
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Copyright © Fri Dec 4 20:23:30 2009
by Michael Ley (ley@uni-trier.de)
