5. SCAI 1995: Trondheim, Norway

Invited Talk

• Aaron Sloman: Exploring Design Space and Niche Space. 1-8

Multi-Agent Systems

• Frantisek Capkovic: A Knowledge-based Approch to Synthesis of Intelligent Control of DEDS. 9-18
• Christen Krogh: Obligations in Multiagent Systems. 19-30
• Heyun Liu, Kehong Wang, Chunyi Shi, Wang Dingxin: An Intention MAintenance Mechanism. 31-40
• Benedita Malheiro, Eugenio Oliveira: Improving Assumption-based Distributed Belief Revision. 41-50

Machine Learning

• Saso Dzeroski: Learning First-order Clausal Theories in the Presence of Noise. 51-60
• Mario Lenz: Lazy Induction Triggered by CBR. 61-70
• Ming Xi Tang: An Inductive Learning System for Intelligent Design Support. 71-83
• Evgueni N. Smirnov, Nikolay I. Nikolaev: Multiple Explanation-based Learning Guided by Space Fragmenting. 85-96

Application Technologies I

• Kjetil Fjalestad, Jan Arvid Gravklev, Are Mjaavatten, Steinar Saelid: Operator Support System for a Fertiliser Plant. 97-108
• Jörg-Michael Hasemann: An Architectural View on Intelligent Articulated Systems. 109-120
• Hubert Lacaze, Alain Dussauchoy: C2H2F2: A Hybrid Expert System in Demand Forecasting. 121-132

Neural Networks

• Henrik Hautop Lund, Brian H. Mayoh: Specialization in Populations of Artificial Neural Networks. 133-144
• Martin Schmidt, Thomas Stidsen: Using GA to Train NN Using Sharing and Pruning. 145-156
• Jon Sporring: Pruning with Minimal Description Length. 157-168

Application Technologies II

• Louise Travé-Massuyès, Robert Milne: Diagnosis of Dynamic Systems Based on Explicit and Implicit Behavioural Models: An Application to Gas Turbines in Esprit Project TIGER. 169-183
• Inge Nordbø, Geir Willumsen: Integration of Temporal and Incomplete Aspects at the Knowledge Level. 184-195

Uncertainty Reasoning

• Niels Peek, Linda C. van der Gaag: A Case-based Filter for Diagnostic Belief Networks. 196-207
• Torulf Mollestad: Learning Propositional Default Rules Using the Rough Set Approach. 208-219

Invited Talk

• Andrzej Skowron: Synthesis of Adaptive Decision Systems from Experimental Data. 220-238

Constrain Satisfaction

• W. Ken Jackson, William S. Havens: Committing to User Choices in Mixed Initiative CSPs. 239-248
• V. Puig, Chabane Oussalah: OOC: An Object Oriented Constraint Model. 249-260
• Károly Tilly, Lászlo Surján: CONTEST: A Constraint-based Framework for Automatic Test Pattern Generation in Digital Circuits. 261-272
• Jacek Wrzos-Kaminski: Similar Schedule: A Formalisation. 273-280

Natural Language

• Xinyu Wu, Michael F. McTear, Piyush Ojha: Word Sense Disambiguation by a Hybrid Approach. 281-292
• Lars Thalmann, Christer Samuelsson: A Uniform Framework for Grammar Induction and Robust Parsing. 293-304

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

• Zbigniew Michalewicz: Evolutionary Computation: An Overview. 322-337

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