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 BibTeX
- Dag Diesen:
Lifting of the Ditchmarker Refinement for Connection Method to First Order Logic.
13-21 BibTeX
- Peter W. Eklund:
Modelling Configuration Expert Systems.
23-31 BibTeX
- Vladimir B. Britkov, V. R. Aleyev:
An Intelligent User Interface for an Environmental Information System.
33-41 BibTeX
- I. B. Hansen, K. B. Hansen:
IANI: Intelligent Access to Nordic Information Systems.
43-52 BibTeX
- Arne Jönsson, Nils Dahlbäck:
Talking to a Computer Is Not like Talking to Your Best Friend.
53-68 BibTeX
- Erling A. Woods:
On the Combination of Algorithmic and Symbolic Computation for Monitoring Industrial Processes.
69-80 BibTeX
- S. Zeuthen:
SEMAID: A Knowledge-Based System for the Conceptual Design of Terminal Structures (Offshore Loading Systems - OLS).
81-111 BibTeX
- S. I. Sagatun, Bernt A. Bremdal:
NAVPLAN: Tactical Routeplanning for Seagoing Vessels Based on Artificial Intelligence.
113-124 BibTeX
- Gunnar Hartvigsen:
Knowledge-Based Systems: A New Stage in Banking and Finance.
125-135 BibTeX
- 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 BibTeX
- Manny Rayner, Åsa Hugosson, Göran Hagert:
Using a Logic Grammar to Learn a Lexicon.
149-160 BibTeX
- Mats Wirén:
A Control-Strategy-Independent Parser for PATR.
161-172 BibTeX
- Magne Reitan:
Situation Semantics and the Speech Act of Informing.
173-187 BibTeX
- Les Gasser:
Distribution and Coordination of Tasks Among Intelligent Agents.
189-204 BibTeX
- Christer Bäckström:
A Representation of Coordinated Actions.
205-220 BibTeX
- Ole Fogh Kirkeby:
Parallel Distributed Procesing and the Logical Categories of Learning.
221-236 BibTeX
- Rolf Nossum:
Design Elements for a Better AI-Language.
237-239 BibTeX
- 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 BibTeX
- 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 BibTeX
- A. Andersen, A. D. Karbaek:
Automatic Generation of Natural Language Descriptions of Technical Systems.
263-273 BibTeX
- Christian Steinebach:
Intelligent Knowledge Based Systems for Diagnosis of Machinery.
275-289 BibTeX
- M. Bouteldja, P. Lepistö:
On Some Problems in Applying Artificial Intelligence in Large Industrial Systems.
291-298 BibTeX
- Werner Aistrup, P. Meersohn:
Task-Modelling: A Structured Methodology for Knowledge Elicitation.
299-305 BibTeX
- G. Haugen:
Evaluation of Two Knowledge Acquisition Methods.
307-313 BibTeX
- A. Byttner:
Alternative Roles for Knowledge Engineers.
315-321 BibTeX
- Bjørnar Tessem, L. J. Ersland:
Handling Uncertainty in a System for Text-Symbol Context Analysis.
323-332 BibTeX
- Henning Herrestad:
Some Problems Concercing the Representation of Legal Norms.
333-342 BibTeX
- H. F. Berg, M. Theisen:
Mass Administration Law as a Basis for Expert Systems.
343-357 BibTeX
- David C. Wilkins:
Machine Learning Techniques for Knowledge-Based Systems.
359-360 BibTeX
- S. K. Dulin, A. I. Ehrlich:
Structural Contradictions in Knowledge Base.
361-372 BibTeX
- Rolf Nossum:
Deductive Planning Revisited.
373-381 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)
