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