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
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ken Satoh :
A Top Down Proof Procedure for Default Logic by Using Abduction.
65-69
export record as
dblp key:
Bob Goedhart :
Abduction and Uncertainty in Compositional Reasoning.
70-74
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Peter Baumgartner :
Refinements of Theory Model Elimination and a Variant without Contrapositives.
90-94
export record as
dblp key:
Patrick Prosser :
Binary Constraint Satisfaction Problems: Some are Harder than Others.
95-99
export record as
dblp key:
Barbara M. Smith :
The Phase Transition and the Mushy Region in Constraint Satisfaction Problems.
100-104
export record as
dblp key:
export record as
dblp key:
David Lesaint :
Maximal Sets of Solutions for Constraint Satisfaction Problems.
110-114
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ecai/BeeringerAHMW94 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Manfred Kerber :
On the Translation of Higher-Order Problems into First-Order Logic.
145-149
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mugur M. Tatar :
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS.
160-164
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Boicho N. Kokinov :
The DUAL Cognitive Architecture: A Hybrid Multi-Agent Approach.
203-207
export record as
dblp key:
export record as
dblp key:
Khaled Khan :
Advantages of Using Prototypes in a Multi-Layer Perceptron and Comparison to Other Neural Networks.
216-220
export record as
dblp key:
export record as
dblp key:
Steve G. Romaniuk :
Applying Co-Evolution to the Construction of Neural Networks.
226-230
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jacques Wainer :
Yet another Semantics of Goals and Goal Priorities.
269-273
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Geof Staniford :
Multi-Agent System Design: Using Human Societal Metaphors and Normative Logic.
289-293
export record as
dblp key:
export record as
dblp key:
Armin Laux :
Beliefs in Multi-Agent Worlds: a Terminological Logics Approach.
299-303
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bernhard Nebel :
Base Revision Operations and Schemes: Semantics, Representation and Complexity.
341-345
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gerhard Brewka :
A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic.
366-370
export record as
dblp key:
export record as
dblp key:
Jérôme Mengin :
Prioritized Conflict Resolution for Default Reasoning.
376-380
export record as
dblp key:
Yves Moinard :
Reasoning by Cases without Contraposition in Default Logic.
381-385
export record as
dblp key:
export record as
dblp key:
Patrick Fabiani :
A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance Systems.
391-395
export record as
dblp key:
export record as
dblp key:
Patrick Doherty :
Reasoning about Action and Change Using Occlusion.
401-405
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bart Selman :
Domain-Specific Complexity Tradeoffs.
416-420
export record as
dblp key:
Brian J. Ross :
The Inductive Inference of Cyclic Synchronized Interleaving.
423-427
export record as
dblp key:
export record as
dblp key:
Achim G. Hoffmann :
Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems.
433-437
export record as
dblp key:
Uwe Hartmann :
Learning in Classifier Systems is Hard.
438-442
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pierre Brézellec ,
Henry Soldano :
Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental Results.
458-462
export record as
dblp key:
Angi Voß :
The Need for Knowledge Acquisition in Case-Based Reasoning - Some Experiences from an Architectural Domain.
463-467
export record as
dblp key:
Gerhard Widmer :
Combining Robustness and Flexibility in Learning Drifting Concepts.
468-472
export record as
dblp key:
Manfred Klenner ,
Udo Hahn :
Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept Systems.
473-477
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Helmut Horacek :
How to Avoid Explaining Obvious Things (Without Omitting Central Information).
520-524
export record as
dblp key:
Stephan Mehl :
Forward Inferences in Text Generation.
525-529
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Violaine Prince :
Interpreting Common Words in Context: a Symbolic Approach.
545-549
export record as
dblp key:
Uwe Jost ,
Eric Atwell :
Intrinsic Error Estimation for Corpus-Trained Probabilistic Language Models.
550-554
export record as
dblp key:
Vincent Cadoret :
Encoding Syntactical Trees with Labelling Recursive Auto-Associative Memory.
555-559
export record as
dblp key:
Wolfgang Menzel :
Parsing of Spoken Language under Time Constraints.
560-564
export record as
dblp key:
conf/ecai/Coste-Marquis94 Sylvie Coste-Marquis :
Hypothetical Reasoning for Automatic Recognition of Continuous Speech.
565-572
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jana Koehler :
Correct Modification of Complex Plans.
605-609
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mathias Bauer :
Integrating Probabilistic Reasoning into Plan Recognition.
620-624
export record as
dblp key:
export record as
dblp key:
Robert Rodosek :
Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP Perspective.
630-634
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Igor Mozetic :
Computing Minimal Diagnoses with Critical Set Algorithms.
657-661
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Oskar Dressler ,
Peter Struss :
Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice.
677-681
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Steffen Förster :
Neural Fuzzy Controller In Behavior-Oriented Architectures.
704-708
export record as
dblp key:
export record as
dblp key:
Luc Steels :
Equilibrium Analysis of Behavior Systems.
714-718
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Marie-Christine Rousset :
Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms.
739-743
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ecai/Arzi-GonczarnwskiL94 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ecai/SchreinemakersBBSW94 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dave Cliff :
AI and A-Life: Never Mind The Blocksworld.
799-804
export record as
dblp key:
Patrick Corsi :
Current and Future Trends for Community Research and Development in Artificial intelligence.
805-810
export record as
dblp key:
Joachim Hertzberg :
Theoretical Planning and its Contributions to Practical and Applied Planning.
811-812
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sarit Kraus :
Interaction and Collaboration in Multi-agent Systems.
823-825
export record as
dblp key:
Judea Pearl :
Causation, Action and Counterfactuals.
826-828
export record as
dblp key:
data released under the ODC-BY 1.0 license
