Conferences in DBLP
Robert J. Aarts , Stephen F. Smith A High Performance Scheduler for an Automated Chemistry Workstation. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:3-7 [Conf ] Claude Le Pape , Jean-Francois Puget , Colonel Moreau , Philippe Darneau PMFP: The Use of Constraint-Based Programming for Predictive Personnel Management. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:8-12 [Conf ] Marco Adinolfi , Amedeo Cesta Scheduling Heuristics for the DRS-Sched System. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:13-17 [Conf ] George Spanoudakis , Panos Constantopoulos Similarity for Analogical Software Reuse: A Computational Model. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:18-22 [Conf ] Heribert Kirschfink , Hubert Rehborn Classification of Traffic Situations by Using Neural Networks. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:23-27 [Conf ] Bhavani Raskutti , Ingrid Zukerman Acquisition of Information to Determine a User's Plan. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:28-32 [Conf ] Daniel Delahaye , Jean-Marc Alliot , Marc Schoenauer , Jean-Loup Farges Genetic Algorithms for Air Traffic Assignment. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:33-37 [Conf ] Isabelle Bichindaritz A Case-Based Reasoning System Using a Control Case-Base. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:38-42 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:43-47 [Conf ] Silvia Miksch , Werner Horn , Christian Popow , Franz Paky Context-Sensitive Data Validation and Data Abstraction for Knowledge-Based Monitoring. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:48-52 [Conf ] Irene S. Y. Koh , Michael S. H. Heng A Knowledge-Based Decision Support System for Selection Psychologists. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:53-57 [Conf ] Kai Finke , Matthias Jarke , Peter Szczurko , Roland Soltysiak FAITH in Process Control Expert Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:58-62 [Conf ] Ken Satoh A Top Down Proof Procedure for Default Logic by Using Abduction. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:65-69 [Conf ] Bob Goedhart Abduction and Uncertainty in Compositional Reasoning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:70-74 [Conf ] Christian Codognet , Philippe Codognet Abduction and Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:75-79 [Conf ] Thomas Kolbe , Christoph Walther Reusing Proofs. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:80-84 [Conf ] Tetsuya Yoshida , Alan Bundy , Ian Green , Toby Walsh , David A. Basin Coloured Rippling: An Extension of a Theorem Proving Heuristic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:85-89 [Conf ] Peter Baumgartner Refinements of Theory Model Elimination and a Variant without Contrapositives. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:90-94 [Conf ] Patrick Prosser Binary Constraint Satisfaction Problems: Some are Harder than Others. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:95-99 [Conf ] Barbara M. Smith The Phase Transition and the Mushy Region in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:100-104 [Conf ] Ian P. Gent , Toby Walsh The SAT Phase Transition. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:105-109 [Conf ] David Lesaint Maximal Sets of Solutions for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:110-114 [Conf ] Djamila Haroud , Boi Faltings Global Consistency for Continuous Constraints. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:115-119 [Conf ] Hachemi Bennaceur Partial Consistency for Constraint-Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:120-124 [Conf ] Daniel Sabin , Eugene C. Freuder Contradicting Conventional Wisdom in Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:125-129 [Conf ] Antje Beeringer , Gerd Aschemann , Holger H. Hoos , Michael Metzger , Andreas Weiss GSAT versus Simulated Annealing. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:130-134 [Conf ] Jin-Kao Hao , Raphaël Dorne A New Population-Based Method for Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:135-139 [Conf ] José Júlio Alferes , Carlos Viegas Damásio , Luís Moniz Pereira Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. [Citation Graph (1, 0)][DBLP ] ECAI, 1994, pp:140-144 [Conf ] Manfred Kerber On the Translation of Higher-Order Problems into First-Order Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:145-149 [Conf ] Salem Benferhat , Didier Dubois , Henri Prade Expressing Independence in a Possibilistic Framework and its Application to Default Reasoning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:150-154 [Conf ] Hermann Kaindl , Angelika Leeb , Harald Smetana Improvements on Linear-Space Search Algorithms. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:155-159 [Conf ] Mugur M. Tatar Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:160-164 [Conf ] Thomas Schiex , Gérard Verfaillie Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:165-172 [Conf ] Eric O. Postma , H. Jaap van den Herik , Patrick T. W. Hudson Attentional Scanning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:173-177 [Conf ] Ana Paiva , John A. Self , Roger Hartley On the Dynamics of Learner Models. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:178-182 [Conf ] Aldo Franco Dragoni , Paolo Puliti Mental States Recognition from Speech Acts through Abduction. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:183-187 [Conf ] Jaime Simão Sichman , Rosaria Conte , Cristiano Castelfranchi , Yves Demazeau A Social Reasoning Mechanism Based On Dependence Networks. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:188-192 [Conf ] Ana Paiva , John A. Self A Learner Model Reason Maintenance System. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:193-196 [Conf ] Kees de Koning , Bert Bredeweg A Framework for Teaching Qualitative Models. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:197-202 [Conf ] Boicho N. Kokinov The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:203-207 [Conf ] Pasi Koikkalainen Progress with the Tree-Structured Self-Organizing Map. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:211-215 [Conf ] Khaled Khan Advantages of Using Prototypes in a Multi-Layer Perceptron and Comparison to Other Neural Networks. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:216-220 [Conf ] Chris Hopkins , Tom Routen , Tim Watson Problems with Using Genetic Algorithms for Neural Network Feature Selection. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:221-225 [Conf ] Steve G. Romaniuk Applying Co-Evolution to the Construction of Neural Networks. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:226-230 [Conf ] Shigekazu Ishihara , Keiko Ishihara , Yukihiro Matsubara , Mitsuo Nagamachi Self-Organizing Neural Networks in Kansei Engineering Expert System. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:231-235 [Conf ] Ponnuthurai N. Suganthan , Eam Khwang Teoh , Dinesh P. Mital On Attributed Relational Graph Matching Using Hopfield Network. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:236-240 [Conf ] Alexei N. Skurikhin , Alvin J. Surkan Alopex Network Algorithm Applied to Predict Gas Usage. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:241-248 [Conf ] Taha Khedro , Michael R. Genesereth Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem Solving. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:249-253 [Conf ] Hans-Dieter Burkhard On Fair Controls in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:254-258 [Conf ] Jacques H. J. Lenting , Peter J. Braspenning An All-Pay Auction Approach to Reallocation. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:259-263 [Conf ] Mauro Gaspari , Enrico Motta Symbol-Level Requirements for Agent-Level Programming. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:264-268 [Conf ] Jacques Wainer Yet another Semantics of Goals and Goal Priorities. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:269-273 [Conf ] Sviatoslav Brainov Deviation-Proof Plans in Open Multiagent Environments. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:274-278 [Conf ] Michael Wooldridge Coherent Social Action. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:279-283 [Conf ] Paul E. Kearney , Arvindra Sehmi , Robert M. Smith Emergent Behaviour in a Multi-Agent Economic Situation. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:284-288 [Conf ] Geof Staniford Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:289-293 [Conf ] Benedita Malheiro , Nicholas R. Jennings , Eugenio Oliveira Belief Revision in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:294-298 [Conf ] Armin Laux Beliefs in Multi-Agent Worlds: a Terminological Logics Approach. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:299-303 [Conf ] Ioa Gavrila , Jan Treur A Formal Model for the Dynamics of Compositional Reasoning Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:307-311 [Conf ] Vicente J. Botti , Alfons Crespo , Federico Barber , Ismael Ripoll Multiple Access and Coherence Management in a Real-Time Temporal Blackboard. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:312-316 [Conf ] Gertjan van Heijst , Wilfried Post , Guus Schreiber Knowledge Based Integration of Representation Formalisms. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:319-323 [Conf ] Frank P. Coyle , Murat M. Tanik Rule Compilation and Optimization For Embedded Systems with Periodic Sensor Data. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:324-330 [Conf ] Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer Tests as Epistemic Updates. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:331-335 [Conf ] Pierre Marquis Possible Models Approach via Independency. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:336-340 [Conf ] Bernhard Nebel Base Revision Operations and Schemes: Semantics, Representation and Complexity. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:341-345 [Conf ] Mary-Anne Williams Explanation and Theory Base Transmutations. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:346-350 [Conf ] Marie-Hélène Gréboval , Gilles Kassel The Production of Explanations, Seen as a Design Task: A Case Study. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:351-355 [Conf ] Harmen van den Berg Modal Logics for Conceptual Graphs III. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:356-360 [Conf ] Luca Chittaro , Angelo Montanari , Alessandro Provetti Skeptical and Credulous Event Calculi for Supporting Modal Queries. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:361-365 [Conf ] Gerhard Brewka A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:366-370 [Conf ] Leendert W. N. van der Torre Violated Obligations in a Defeasible Deontic Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:371-375 [Conf ] Jérôme Mengin Prioritized Conflict Resolution for Default Reasoning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:376-380 [Conf ] Yves Moinard Reasoning by Cases without Contraposition in Default Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:381-385 [Conf ] Nic Wilson , Serafín Moral A Logical View of Probability. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:386-390 [Conf ] Patrick Fabiani A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:391-395 [Conf ] Fabio Pianesi , Achille C. Varzi Mereotopological Construction of Time from Events. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:396-400 [Conf ] Patrick Doherty Reasoning about Action and Change Using Occlusion. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:401-405 [Conf ] Hans-Jürgen Bürckert , Bernhard Hollunder , Armin Laux Concept Logics with Function Symbols. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:406-410 [Conf ] Giuseppe De Giacomo , Maurizio Lenzerini Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:411-415 [Conf ] Bart Selman Domain-Specific Complexity Tradeoffs. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:416-420 [Conf ] Brian J. Ross The Inductive Inference of Cyclic Synchronized Interleaving. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:423-427 [Conf ] Changhwan Lee , Dong-Guk Shin A Context-Sensitive Discretization of Numeric Attributes for Classification Learning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:428-432 [Conf ] Achim G. Hoffmann Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:433-437 [Conf ] Uwe Hartmann Learning in Classifier Systems is Hard. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:438-442 [Conf ] Pavel Brazdil , Alípio Jorge Learning by Refining Algorithm Sketches. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:443-447 [Conf ] Majorie Moulet Iterative Model Construction with Regression. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:448-452 [Conf ] Johannes Fürnkranz Top-Down Pruning in Relational Learning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:453-457 [Conf ] Pierre Brézellec , Henry Soldano Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental Results. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:458-462 [Conf ] Angi Voß The Need for Knowledge Acquisition in Case-Based Reasoning - Some Experiences from an Architectural Domain. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:463-467 [Conf ] Gerhard Widmer Combining Robustness and Flexibility in Learning Drifting Concepts. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:468-472 [Conf ] Manfred Klenner , Udo Hahn Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:473-477 [Conf ] Hamed Elsimary , Samia Mashali , Ahmed M. Darwish , Samir I. Shaheen Performance Evaluation of a Novel Fault Tolerance Training Algorithm. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:478-482 [Conf ] Attilio Giordana , Lorenza Saitta , Floriano Zini Learning Disjunctive Concept Definitions Using a Genetic Algorithm. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:483-486 [Conf ] Philippe Collard , Jean-Philippe Aurand DGA: An Efficient Genetic Algorithm. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:487-492 [Conf ] André Le Grand , Jean Sallantin A Framework to improve Knowledge Acquisition based on Machine Learning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:493-497 [Conf ] Tanja Urbancic , Ivan Bratko Reconstructing Human Skill with Machine Learning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:498-502 [Conf ] Herman J. H. van Dompseler , Maarten van Someren Using Models of Problem Solving as Bias in Automated Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:503-507 [Conf ] Frank Maurer , Jürgen Paulokat Operationalizing Conceptual Models Based on a Model of Dependencies. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:508-514 [Conf ] Ingrid Zukerman , Richard McConachy Being Concise versus Being Shallow: Two Competing Discourse Planning Paradigms. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:515-519 [Conf ] Helmut Horacek How to Avoid Explaining Obvious Things (Without Omitting Central Information) [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:520-524 [Conf ] Stephan Mehl Forward Inferences in Text Generation. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:525-529 [Conf ] Vibhu O. Mittal , Cécile Paris Generating Examples For Use in Tutorial Explanations: Using a Subsumption Based Classifier. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:530-534 [Conf ] John Hughes , Eric Atwell The Automated Evaluation of Inferred Word Classifications. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:535-539 [Conf ] Graham Allport Towards an Electronic Dictionary. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:540-544 [Conf ] Violaine Prince Interpreting Common Words in Context: a Symbolic Approach. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:545-549 [Conf ] Uwe Jost , Eric Atwell Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:550-554 [Conf ] Vincent Cadoret Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:555-559 [Conf ] Wolfgang Menzel Parsing of Spoken Language under Time Constraints. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:560-564 [Conf ] Sylvie Coste-Marquis Hypothetical Reasoning for Automatic Recognition of Continuous Speech. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:565-572 [Conf ] Daniel Mack A New Formal Model of Belief. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:573-577 [Conf ] Aaron Sloman Exploration in Design Space. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:578-584 [Conf ] Berthe Y. Choueiry , Boi Faltings A Decomposition Heuristic for Resource Allocation. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:585-589 [Conf ] Hsiao-Lan Fang , Peter Ross , David Corne A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling Problems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:590-594 [Conf ] András Márkus , József Váncza Inference and Optimization Methods for Manufacturing Process Planning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:595-599 [Conf ] Jürgen Eckerle , Thomas Ottmann An Efficient Data Structure for Bidirectional Heuristic Search. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:600-604 [Conf ] Jana Koehler Correct Modification of Complex Plans. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:605-609 [Conf ] Dietmar Dengler An Adaptive Deductive Planning System. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:610-614 [Conf ] Christer Bäckström Executing Parallel Plans Faster by Adding Actions. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:615-619 [Conf ] Mathias Bauer Integrating Probabilistic Reasoning into Plan Recognition. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:620-624 [Conf ] Jürgen Dorn Hybrid Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:625-629 [Conf ] Robert Rodosek Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:630-634 [Conf ] W. P. M. Nuijten , Emile H. L. Aarts Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:635-639 [Conf ] Peng Ye , Derrick Glass , Michael F. McTear , John G. Hughes Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP Paradigm. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:640-644 [Conf ] R. R. Bakker , S. J. M. van Eldonk , P. M. Wognum , Nicolaas J. I. Mars The Use of Model-Based Diagnosis in Redesign. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:647-651 [Conf ] Frank van Harmelen , Annette ten Teije Using Domain Knowledge to Select Solutions in Abductive Diagnosis. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:652-656 [Conf ] Igor Mozetic Computing Minimal Diagnoses with Critical Set Algorithms. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:657-661 [Conf ] Eric Sauthier , Boi Faltings Model-Based Control. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:662-666 [Conf ] Wolfgang Nejdl , Johann Gamper Harnessing the Power of Temporal Abstractions in Model-Based Diagnosis of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:667-671 [Conf ] Michael Neitzke , Bernd Neumann Simulating Physical Systems with Relative Descriptions of Parameters. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:672-676 [Conf ] Oskar Dressler , Peter Struss Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:677-681 [Conf ] Yang Gao , Hugh F. Durrant-Whyte Integrating Qualitative Reasoning for Numerical Data Fusion Tasks. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:682-686 [Conf ] Jean-Daniel Dessimoz , Giovanni Mele Performance Assessment of Cognitive Systems: Case of Elementary Mobile Robots. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:689-693 [Conf ] Jacques Penders , Lyuba Alboul , Peter J. Braspenning The Interaction of Congenial Autonomous Robots. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:694-698 [Conf ] Didier Keymeulen , Jo Decuyper The Stream Field Method Applied to Mobile Robot Navigation: a Topological Perspective. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:699-703 [Conf ] Steffen Förster Neural Fuzzy Controller In Behavior-Oriented Architectures. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:704-708 [Conf ] Jörg P. Müller , Markus Pischel Modelling Interacting Agents in Dynamic Environments. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:709-713 [Conf ] Luc Steels Equilibrium Analysis of Behavior Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:714-718 [Conf ] Eric Dekneuvel , Malik Ghallab , Herve Philippe DICK: Distributed Inference on Compiled Knowledge for Real Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:719-726 [Conf ] Walter Van de Velde A Constructivist View on Knowledge Engineering. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:727-731 [Conf ] Kenneth B. Haase FRAMER: A Persistent Portable Representation Library. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:732-738 [Conf ] Marie-Christine Rousset Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:739-743 [Conf ] Jan Treur , Mark Willems A Logical Foundation for Verification. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:745-749 [Conf ] Antoine Missier , Spyros Xanthakis , Louise Travé-Massuyès Qualitative Algorithmics Using Order of Growth Reasoning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:750-754 [Conf ] Zippora Arzi-Gonczarowski , Daniel J. Lehmann Categorical Tools for Artificial Perception. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:757-761 [Conf ] Franco Callari , Pietro Storniolo A New Approach to Shading Flow Analysis and Surface Recovery from Images. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:762-766 [Conf ] Fadi Sandakly , Gérard Giraudon Multispecialist System for 3D Scene Analysis. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:767-771 [Conf ] Andranik Tangian Towards an Axiomatic Theory of Artificial Perception. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:772-778 [Conf ] Ernest A. Edmonds Computers and Creative Thought. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:779-784 [Conf ] Jos Schreinemakers , Jean-Paul A. Barthès , David S. Brée , R. van der Spek , Karl M. Wiig Knowledge Management. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:785-788 [Conf ] Robert Milne , Jean-Paul A. Barthès , Patrick Corsi The Future of AI Funding. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:789-792 [Conf ] Henrik I. Christensen , Erik Granum Active Vision: A Survey. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:793-798 [Conf ] Dave Cliff AI and A-Life: Never Mind The Blocksworld. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:799-804 [Conf ] Patrick Corsi Current and Future Trends for Community Research and Development in Artificial intelligence. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:805-810 [Conf ] Joachim Hertzberg Theoretical Planning and its Contributions to Practical and Applied Planning. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:811-812 [Conf ] Leslie Pack Kaelbling Learning and intelligent Agents. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:813- [Conf ] Carme Torras Neural Learning for Robot Control. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:814-822 [Conf ] Sarit Kraus Interaction and Collaboration in Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:823-825 [Conf ] Judea Pearl Causation, Action and Counterfactuals. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:826-828 [Conf ] Wolfgang Wahlster Computational Models of Multimodal Communication. [Citation Graph (0, 0)][DBLP ] ECAI, 1994, pp:829-830 [Conf ]