default search action
5th SCAI 1995: Trondheim, Norway
- Agnar Aamodt, Jan Komorowski:
Fifth Scandinavian Conference on Artificial Intelligence, SCAI 1995, Trondheim, Norway, 29-31 May, 1995. Frontiers in Artificial Intelligence and Applications 28, IOS Press 1995, ISBN 90-5199-221-1
Invited Talk
- Aaron Sloman:
Exploring Design Space and Niche Space. SCAI 1995: 1-8
Multi-Agent Systems
- Frantisek Capkovic:
A Knowledge-based Approch to Synthesis of Intelligent Control of DEDS. SCAI 1995: 9-18 - Christen Krogh:
Obligations in Multiagent Systems. SCAI 1995: 19-30 - Heyun Liu, Kehong Wang, Chunyi Shi, Wang Dingxin:
An Intention MAintenance Mechanism. SCAI 1995: 31-40 - Benedita Malheiro, Eugénio Oliveira:
Improving Assumption-based Distributed Belief Revision. SCAI 1995: 41-50
Machine Learning
- Saso Dzeroski:
Learning First-order Clausal Theories in the Presence of Noise. SCAI 1995: 51-60 - Mario Lenz:
Lazy Induction Triggered by CBR. SCAI 1995: 61-70 - Ming Xi Tang:
An Inductive Learning System for Intelligent Design Support. SCAI 1995: 71-83 - Evgueni N. Smirnov, Nikolay I. Nikolaev:
Multiple Explanation-based Learning Guided by Space Fragmenting. SCAI 1995: 85-96
Application Technologies I
- Kjetil Fjalestad, Jan Arvid Gravklev, Are Mjaavatten, Steinar Saelid:
Operator Support System for a Fertiliser Plant. SCAI 1995: 97-108 - Jörg-Michael Hasemann:
An Architectural View on Intelligent Articulated Systems. SCAI 1995: 109-120 - Hubert Lacaze, Alain Dussauchoy:
C2H2F2: A Hybrid Expert System in Demand Forecasting. SCAI 1995: 121-132
Neural Networks
- Henrik Hautop Lund, Brian H. Mayoh:
Specialization in Populations of Artificial Neural Networks. SCAI 1995: 133-144 - Martin Schmidt, Thomas R. Stidsen:
Using GA to Train NN Using Sharing and Pruning. SCAI 1995: 145-156 - Jon Sporring:
Pruning with Minimal Description Length. SCAI 1995: 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. SCAI 1995: 169-183 - Inge Nordbø, Geir Willumsen:
Integration of Temporal and Incomplete Aspects at the Knowledge Level. SCAI 1995: 184-195
Uncertainty Reasoning
- Niels Peek, Linda C. van der Gaag:
A Case-based Filter for Diagnostic Belief Networks. SCAI 1995: 196-207 - Torulf Mollestad:
Learning Propositional Default Rules Using the Rough Set Approach. SCAI 1995: 208-219
Invited Talk
- Andrzej Skowron:
Synthesis of Adaptive Decision Systems from Experimental Data. SCAI 1995: 220-238
Constrain Satisfaction
- W. Ken Jackson, William S. Havens:
Committing to User Choices in Mixed Initiative CSPs. SCAI 1995: 239-248 - Veronique Puig, Chabane Oussalah:
OOC: An Object Oriented Constraint Model. SCAI 1995: 249-260 - Károly Tilly, Lászlo Surján:
CONTEST: A Constraint-based Framework for Automatic Test Pattern Generation in Digital Circuits. SCAI 1995: 261-272 - Jacek Wrzos-Kaminski:
Similar Schedule: A Formalisation. SCAI 1995: 273-280
Natural Language
- Xinyu Wu, Michael F. McTear, Piyush Ojha:
Word Sense Disambiguation by a Hybrid Approach. SCAI 1995: 281-292 - Lars Thalmann, Christer Samuelsson:
A Uniform Framework for Grammar Induction and Robust Parsing. SCAI 1995: 293-304
Planning and Reasoning about Actions
- Richard Washington:
Incremental Planning for Truly Intergarted Planning and Reaction. SCAI 1995: 305-316 - Rolf Nossum:
On Test and Choice in a High-Level Programming Language. SCAI 1995: 317-321
Tutorial
- Zbigniew Michalewicz:
Evolutionary Computation: An Overview. SCAI 1995: 322-337
Short Papers
- Dag Augland, Birger Christoffersen, Roy Storli:
Computer-aided Scheduling of the Police Force. SCAI 1995: 338-342 - Steven A. Battle:
Generating Database Queries from a Constraint Network Representation. SCAI 1995: 343-347 - Isabelle Bichindaritz:
A Memory Model for Reasoning both from Experimental and from Theoretical Knowlege. SCAI 1995: 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. SCAI 1995: 353-357 - Mouhssine Bouzoubaa:
The Houria Constraint Solver. SCAI 1995: 358-362 - Juan Pedro Caraça-Valente, Daniel Borrajo:
MUDS: A Data-Driven Multireasoning Model. SCAI 1995: 363-367 - Juan Carlos Casamayor, Hendrik Decker:
Hypothetical Query Answering in First-Order Databases. SCAI 1995: 368-372 - Tony Y. T. Chan:
Metric Unified Approach to the Exclusive-Or Problem. SCAI 1995: 373-377 - Patrick John Coppock:
A Semiotic Perspective on the Development of (Artificial) Consciousness. SCAI 1995: 378-385 - Jon N. Didriksen:
Genetic Algorithms and Production Scheduling. SCAI 1995: 386-390 - Tapio Elomaa, Niklas Holsti, Ilkka Hyvärinen:
TELA: A Platform for Experimenting with Attribute-based Learning Programs. SCAI 1995: 392-395 - Hanan H. R. Elazhary, Ashraf H. Abdel-Wahab:
Discovering the Periodic Table: An Application of Discovery Systems in Chemistry. SCAI 1995: 369-400 - Robert Engels:
Högdalenverket: Applying ILP in an Industrial Setting. SCAI 1995: 401-405 - Göran Forslund:
In Search for Flexible Decision Procedures for Real-World Applications. SCAI 1995: 406-410 - Björn Gambäck, Martin Eineborg:
A Grammar-based Rule Formalism for a Text-to-Speech Interface System. SCAI 1995: 411-415 - William S. Havens, Daya Ram Gaur, Russell Ovans:
An Architecture for Building Multi-Agent Systems. SCAI 1995: 416-420 - Eero Hyvönen, Stefano De Pascale:
A Function Evaluator for Imprecise Numerical Inference. SCAI 1995: 421-425 - Hanne Rygg Johnsen:
LIRE - Language Interface for Requirements Engineering. SCAI 1995: 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. SCAI 1995: 431-435 - Bill Lou, Eric Foxley:
Semantic Understanding for an Automatic Marking System Using Fuzzy Techniques. SCAI 1995: 436-440 - Suzanne Pinson, Pavlos Moraitis:
Communication and Cooperation in a Distributed Decision-making System. SCAI 1995: 441-447 - Mehdi Sagheb-Tehrani:
Knowledge Acquisition Process: Some Issues for Further Research. SCAI 1995: 448-452 - Henrik Smith-Meyer, Reimund Küke, Kjell Tangen:
EXACT - Model-based Diagnosis for Satellite Testing. SCAI 1995: 453-457 - Seppo Torvinen, Robert Milne:
Increasing the Availability of Flexible Manufacturing Systems with Multimedia Supported Diagnostic Expert Systems. SCAI 1995: 458-462 - Kim Trans:
The Use of Planning and Interpretation in Developing an On-Line EMACS Help Facility. SCAI 1995: 463-467 - Andrzej Urbanski:
A Cost-based Non-monotonic Truth Maintenance System. SCAI 1995: 468-472 - João José Furtado Vasco, Colette Faucher, Eugène Chouraqui:
Incremental Concept Formation in an Object-Oriented Representation. SCAI 1995: 473-477 - Xiaohong Yuan, Kai Zhao, Jue Wang:
Visualization in Mechanical Geometry Theorem Proving. SCAI 1995: 478-482
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.