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
- Andrzej Skowron:
Synthesis of Adaptive Decision Systems from Experimental Data.
220-238
Constrain Satisfaction
Natural Language
Planning and Reasoning about Actions
- Richard Washington:
Incremental Planning for Truly Intergarted Planning and Reaction.
305-316
- Rolf Nossum:
On Test and Choice in a High-Level Programming Language.
317-321
Tutorial
Short Papers
- Dag Augland, Birger Christoffersen, Roy Storli:
Computer-aided Scheduling of the Police Force.
338-342
- Steven A. Battle:
Generating Database Queries from a Constraint Network Representation.
343-347
- Isabelle Bichindaritz:
A Memory Model for Reasoning both from Experimental and from Theoretical Knowlege.
348-352
- 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
- Mouhssine Bouzoubaa:
The Houria Constraint Solver.
358-362
- Juan Pedro Caraça-Valente, Daniel Borrajo:
MUDS: A Data-Driven Multireasoning Model.
363-367
- Juan Carlos Casamayor, Hendrik Decker:
Hypothetical Query Answering in First-Order Databases.
368-372
- Tony Y. T. Chan:
Metric Unified Approach to the Exclusive-Or Problem.
373-377
- Patrick John Coppock:
A Semiotic Perspective on the Development of (Artificial) Consciousness.
378-385
- Jon N. Didriksen:
Genetic Algorithms and Production Scheduling.
386-390
- Tapio Elomaa, Niklas Holsti, Ilkka Hyvärinen:
TELA: A Platform for Experimenting with Attribute-based Learning Programs.
392-395
- Hanan H. R. Elazhary, Ashraf H. Abdel-Wahab:
Discovering the Periodic Table: An Application of Discovery Systems in Chemistry.
369-400
- Robert Engels:
Högdalenverket: Applying ILP in an Industrial Setting.
401-405
- Göran Forslund:
In Search for Flexible Decision Procedures for Real-World Applications.
406-410
- Björn Gambäck, Martin Eineborg:
A Grammar-based Rule Formalism for a Text-to-Speech Interface System.
411-415
- William S. Havens, Daya Ram Gaur, Russell Ovans:
An Architecture for Building Multi-Agent Systems.
416-420
- Eero Hyvönen, Stefano De Pascale:
A Function Evaluator for Imprecise Numerical Inference.
421-425
- Hanne Rygg Johnsen:
LIRE - Language Interface for Requirements Engineering.
426-430
- 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
- Bill Lou, Eric Foxley:
Semantic Understanding for an Automatic Marking System Using Fuzzy Techniques.
436-440
- Suzanne Pinson, Pavlos Moraitis:
Communication and Cooperation in a Distributed Decision-making System.
441-447
- Mehdi Sagheb-Tehrani:
Knowledge Acquisition Process: Some Issues for Further Research.
448-452
- Henrik Smith-Meyer, Reimund Küke, Kjell Tangen:
EXACT - Model-based Diagnosis for Satellite Testing.
453-457
- Seppo Torvinen, Robert Milne:
Increasing the Availability of Flexible Manufacturing Systems with Multimedia Supported Diagnostic Expert Systems.
458-462
- Kim Trans:
The Use of Planning and Interpretation in Developing an On-Line EMACS Help Facility.
463-467
- Andrzej Urbanski:
A Cost-based Non-monotonic Truth Maintenance System.
468-472
- João José Furtado Vasco, Colette Faucher, Eugène Chouraqui:
Incremental Concept Formation in an Object-Oriented Representation.
473-477
- Xiaohong Yuan, Kai Zhao, Jue Wang:
Visualization in Mechanical Geometry Theorem Proving.
478-482
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Last update Wed May 22 16:27:29 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
