5. SCAI 1995:
Trondheim,
Norway
Agnar Aamodt,
Henryk Jan Komorowski (Eds.):
Fifth Scandinavian Conference on Artificial Intelligence 1995,
Trondheim,
Norway,
29-31 May,
1995,
Frontiers in Artificial Intelligence and Applications,
Volume 28,
IOS Press 1995,
ISBN 90-5199-221-1
Invited Talk
Multi-Agent Systems
Machine Learning
Application Technologies I
Neural Networks
Application Technologies II
Uncertainty Reasoning
Invited Talk
Constrain Satisfaction
Natural Language
Planning and Reasoning about Actions
Tutorial
Short Papers
- Dag Augland, Birger Christoffersen, Roy Storli:
Computer-aided Scheduling of the Police Force.
338-342 BibTeX
- Steven A. Battle:
Generating Database Queries from a Constraint Network Representation.
343-347 BibTeX
- Isabelle Bichindaritz:
A Memory Model for Reasoning both from Experimental and from Theoretical Knowlege.
348-352 BibTeX
- Noureddine Bouhmala, Khaled Ghédira, Hans-Heinrich Naegeli:
How to Partition a Graph by a Multi-Agent Approach based on a Hybrid Optimization Tool.
353-357 BibTeX
- Mouhssine Bouzoubaa:
The Houria Constraint Solver.
358-362 BibTeX
- Juan Pedro Caraça-Valente, Daniel Borrajo:
MUDS: A Data-Driven Multireasoning Model.
363-367 BibTeX
- Juan Carlos Casamayor, Hendrik Decker:
Hypothetical Query Answering in First-Order Databases.
368-372 BibTeX
- Tony Y. T. Chan:
Metric Unified Approach to the Exclusive-Or Problem.
373-377 BibTeX
- Patrick John Coppock:
A Semiotic Perspective on the Development of (Artificial) Consciousness.
378-385 BibTeX
- Jon N. Didriksen:
Genetic Algorithms and Production Scheduling.
386-390 BibTeX
- Tapio Elomaa, Niklas Holsti, Ilkka Hyvärinen:
TELA: A Platform for Experimenting with Attribute-based Learning Programs.
392-395 BibTeX
- Hanan H. R. Elazhary, Ashraf H. Abdel-Wahab:
Discovering the Periodic Table: An Application of Discovery Systems in Chemistry.
369-400 BibTeX
- Robert Engels:
Högdalenverket: Applying ILP in an Industrial Setting.
401-405 BibTeX
- Göran Forslund:
In Search for Flexible Decision Procedures for Real-World Applications.
406-410 BibTeX
- Björn Gambäck, Martin Eineborg:
A Grammar-based Rule Formalism for a Text-to-Speech Interface System.
411-415 BibTeX
- William S. Havens, Daya Ram Gaur, Russell Ovans:
An Architecture for Building Multi-Agent Systems.
416-420 BibTeX
- Eero Hyvönen, Stefano De Pascale:
A Function Evaluator for Imprecise Numerical Inference.
421-425 BibTeX
- Hanne Rygg Johnsen:
LIRE - Language Interface for Requirements Engineering.
426-430 BibTeX
- Ilkka Karanta, Teppo Veijonen, Hannu Ahonen, Mikko Hiirsalmi, Olli-Pekka Rinta-Koski, Juha Ylä-Jääski:
V.I.P. - An Intelligent Pagination System.
431-435 BibTeX
- Bill Lou, Eric Foxley:
Semantic Understanding for an Automatic Marking System Using Fuzzy Techniques.
436-440 BibTeX
- Suzanne Pinson, Pavlos Moraitis:
Communication and Cooperation in a Distributed Decision-making System.
441-447 BibTeX
- Mehdi Sagheb-Tehrani:
Knowledge Acquisition Process: Some Issues for Further Research.
448-452 BibTeX
- Henrik Smith-Meyer, Reimund Küke, Kjell Tangen:
EXACT - Model-based Diagnosis for Satellite Testing.
453-457 BibTeX
- Seppo Torvinen, Robert Milne:
Increasing the Availability of Flexible Manufacturing Systems with Multimedia Supported Diagnostic Expert Systems.
458-462 BibTeX
- Kim Trans:
The Use of Planning and Interpretation in Developing an On-Line EMACS Help Facility.
463-467 BibTeX
- Andrzej Urbanski:
A Cost-based Non-monotonic Truth Maintenance System.
468-472 BibTeX
- João José Furtado Vasco, Colette Faucher, Eugène Chouraqui:
Incremental Concept Formation in an Object-Oriented Representation.
473-477 BibTeX
- Xiaohong Yuan, Kai Zhao, Jue Wang:
Visualization in Mechanical Geometry Theorem Proving.
478-482 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)