11. ECAI 1994: Amsterdam, The Netherlands
- Robert J. Aarts, Stephen F. Smith:
A High Performance Scheduler for an Automated Chemistry Workstation. ECAI 1994: 3-7 - Claude Le Pape, Jean-Francois Puget, Colonel Moreau, Philippe Darneau:
PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management. ECAI 1994: 8-12 - George Spanoudakis, Panos Constantopoulos:
Similarity for Analogical Software Reuse: A Computational Model. ECAI 1994: 18-22 - Heribert Kirschfink, Hubert Rehborn:
Classification of Traffic Situations by Using Neural Networks. ECAI 1994: 23-27 - Bhavani Raskutti, Ingrid Zukerman:
Acquisition of Information to Determine a User's Plan. ECAI 1994: 28-32 - Daniel Delahaye, Jean-Marc Alliot, Marc Schoenauer, Jean-Loup Farges:
Genetic Algorithms for Air Traffic Assignment. ECAI 1994: 33-37 - Marc Porcheron, Benoit Ricard, Jean Luc Busquet, Patrice Parent:
DIAPO: A Case Study in Applying Advanced AI Techniques to the Diagnosis of a Complex System. ECAI 1994: 43-47 - Silvia Miksch, Werner Horn, Christian Popow, Franz Paky:
Context-Sensitive Data Validation and Data Abstraction for Knowledge-Based Monitoring. ECAI 1994: 48-52 - Irene S. Y. Koh, Michael S. H. Heng:
A Knowledge-Based Decision Support System for Selection Psychologists. ECAI 1994: 53-57 - Kai Finke, Matthias Jarke, Peter Szczurko, Roland Soltysiak:
FAITH in Process Control Expert Systems. ECAI 1994: 58-62 - Tetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin:
Coloured Rippling: An Extension of a Theorem Proving Heuristic. ECAI 1994: 85-89 - Peter Baumgartner:
Refinements of Theory Model Elimination and a Variant without Contrapositives. ECAI 1994: 90-94 - Patrick Prosser:
Binary Constraint Satisfaction Problems: Some are Harder than Others. ECAI 1994: 95-99 - Barbara M. Smith:
The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. ECAI 1994: 100-104 - Daniel Sabin, Eugene C. Freuder:
Contradicting Conventional Wisdom in Constraint Satisfaction. ECAI 1994: 125-129 - Antje Beeringer, Gerd Aschemann, Holger H. Hoos, Michael Metzger, Andreas Weiss:
GSAT versus Simulated Annealing. ECAI 1994: 130-134 - Jin-Kao Hao, Raphaël Dorne:
A New Population-Based Method for Satisfiability Problems. ECAI 1994: 135-139 - José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI 1994: 140-144 - Manfred Kerber:
On the Translation of Higher-Order Problems into First-Order Logic. ECAI 1994: 145-149 - Salem Benferhat, Didier Dubois, Henri Prade:
Expressing Independence in a Possibilistic Framework and its Application to Default Reasoning. ECAI 1994: 150-154 - Hermann Kaindl, Angelika Leeb, Harald Smetana:
Improvements on Linear-Space Search Algorithms. ECAI 1994: 155-159 - Mugur M. Tatar:
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS. ECAI 1994: 160-164 - Thomas Schiex, Gérard Verfaillie:
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI 1994: 165-172 - Eric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson:
Attentional Scanning. ECAI 1994: 173-177 - Aldo Franco Dragoni, Paolo Puliti:
Mental States Recognition from Speech Acts through Abduction. ECAI 1994: 183-187 - Jaime Simão Sichman, Rosaria Conte, Cristiano Castelfranchi, Yves Demazeau:
A Social Reasoning Mechanism Based On Dependence Networks. ECAI 1994: 188-192 - Boicho N. Kokinov:
The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach. ECAI 1994: 203-207 - Khaled Khan:
Advantages of Using Prototypes in a Multi-Layer Perceptron and Comparison to Other Neural Networks. ECAI 1994: 216-220 - Chris Hopkins, Tom Routen, Tim Watson:
Problems with Using Genetic Algorithms for Neural Network Feature Selection. ECAI 1994: 221-225 - Shigekazu Ishihara, Keiko Ishihara, Yukihiro Matsubara, Mitsuo Nagamachi:
Self-Organizing Neural Networks in Kansei Engineering Expert System. ECAI 1994: 231-235 - Ponnuthurai N. Suganthan, Eam Khwang Teoh, Dinesh P. Mital:
On Attributed Relational Graph Matching Using Hopfield Network. ECAI 1994: 236-240 - Alexei N. Skurikhin, Alvin J. Surkan:
Alopex Network Algorithm Applied to Predict Gas Usage. ECAI 1994: 241-248 - Taha Khedro, Michael R. Genesereth:
Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. ECAI 1994: 249-253 - Jacques H. J. Lenting, Peter J. Braspenning:
An All-Pay Auction Approach to Reallocation. ECAI 1994: 259-263 - Mauro Gaspari, Enrico Motta:
Symbol-Level Requirements for Agent-Level Programming. ECAI 1994: 264-268 - Paul E. Kearney, Arvindra Sehmi, Robert M. Smith:
Emergent Behaviour in a Multi-Agent Economic Situation. ECAI 1994: 284-288 - Geof Staniford:
Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic. ECAI 1994: 289-293 - Benedita Malheiro, Nicholas R. Jennings, Eugénio Oliveira:
Belief Revision in Multi-Agent Systems. ECAI 1994: 294-298 - Ioa Gavrila, Jan Treur:
A Formal Model for the Dynamics of Compositional Reasoning Systems. ECAI 1994: 307-311 - Vicente J. Botti, Alfons Crespo, Federico Barber, Ismael Ripoll:
Multiple Access and Coherence Management in a Real-Time Temporal Blackboard. ECAI 1994: 312-316 - Gertjan van Heijst, Wilfried Post, Guus Schreiber:
Knowledge Based Integration of Representation Formalisms. ECAI 1994: 319-323 - Frank P. Coyle, Murat M. Tanik:
Rule Compilation and Optimization For Embedded Systems with Periodic Sensor Data. ECAI 1994: 324-330 - Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Tests as Epistemic Updates. ECAI 1994: 331-335 - Bernhard Nebel:
Base Revision Operations and Schemes: Semantics, Representation and Complexity. ECAI 1994: 341-345 - Marie-Hélène Gréboval, Gilles Kassel:
The Production of Explanations, Seen as a Design Task: A Case Study. ECAI 1994: 351-355 - Luca Chittaro, Angelo Montanari, Alessandro Provetti:
Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365 - Gerhard Brewka:
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. ECAI 1994: 366-370 - Leendert W. N. van der Torre:
Violated Obligations in a Defeasible Deontic Logic. ECAI 1994: 371-375 - Patrick Fabiani:
A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance Systems. ECAI 1994: 391-395 - Fabio Pianesi, Achille C. Varzi:
Mereotopological Construction of Time from Events. ECAI 1994: 396-400 - Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux:
Concept Logics with Function Symbols. ECAI 1994: 406-410 - Giuseppe De Giacomo, Maurizio Lenzerini:
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994: 411-415 - Changhwan Lee, Dong-Guk Shin:
A Context-Sensitive Discretization of Numeric Attributes for Classification Learning. ECAI 1994: 428-432 - Achim G. Hoffmann:
Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems. ECAI 1994: 433-437 - Pierre Brézellec, Henry Soldano:
Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental Results. ECAI 1994: 458-462 - Gerhard Widmer:
Combining Robustness and Flexibility in Learning Drifting Concepts. ECAI 1994: 468-472 - Manfred Klenner, Udo Hahn:
Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems. ECAI 1994: 473-477 - Hamed Elsimary, Samia Mashali, Ahmed M. Darwish, Samir I. Shaheen:
Performance Evaluation of a Novel Fault Tolerance Training Algorithm. ECAI 1994: 478-482 - Attilio Giordana, Lorenza Saitta, Floriano Zini:
Learning Disjunctive Concept Definitions Using a Genetic Algorithm. ECAI 1994: 483-486 - André Le Grand, Jean Sallantin:
A Framework to improve Knowledge Acquisition based on Machine Learning. ECAI 1994: 493-497 - Herman J. H. van Dompseler, Maarten van Someren:
Using Models of Problem Solving as Bias in Automated Knowledge Acquisition. ECAI 1994: 503-507 - Frank Maurer, Jürgen Paulokat:
Operationalizing Conceptual Models Based on a Model of Dependencies. ECAI 1994: 508-514 - Ingrid Zukerman, Richard McConachy:
Being Concise versus Being Shallow: Two Competing Discourse Planning Paradigms. ECAI 1994: 515-519 - Helmut Horacek:
How to Avoid Explaining Obvious Things (Without Omitting Central Information). ECAI 1994: 520-524 - Vibhu O. Mittal, Cécile Paris:
Generating Examples For Use in Tutorial Explanations: Using a Subsumption Based Classifier. ECAI 1994: 530-534 - John Hughes, Eric Atwell:
The Automated Evaluation of Inferred Word Classifications. ECAI 1994: 535-539 - Uwe Jost, Eric Atwell:
Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models. ECAI 1994: 550-554 - Vincent Cadoret:
Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory. ECAI 1994: 555-559 - Sylvie Coste-Marquis:
Hypothetical Reasoning for Automatic Recognition of Continuous Speech. ECAI 1994: 565-572 - Berthe Y. Choueiry, Boi Faltings:
A Decomposition Heuristic for Resource Allocation. ECAI 1994: 585-589 - Hsiao-Lan Fang, Peter Ross, David Corne:
A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling Problems. ECAI 1994: 590-594 - András Márkus, József Váncza:
Inference and Optimization Methods for Manufacturing Process Planning. ECAI 1994: 595-599 - Jürgen Eckerle, Thomas Ottmann:
An Efficient Data Structure for Bidirectional Heuristic Search. ECAI 1994: 600-604 - Robert Rodosek:
Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective. ECAI 1994: 630-634 - W. P. M. Nuijten, Emile H. L. Aarts:
Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling. ECAI 1994: 635-639 - Peng Ye, Derrick Glass, Michael F. McTear, John G. Hughes:
Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP Paradigm. ECAI 1994: 640-644 - R. R. Bakker, S. J. M. van Eldonk, P. M. Wognum, Nicolaas J. I. Mars:
The Use of Model-Based Diagnosis in Redesign. ECAI 1994: 647-651 - Frank van Harmelen, Annette ten Teije:
Using Domain Knowledge to Select Solutions in Abductive Diagnosis. ECAI 1994: 652-656 - Wolfgang Nejdl, Johann Gamper:
Harnessing the Power of Temporal Abstractions in Model-Based Diagnosis of Dynamic Systems. ECAI 1994: 667-671 - Michael Neitzke, Bernd Neumann:
Simulating Physical Systems with Relative Descriptions of Parameters. ECAI 1994: 672-676 - Oskar Dressler, Peter Struss:
Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice. ECAI 1994: 677-681 - Yang Gao, Hugh F. Durrant-Whyte:
Integrating Qualitative Reasoning for Numerical Data Fusion Tasks. ECAI 1994: 682-686 - Jean-Daniel Dessimoz, Giovanni Mele:
Performance Assessment of Cognitive Systems: Case of Elementary Mobile Robots. ECAI 1994: 689-693 - Jacques Penders, Lyuba Alboul, Peter J. Braspenning:
The Interaction of Congenial Autonomous Robots. ECAI 1994: 694-698 - Didier Keymeulen, Jo Decuyper:
The Stream Field Method Applied to Mobile Robot Navigation: a Topological Perspective. ECAI 1994: 699-703 - Jörg P. Müller, Markus Pischel:
Modelling Interacting Agents in Dynamic Environments. ECAI 1994: 709-713 - Eric Dekneuvel, Malik Ghallab, Herve Philippe:
DICK: Distributed Inference on Compiled Knowledge for Real Time Distributed Systems. ECAI 1994: 719-726 - Marie-Christine Rousset:
Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms. ECAI 1994: 739-743