10. ECAI 1992:
Vienna,
Austria
Bernd Neumann (Ed.):
10th European Conference on Artificial Intelligence,
ECAI 92,
Vienna,
Austria,
August 3-7,
1992. Proceedings. John Wiley and Sons,
Chichester,
1992,
876p.
- Stuart J. Russell:
Efficient Memory-Bounded Search Methods.
1-5
- Anna Bramanti-Gregor, Henry W. Davis, F. G. Ganschow:
Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* Search.
6-10
- R. Ramaswamy, Anup K. Sen:
Single Machine Scheduling as a Graph Search Problem with Path-Dependent Arc Costs.
11-15
- Andreas L. Köll, Hermann Kaindl:
A New Approach to Dynamic Weighting.
16-17
- Alfonso San Miguel Aguirre:
Symmetries and the Cardinality Operator.
18-22
- Christian Bessière:
Arc-Consistency for Non-Binary Dynamic CSPs.
23-27
- Brent W. Benson Jr., Eugene C. Freuder:
Interchangeability Preprocessing Can Improve Forward Checking Search.
28-30
- P. A. Geelen:
Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems.
31-35
- Barbara M. Smith:
How to Solve the Zebra Problem, or Path Consistency the Easy Way.
36-37
- Didier Dubois, Jérôme Lang, Henri Prade:
Dealing with Multi-Source Information in Possibilistic Logic.
38-42
- Churn-Jung Liau, Bertrand I-Peng Lin:
Quantitative Modal Logic and Possibilistic Reasoning.
43-47
- Simon Parsons:
Qualitative Belief Networks.
48-50
- Chun-Hung Tzeng:
Plausible Reasoning in Bayesian Networks.
51-52
- Z. Luo:
Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks And its Application.
53-54
- Dave Barker-Plummer, Sidney C. Bailin:
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.
55-59
- Jörg Würtz:
Unifying Cycles.
60-64
- Dieter Hutter:
Adapting a Resolution Calculus for Inductive Proofs.
65-69
- Uwe Egly:
A Simple Proof for the Pigeonhole Formulae.
70-71
- Ian Frank, David A. Basin, Alan Bundy:
An Adaptation of Proof-Planning to Declarer Play in Bridge.
72-76
- Fausto Giunchiglia, Toby Walsh:
Tree Subsumption: Reasoning with Outlines.
77-81
- Emmanuel Kounalis:
A Simplification-Based Approach to Program Synthesis.
82-86
- Marta Franová, Yves Kodratoff:
Predicate Synthesis from Formal Specifications.
87-91
- Nicola Leone, Pasquale Rullo:
Stable Model Semantics and its Computation for Ordered Logic Programs.
92-96
- Jianhua Chen:
A Refined Semantics for Disjunctive Logic Programs.
97-101
- Luís Moniz Pereira, José Júlio Alferes:
Well Founded Semantics for Logic Programs with Explicit Negation.
102-106
- Vladimir Kuznetsov:
Negation as Exception.
107-108
- Patricia M. Hill:
Data Structures and Typed Logic Programs.
109-113
- Antonio Brogi, Evelina Lamma, Paola Mello:
ATMS for Implementing Logic Programming.
114-118
- Evelina Lamma, Paola Mello:
An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications.
119-123
- H. Hara:
Solving the Large-Scale 0-1 Integer Programming Problem Using an Assumption-Based Method.
124-128
- Noboru Iwayama, Ken Satoh, Jun Arima:
A Formalization of Generalization-Based Analogy in General Logic Programs.
129-133
- Robert Demolombe:
A Strategy for the Computation of Conditional Answers.
134-138
- Y. Huang, A. E. Adam:
A Relevancy Knowledge Model of Analogical Reasoning.
139-143
- Josep Puyol-Gruart, Lluis Godo, Carles Sierra:
A Specialisation Calculus to Improve Expert Systems Communication.
144-148
- Enrico Maim:
Abduction and Constraint Logic Programming.
149-153
- Thomas Hoppe:
On the Relationship between Partial Deduction and Abductive Reasoning.
154-158
- Annika Wærn:
Reactive Abduction.
159-163
- Antonio Camurri, Carlo Innocenti, Marcello Frixione, Renato Zaccaria:
A Model of Representation and Communication of Music and Multimedia Knowledge.
164-168
- Andranick Tanguiane:
Artificial Perception and Music Recognition: A Heuristic Approach.
169-173
- Tony Veale, Mark T. Keane:
Conceptual Scaffolding: Using Metaphors to Build Knowledge Structures.
174-178
- Stefan Sitter, Elisabeth Maier:
Rhetorical Relations in a Model of Information-Seeking Dialogues.
179-180
- Alex Quilici:
Recognizing and Revising Unconvincing Explanations.
181-182
- Christian Jacquemin:
Activation Diffusion: a Connectionist Network for robust parsing.
183-187
- Stefan Wermter:
A Hybrid and Connectionist Architecture for a Scanning Understanding.
188-192
- Vera Kurková:
Universal Approximation Using Feedforward Neural Networks with Gaussian Bar Units.
193-197
- Abhay B. Bulsari, Henrik Saxén:
A Partially Recurrent Connectionist Model.
198-202
- Georg Dorffner, Manfred Rotter:
On the Virtues of Functional Connectionist Compositionality.
203-205
- Joachim Diederich, Andreas Thümmel, E. Bartels:
Recurrent and Feedforward Networks for Human-Computer Interaction.
206-207
- Alfred Ultsch:
Knowledge Acquisition with Self-Organizing Neural Networks.
208-210
- Sergio Margarita:
Genetic Neural Networks for Financial Markets: Some Results.
211-213
- Axel Pinz, Horst Bischof:
Neural Network "Surgery": Transplantation of Hidden Units.
214-215
- Paolo Ferrara, Alois Ferscha, Günter Haring:
A Collision Avoiding Six Legged Walking Machine Based on Kohonen Feature Maps.
216-218
- Gil Tidhar, Jeffrey S. Rosenschein:
A Contract Net with Consultants: An Alternative Architecture and Experimental Results.
219-223
- Nicholas R. Jennings:
Towards a Cooperation Knowledge Level For Collaborative Problem Solving.
224-228
- Eithan Ephrati, Jeffrey S. Rosenschein:
Reaching Agreement through Partial Revelation of Preferences.
229-233
- Michael Wooldridge, Michael Fisher:
A First-Order Branching Time Logic of Multi-Agent System.
234-238
- Thierry Bouron, Anne Collinot:
SAM: A Model to Design Complex Computational Social Agents.
239-243
- B. Lemaire:
Hypothetical Reasoning within the Blackboard.
244-248
- Alison Cawsey, Julia Rose Galliers, Steven Reece, Karen Sparck Jones:
A Comparison of Architectures for Autonomous Multi-Agent Communication.
249-251
- Khaled Ghédira, Gérard Vertfaillie:
A Multi-Agent Model for the Resource Allocation Problem: A Reactive Approach.
252-254
- J.-C. Le Mentec, S. Brunessaux:
Improving Reactivity in a Blackboard Architecture with Parallelism and Interruptions.
255-256
- Z. Wu, T. Huang, J. Ying, Z. He:
A Summary of Coupled Expert Systems Building Toolkit ZIPE.
257-261
- Philippe Lalanda, François Charpillet, Jean Paul Haton:
A Real Time Blackboard Based Architecture.
262-266
- E. Bahr, Franz Barachini, Hans Mistelberger:
On Efficient Load Balancing for Parallel Execution of Production Systems.
267-271
- I. van Langevelde, A. Philipsen, Jan Treur:
Formal Specification of Compositional Architectures.
272-276
- Norbert Kehrer, Gustaf Neumann:
Business Event Oriented Information Systems Based on Meta Programming.
277-281
- Brian Logan, David Corne, Tim Smithers:
The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems.
282-286
- Nikola K. Kasabov, S. H. Petkov:
Neural Networks and Logic Programming - a Hybrid Model and its Applicability to Building Expert Systems.
287-288
- Jürgen Dix:
Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic.
289-293
- Patrick Doherty, Witold Lukaszewicz:
FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.
294-298
- Yao-Hua Tan, Jan Treur:
Constructive Default Logic and the Control of defeasible reasoning.
299-303
- Torsten Schaub:
On Constrained Default Theories.
304-308
- David Pearce:
Default Logic and Constructive Logic.
309-313
- Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang:
From Ordering Based Nonmonotonic Reasoning to Conditional Logics.
314-318
- Marco Cadoli, Marco Schaerf:
Approximate Inference in Default Logic and Circumscription.
319-323
- Wayne Wobcke:
On the Use of Epistemic Entrenchment in Non-monotonic Reasoning.
324-328
- Yves Moinard:
Circumscriptions as Preferential Entailment.
329-333
- Ilkka Niemelä:
A Unifying Framework for Nonmonotonic Reasoning.
334-338
- Odile Papini:
A Complete Revision Function in Propositional Calculus.
339-343
- Wlodek Zadrozny:
Explanations at the Knowledge Level.
344-348
- Christer Bäckström, Bernhard Nebel:
On the Computational Complexity of Planning and Story Understanding.
349-353
- Mukesh Dalal:
Tractable Instances of Some Hard Deduction Problems.
354-358
- Henry A. Kautz, Bart Selman:
Planning as Satisfiability.
359-363
- Munindar P. Singh:
A Critical Examination of Use Cohen-Levesque Theory of Intentions.
364-368
- Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso:
Diagnostic Reasoning Across Different Time Points.
369-373
- António Porto, Cristina Ribeiro:
Temporal Inference with a Point Based Interval Algebra.
374-378
- Achim Weigel, Rainer Bleisinger:
Support for Resolving Contradictions in Time Interval Networks.
379-383
- Marc Denecker, Lode Missiaen, Maurice Bruynooghe:
Temporal Reasoning with Abductive Event Calculus.
384-388
- Longin Jan Latecki, Simone Pribbenow:
On Hybrid Reasoning for Processing Spatial Expressions.
389-393
- David A. Randell, Zhan Cui, Anthony G. Cohn:
An Interval Logic for Space Based on "Connection".
394-398
- Jörg-Peter Mohren, J. Müller:
A Geometrical Approach to Depictional Representation of Spatial Relations.
399-402
- Pavlos Peppas, Wayne Wobcke:
On the Use of Epistemic Entrenchment in Reasoning about Action.
403-407
- N. J. Davies:
A First Order Theory of Knowledge, Belief and Action.
408-412
- Christine Froidevaux:
Default Logic for Action Rule-Based Systems.
413-417
- Antonio Camurri, Gianni Vercelli, Renato Zaccaria:
Real Time Knowledge Representation and Reasoning About Real Tasks.
418-419
- Carsten Kindermann:
Retraction in Terminological Knowledge Bases.
420-424
- Amedeo Napoli:
Subsumption and Classification-Based Reasoning in Object-Based Representations.
425-429
- Gerhard Weiß:
Learning the Goal Relevance of Actions in Classifler Systems.
430-434
- Olivier Gascuel, Gilles Caraux:
Statistical Significance in Inductive Learning.
435-439
- Aram Karalic:
Employing Linear Regression in Regression Tree Leaves.
440-441
- G. Kalkanis, Gerard V. Conroy:
Inductive Learning of Effective and Efficient Classification Rules.
442-443
- Matevz Kovacic, Nada Lavrac, Marko Grobelnik, Darko Zupanic, Dunja Mladenic:
Stochastic Search in Inductive Logic Programming.
444-445
- Pierre Marquis:
Building up Inductive Generalizations from Facts.
446-450
- Marco Botta, Attilio Giordana, Lorenza Saitta:
Comparison of Search Strategies in Learning Relations.
451-455
- Hilde Adé, Luc De Raedt, Maurice Bruynooghe:
Inverse Resolution in an Integrated Inductive-Deductive Learning System.
456-457
- Gilles Bisson:
Conceptual Clustering in a First Order Logic Representation.
458-462
- Gerhard Widmer, Miroslav Kubat:
Learning Flexible Concepts from Streams of Examples: FLORA 2.
463-467
- Y. Saito, S. Tojo, S. Komiya:
Intuitive Classification Based on Affinity.
468-470
- Claudio Carpineto:
Shift of Bias without Operators.
471-473
- Claire Nedellec:
How to Specialize by Theory Refinement.
474-478
- Michèle Sebag, Marc Schoenauer:
Learning to Control Inconsistent Knowledge.
479-483
- Paul D. Scott, K. H. Sage:
Why Generalize? Hybrid Representations and Instance-Based Learning.
484-486
- A. Samuel, F. Raynaut:
Oriented Shift of Representational Bias for Elementary Patterns.
487-489
- Farid Cerbah:
Generating Causal Explanations: From Qualitative Models to Natural Language Texts.
490-494
- Leo Wanner:
Lexical Choice and the Organization of Lexical Resources in Text Generation.
495-499
- Helmut Horacek:
Explanations for Constraint Systems.
500-504
- Wolfgang Finkler, Anne Schauder:
Effects of Incremental Output on Incremental Natural Language Generation.
505-507
- Matthew W. Crocker, Ian Lewin:
Parsing as Deduction: Rules versus Principles.
508-512
- Hans Haugeneder:
A Computationai Model for Processing Coordinate Structures: Parsing Coordination will-out Grammatical Specification.
513-517
- Jean-Michel Grandchamp, S. Letellier:
Predictions in Deterministic Parsing: a Framework for Lexical Correction.
518-522
- Katashi Nagao:
A Preferential Constraint Satisfaction Technique for Natural Language Analysis.
523-527
- Mona Singh, Munindar P. Singh:
Computing the Temporal Structure of Events in Natural Language.
528-532
- Sven Lorenz:
Presupposition, Anaphora, and Reasoning about Change.
533-537
- B. Keller:
A Logic for Representing Grammatical Knowledge.
538-542
- Joachim Quantz:
How to Fit Generalized Quantifiers into Terminological Logics.
543-547
- Wolfgang Heinz, Johannes Matiasek, Harald Trost, Ernst Buchberger:
Comparison in NLIs - Habitability and Database Reality.
548-552
- Anne Bonneau, François Charpillet, Sylvie Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis:
A Model for Hypothetical Reasoning Applied to Speech Recognition.
553-557
- Claudius Pyka:
Management of Hypotheses in an Integrated Speech-Language Architecture.
558-560
- Tony Veale, Padraig Cunningham:
Competitive Hypothesis Resolution in TWIG, a Blackboard-Driven Text Understanding System.
561-563
- C. Gierl, Daniel Frost:
Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical Induction.
564-566
- Angi Voß, Werner Karbach, Carl-Helmut Coulon, Uwe Drouven, Brigitte Bartsch-Spörl:
Generic Specialists in Competent Behaviour.
567-571
- C. Duursma:
Interpretation Models and Problem Solving Methods.
572-576
- Martin Reinders, Bert Bredeweg:
Reflective Strategic Control of Multiple Problem Solving Methods.
577-581
- Frank van Harmelen, John Balder:
(ML)2: A Formal Language for KADS Models.
582-586
- Barry Smyth, Padraig Cunningham:
Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design.
587-589
- M. Brown:
Incorporating Similarity Measures into Case Retrieval Using Analogue Marker Passing.
590-592
- Mario Borillo, Andrée Borillo, Núria Castell, D. Latour, Yannick Toussaint, Felisa Verdejo:
Applying Linguistic Engineering to Spatial Software Engineering: the Traceabiiity Problem.
593-595
- Xavier Alamán Roldán, Idoia Alarcón, Erik de Pablo, Jose Luis Zaccagnini:
The Maquette-Based Methodology Applied to Real-Time Knowledge-Based Systems.
596-600
- Philip Rademakers, Rolf Pfeifer:
The Role of Knowledge Level Models in Situated Adaptive Design.
601-602
- Bogdan Filipic:
Enhancing Genetic Search to Schedule a Production Unit.
603-607
- Dipankar Dasgupta, Douglas R. McGregor:
Engineering Optimizations Using the Structured Genetic Aigorithm.
608-609
- Achim G. Hoffmann:
Phenomenology, Representations and Complexity.
610-614
- Gerson Zaverucha:
Logical Foundations of a Modal Defeasible Relevant Logic of Belief.
615-619
- Erik Vinkhuyzen:
On the Non-Existence of Knowledge Level Models.
620-622
- John Fox, Paul Krause, Simon Ambler:
Arguments, Contradicitions and Practical Reasoning.
623-627
- Susanne Biundo, Dietmar Dengler, Jana Koehler:
Deductive Planning and Plan Reuse in a Command Language Environment.
628-632
- Stephen Cranefield:
A Logical Framework for Practical Planning.
633-637
- P. M. Berry:
SCHEDULING: A Problem of Decision-Making Under Uncertainty.
638-642
- Paolo Traverso, Alessandro Cimatti, Luca Spalazzi:
Beyond the Single Planning Paradigm: Introspective Planning.
643-647
- Kumar Tadepalli, N. Parameswaran:
Reason Maintenance Systems for Multiagent Planning.
648-652
- G. Kelleher, Anthony G. Cohn:
Automatically Synthesising Domain Constraints from Operator Descriptions.
653-655
- Angel P. Del Pobil, Miguel A. Serna:
Solving the Find-Path Problem in 3D by a Simple Object Model.
656-660
- José del R. Millán:
Building Reactive Path-Finders through Reinforcement Connectionist Learning: Three Issues and an Architecture.
661-665
- D. Kontoravdis, Aristidis Likas, Andreas Stafylopatis:
Collision-Free Movement of an Autonomous Vehicle Using Reinforcement Learning.
666-670
- Juan Manuel Ahuactzin, El-Ghazali Talbi, Pierre Bessière, Emmanuel Mazer:
Using Genetic Algorithms for Robot Motion Planning.
671-675
- Carlos Ramos, Eugenio Oliveira:
Planning, Execution and Sensor-Based Reaction for Assembly Robotic Tasks.
676-680
- Luca Maria Gambardella, M. Haex:
Grasp Planning for Automatic Assembly Tasks Using Artificial Fields.
681-682
- Michael Neitzke:
Modeling Physical Systems with Relative Descriptions of Parameters.
683-684
- A. F. Toal:
PQS: ``I dont know'' Is an Important Qualitative Statement.
685-686
- J. Primus, Boi Faltings:
Domain Modeling for Monitoring Systems.
687-688
- Ann E. Nicholson, Michael Brady:
The Data Association Problem when Monitoring Robot Vehicles Using Dynamic Belief Networks.
689-693
- N. Bousson, Louise Travé-Massuyès:
Formalizing Expertise Qualitative Operators.
694-698
- John A. Self:
Cognitive Diagnosis for Tutoring Systems.
699-703
- Pearl Pu, Y. Huang:
Crossroad Diagnosis.
704-708
- Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl:
Formaiizing the Repair Process.
709-713
- Z. Csáki:
Identification as Learning in Reasoning about Incomplete Knowledge of Physical Systems.
714-718
- Oskar Dressler, Peter Struss:
Back to Defatilts: Characterizing and Computing Diagnoses as Coherent Assumption Sets.
719-723
- Philippe Besnard, Marie-Odile Cordier:
Explanatory Diagnoses and their Computation by Circumscription.
724-728
- Igor Mozetic:
A Polynomial-time Algorithm for Model-Based Diagnosis.
729-733
- R. R. Bakker, M. Bourseau:
Pragmatic Reasoning in Model-Based Diagnosis.
734-738
- J. Bradshaw, R. Michael Young:
Evaluating the Behaviour of the BAe 146 Hydraulic System Using the Doris System.
739-743
- Yoshiteru Ishida:
A Graphical Approach to Qualitative Reasoning on Dynamic Systems.
744-748
- M. R. Vescovi, J.-P. Robles:
Fuzzy Diagnosis of Continuous Processes.
749-753
- Boi Faltings, Djamila Haroud, Ian F. C. Smith:
Dynamic Constraint Propagation with Continuous Variables.
754-758
- Cristina Conati, Jon M. Slack:
Accessing Information through Graphics.
759-763
- Thomas Rist, Elisabeth André:
From Presentation Tasks to Pictures: Towards a Computational Approach to Graphics Design.
764-768
- Anil S. Chakravarthy, Kenneth B. Haase, L. M. Weitzman:
A Uniform Memory-Based Representation for Visual Languages.
769-773
- S. Oei, R. Smit, Jos Schreinemakers, L. Marinos, J. Sirks:
The Presentation Manager, A Method for Task- Driven Concept Presentation.
774-775
- Edoardo Ardizzone, Franco Callari, Antonio Chella, Salvatore Gaglio:
The Mapping Between Geometric and Symbolic Knowledge in Artificial Vision: A Connectionist Approach.
776-780
- Shaogang Gong, Hilary Buxton:
On the Visual Expectations of Moving Objects.
781-784
- Richard J. Howarth, Hilary Buxton:
Analogical Representation of Spatial Events for Understanding Traffic Behaviour.
785-789
- Nassir Navab, Z. Zhang:
From Multiple Objects Motion Analysis To Behavior-Based Object Recognition.
790-794
- Eric Dekneuvel, Malik Ghallab, J.-P. Thibault:
Hypotheses Management for Scene Interpretation in a Multisensory Perception Machine.
795-799
- Quang-Tuan Luong, Olivier D. Faugeras:
Active Head Movements Help Solve Stereo Correspondence.
800-802
- Gerd-Jürgen Giefing, H. Janßen, Hanspeter A. Mallot:
Saccadic Object Recognition with an Active Vision System.
803-805
- Paolo Remagnino, Josef Kittler, G. Matas, John Illingworth:
On Computing the Next Look Camera Parameters in Active Vision.
806-807
- Ruggero Milanese, Jean-Marc Bost, Thierry Pun:
A Bottom-Up Attention System for Active Vision.
808-810
- Stefan Bohrer, Michael Brauckmann, Werner von Seelen:
Visual Obstacle Detection by a Geometrically Simplified Optical Flow Approach.
811-815
- W. Brent Seales, Charles R. Dyer:
An Occlusion-Based Representation of Shape for Viewpoint Recovery.
816-820
- Luc Robert, Rachid Deriche, Olivier D. Faugeras:
Dense Depth Recovery From Stereo Images.
821-823
- Mariofanna G. Milanova, I. A. Aleksandrov, Roumen Kountchev:
Recovering and CAD/CAM Processing of Complex Surfaces.
824-825
- Humberto Sossa, Radu Horaud:
Model Indexing Based on a Graph-Theoretic Approach.
826-828
- Jean-Pierre H. Laurent:
Proposals for a Valid Terminology in KBS Validation.
829-834
- Alun D. Preece, Rajjan Shinghal:
Verifying Knowledge Bases by Anomaly Detection: An Experience Report.
835-839
- Pedro Meseguer:
Incremental Verification of Rule-Based Expert Systems.
840-844
- Stéphane Loiseau:
Refinement of Knowledge Bases Based on Consistency.
845-852
- Oliviero Stock:
A Third Modailty of Natural Language?
853-862
- Peter Struss:
Knowledge-based Diagnosis - An Important Challenge and Touchstone for AI.
863-874
- Stanley J. Rosenschein:
Perception and Action in Autonomous Systems.
875-874
Last update Thu May 24 04:16:35 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
