9. ECAI 1990:
Stockholm,
Sweden
9th European Conference on Artificial Intelligence,
ECAI '90,
Stockholm,
Sweden,
1990
- Agnar Aamodt:
Knowledge-Intensive Case-Based Reasoning and Sustained Learning.
1-6
- Manfred Aben, Maarten van Someren:
Heuristic Refinement of Logic Programs.
7-12
- Jürgen Allgayer:
SB-ONE+: Dealing with Sets Efficiently.
13-18
- Manuel Alonso, José Cuena, Martín Molina:
SIRAH: An Architecture for a Professional Intelligence.
19-24
- Elisabeth André, Thomas Rist:
Towards a Plan-Based Synthesis of Illustrated Documents.
25-30
- J.-M. Andre, A. Mouginot, M. Venet:
A Framework for Dynamic Reorganization.
31-37
- Carlos Araya, Frank M. Brown:
SCHEMATA: A Language for Deduction.
38-40
- Giuseppe Attardi, Mauro Gaspari, F. Saracco:
Interoperability of AI Languages.
41-46
- Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch:
Deductive/Abductvie Diagnosis: The DA-Principles.
47-52
- Franz Baader:
A Formal Definition for the Expressive Power of Knowledge Representation Languages.
53-58
- Fahiem Bacchus:
Probabilistic Belief Logics.
59-64
- Afzal Ballim, Yorick Wilks:
Relevant Beliefs.
65-70
- V. R. Bandekar:
Causal Structures: Computation and Applications.
71-76
- Alain Beauvieux, Philippe Dague:
A General Consistency (Checking and Restoring) Engine for Knowledge Bases.
77-82
- Benjamin Bell, Louis-François Pau:
Context Knowledge and Search Control Issues in Object-Oriented Prolog-Based Image Understanding.
83
- Francesco Bergadano, Attilio Giordana, Lorenza Saitta:
Biasing Induction by Using a Domain Theory: An Experimental Evaluation.
84-89
- Hugues Bersini:
One Step in the Counter-Representationalist Direction.
90-95
- Ann Blandford:
A Tutorial Dialogue Model to Encourage Externalisation and Reflection.
96-98
- Mario Borillo, Bruno Gaume:
An Extension to Kowalski & Sergot's Event Calculus.
99-104
- Antonio Brogi, Evelina Lamma, Paola Mello:
Inheritance and Hypothetical Reasoning in Logic Programming.
105-110
- Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Universal Quantification by Case Analysis.
111-116
- L. Broumley, John L. Arnott, A. Y. Cairns, Alan F. Newell:
TalksBack: An Applicaation of AI Techniques to a Communication Prosthesis for the Non-Speaking.
117-119
- Lynne J. Cahill, Roger Evans:
An Application of DATR: The TIC Lexicon.
120-125
- Lynne J. Cahill, Gerald Gazdar:
The Semantics of MOLUSC.
126-131
- Antonio Camurri, Marcello Frixione, Gianni Vercelli, Renato Zaccaria:
Some Concepts on Analogic Planning in Assembly Tasks.
132-137
- Claudio Carpineto:
Combining EBL from Success and EBL from Failure with Parameter Version Spaces.
138-140
- Enric Celaya, Carme Torras:
Finding Object Configurations that Satisfy Spatial Relationships.
141-146
- Bojan Cestnik:
Estimating Probabilities: A Crucial Task in Machine Learning.
147-149
- Guy Chaty, N. Darcel, Daniel Kayser, Bernard Levrat:
An Account of Paraphrase Using Elementary Transformations.
150-152
- Jean Pierre Cocquerez, Michel Jordan, M. Zahid:
Geometric Modelling of Stereovision: Application to Aerial Pictures.
153-159
- Luca Console, Pietro Torasso:
Integrating Models of the Correct Behavior into Abductive Diagnosis.
160-166
- Susan Craw, Derek H. Sleeman:
Automating the Refinement of Knowledge-Based Systems.
167-172
- Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert:
Analog Systems Diagnosis.
173-178
- H. Dai, T. J. Anderson, F. C. Monds:
A Framework for Real-Time Problem Solving.
179-185
- Jean-Marc David, Jean-Paul Krivine:
Explaining Reasoning from Knowledge Level Models.
186-188
- Yuval Davidor:
Lamarckian Sub-Goal Reward in Genetic Algorithm.
189-194
- N. J. Davies:
Towards a First Order Theory of Reasoning Agents.
195-200
- Niels da Vitoria Lobo, John K. Tsotsos:
Shape from Binocular Disparity and Incomplete Knowledge of Baseline Parameters.
201-203
- Hugo de Garis:
Genetic Programming: Evolution of a Time Dependent Neural Network Module which Teaches a Pair of Stick Legs to Walk.
204-206
- Luc De Raedt, Maurice Bruynooghe:
On Negation and Three-Valued Logic in Interactive Concept-Learning.
207-212
- Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly:
Contributions to a Proof Theory for Generic Defaults.
213-218
- José del R. Millán, Carme Torras:
Reinforcement Learning: Discovering Stable Solutions in the Robot Path Finding Domain.
219-221
- Joachim Diederich:
An Explanation Component for a Connectionist Inference System.
222-227
- Luigi Di Pace, F. Fabrocini:
Learning from Observation in Noisy Environments via Integration of EBL and SBL Techniques.
228-233
- B. S. Doherty, B. Pauly, J. Barthelemy:
Elicitation and Verification of a Functional Specification.
234-239
- Kohji Dohsaka:
Identifying the Referents of Zero-Pronouns in Japanese Based on Pragmatic Constraint Interpretation.
240-245
- Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi:
An Efficient Method for Hybrid Deduction.
246-252
- Oskar Dressler:
Problem Solving with the NM-ATMS.
253-258
- Didier Dubois, Henri Prade:
Reasoning with Inconsistent Information in a Possibilistic Setting.
259-261
- Luis Fariñas del Cerro, Andreas Herzig:
Deterministic Modal Logics for Automated Deduction.
262-267
- Detlef Fehrer:
A Resolution Calculus for a Logic Based on Vaguely Defined Predicates.
268-273
- Robert B. Fisher:
Reducing Viewsphere Complexity.
274-276
- Gerhard Friedrich, Franz Lackinger, Wolfgang Nejdl:
Redefining the Candidate Space in Model-Based Diagnosis.
277-282
- Christine Froidevaux, C. Grossetete:
Graded Default Theories for Uncertainty.
283-288
- P. Gaborit, A. Potet, Claudette Sayettat:
Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes.
289-291
- Dale Gerdemann, Erhard W. Hinrichs:
A Unification-Based Approach to Quantifier Scoping.
292-297
- Bart Geurts:
Computing Salience.
298-300
- N. Gilbert, S. Buckland, David Frohlich, Marina Jirotka, Paul Luff:
Providing Advice Through Dialogue.
301-307
- Laura Giordano, Alberto Martelli:
An Abductive Characterization of the TMS.
308-313
- Bernhard Gramlich:
Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications.
314-319
- Ennio Grasso, Leonardo Lesmo, Vincenzo Lombardo, Pia M. Maccario, Roberto Salato, Paolo Terenziani:
Semantic Interpretation of Tense, Actionality and Aspect.
320-325
- Éric Grégoire:
Skeptical Inheritance Can Be More Expressive.
326-332
- S. Guez:
A Model for the Automatic Processing of Argumentative Dialogues.
333-335
- T. Hasegawa:
A Rule Application Control Method in a Lexicon-Driven Transfer Model of a Dialogue Translation System.
336-338
- Kôiti Hasida:
Sentence Processing as Constraint Transformation.
339-344
- Achim G. Hoffmann:
General Limitations on Machine Learning.
345-347
- Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß:
Subsumption Algorithms for Concept Description Languages.
348-353
- Thomas Hoppe:
Hypotheses Generation for Knowledge Validation.
354-356
- Helmut Horacek, Michael Gerlach:
The Role of Goals in Dialog Control.
357-362
- Junko Hosaka, Kentaro Ogura, Kiyoshi Kogure:
Word Sequence Constraints for Japanese Speech Recognition.
363-365
- Nancy Ide, Jean Véronis:
Very Large Neural Networks for Word Sense Disambiguation.
366-368
- Philippe Jégou:
Cyclic-Clustering: A Compromise between Tree-Clustering and Cycle-Cutset Method for Improving Search Efficiency.
369-371
- Y. J. Jiang:
Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning.
372-377
- C. Joubel, Olivier Raiman:
How Time Changes Assumptions.
378-383
- Janusz Kacprzyk, M. Fredizzi:
On Measuring the Specificity of If - Then Rules (Abstract).
384
- Antonis C. Kakas, Paolo Mancarella:
Generalized Stable Models: A Semantics for Abduction.
385-391
- Daniel Kayser:
Thruth and the Interpretation of Natural Language: A Non-Monotonic Variable-Depth Approach.
392-397
- Yves Kodratoff:
Combining Similarity and Causality in Creative Analogy.
398-403
- Henryk Jan Komorowski:
Towards a Programming Methodology Founded on Partial Deduction.
404-409
- Anne M. Landraud:
Scale-and-Orientation Independent Computer Pattern Perception.
410-412
- P. Liu:
A Theoretical Analysis of Recurrence Goals.
413-418
- Bernardo Magnini, Carlo Strapparava:
Computational Representation of Mental Spaces: A Functional Approach.
419-424
- O. Marino, François Rechenmann, P. Uvietta:
Multiple Perspectives and Classification Mechanism in Object-Oriented Representation.
425-430
- Zdravko Markov, Lydia Sinapova, Christo Dichev:
Default Reasoning in a Network Environment.
431-436
- Pedro Meseguer:
A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach.
437-442
- Phan Minh Dung:
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs.
443-448
- Yves Moinard:
Circumscription and Horn Theories.
449-454
- Peter B. Musgrove, R. I. Phelps:
An Automatic System for Acquisition of Natural Concepts.
455-460
- M. Nagata, Kiyoshi Kogure:
HPSG-Based Lattice Parser for Spoken Japanese in a Spoken Language Translation System.
461-466
- Alexander Nakhimovsky:
Topological and Metrical Invariants of Grammatical Meanings.
467-469
- Anil Nigam, R. Bhaskar:
Qualitative Astrophysics.
470-472
- Masayuki Numao:
Analytical Learning of Inductive Inference.
473-478
- Hans Jürgen Ohlbach:
Abstraction Tree Indexing for Terms.
479-484
- Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti:
Truth Tables for a Combinatorial Kernel of Set Theories.
485-490
- Bernd Owsnicki-Klewe:
A Cardinality-Based Approach to Incomplete Knowledge.
491-496
- T. Persson, L. Staflin:
A Causation Theory for a Logic of Continuous Change.
497-502
- Carlos A. Pinto-Ferreira, João P. Martins:
A Formal System for Reasoning about Change.
503-508
- Ivan Popchev, Neli Zlatareva, Marion Mircheva:
A Truth Maintenance Theory: An Alternative Approach.
509-514
- Tony P. Pridmore, S. H. Joseph:
Using Schemata to Interpret Images of Mechanical Engineering Drawings.
515-521
- Gregory M. Provan:
The Computational Complexity of Multiple-Context Truth Maintenance Systems.
522-527
- Hub Prüst, Remko Scha:
A Discourse Approach to Verb Phrase Anaphora.
528-530
- Alan L. Rector, Carole A. Goble, Bernard Horan, T. J. Howkins, S. Kay, W. A. Nowlan, A. Wilson:
Shedding Light on Patients' Problems: Integrating Knowledge Based Systems into Medical Practice.
531-534
- Nancy E. Reed, Paul E. Johnson:
Generative Knowledge for Computer Troubleshooting.
535-540
- Han Reichgelt, Nigel Shadbolt:
A Specification Tool for Planning Systems.
541-546
- Ulrich Reimer:
Automatic Acquisition of Terminological Knowledge from Texts.
547-549
- Francesca Rossi, Charles J. Petrie, Vasant Dhar:
On the Equivalence of Constraint Satisfaction Problems.
550-556
- Céline Rouveirol:
Saturation: Postponing Choices when Inverting Resolution.
557-562
- Gérard Sabah:
CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel Implementation.
563-565
- S. A. Safier, Susan Finger:
Parsing Features in Solid Geometric Models.
566-572
- Vieri Samek-Lodovici, Carlo Strapparava:
Identifying Noun Phrase References: The Topic Module of the AlFresco System.
573-578
- Erik Sandewall:
Reasoning about the World as Perceived by an Agent.
579-584
- Ken Satoh:
Formalizing Soft Constraints by Interpretation Ordering.
585-590
- J. Schaffer Sider:
Free Presumption Checking in King Kong.
591-593
- Karl Schlechta:
Semantics for Defeasible Inheritance.
594-597
- Murray Shanahan:
Representing Continuous Change in the Event Calculus.
598-603
- Munindar P. Singh:
Towards a Theory of Situated Know-How.
604-609
- Padhraic Smyth, Rodney M. Goodman, Charles M. Higgins:
A Hybrid Rule-Based/Bayesian Classifier.
610-615
- Edgar Sommer, Frank von Martial, Frank Victor:
PRAGMA: A System for Actively Capturing Procedural Knowledge via a Graphical Interface.
616-621
- Piet Spiessens:
PCS: A Classifier System that Builds a Predictive Internal World Model.
622-627
- Dan C. Stefanescu:
Expectation Propositional Logics.
628-633
- Carolyn L. Talcott, Richard W. Weyhrauch:
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View.
634-639
- X. Tong:
Acquisition of Inference Structure.
640-642
- Jan L. Top, Hans Akkermans:
Processes as Components: On the Primitives of a Qualitative Scientific Physics.
643-648
- Edward P. K. Tsang, Terry Warwick:
Applying Genetic Algorithms to Constraint Satisfaction Optimization Problems.
649-654
- Kris Van Marcke:
A Generic Tutoring Environment.
655-660
- Johan Vanwelkenhuysen, Philip Rademakers:
Mapping a Knowledge Level Analysis onto a Computational Framework.
661-666
- Laurence Vignollet, Marc Ayel:
A Conceptual Model for Building Sets of Test Samples for Knowledge Bases.
667-672
- Marc B. Vilain:
Function Anaphora with Replacement.
673-675
- Angi Voß, Werner Karbach, Uwe Drouven, D. Lorek:
Competence Assessment in Configuration Tasks.
676-681
- Mark Wallace:
Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady?
682-687
- Christoph Weidenbach, Hans Jürgen Ohlbach:
A Resolution Calculus with Dynamic Sort Structures and Partial Functions.
688-693
- Eric Werner:
What Can Agents Do Together? A Semantics for Reasoning about Cooperative Ability.
694-701
- Mary-Anne Williams, Norman Y. Foo:
Nonmonotonic Dynamics of Default Logic.
702-707
- Wayne Wobcke:
A Theory of Knowledge in Situation Semantics.
708-713
- Jacek Wrzos-Kaminski, Agata Wrzos-Kaminska:
Explicit Ordering of Defaults in ATMS.
714-719
- X. Huang:
Reference Choices in Mathematical Proofs.
720-725
- T. Yamaoka, H. Iida:
A Method to Predict the Next Utterance Using a Four-Layered Plan Recognition Model.
726-731
- Q. Yang:
Preprocessing Hierarchical Planning Knowledge for Efficient Planning.
732-737
- Q. Yang:
Solving the Generalized Hitting Set Problems.
738-743
- R. A. Young, A. Reel:
A Hybrid Genetic Algorithm for a Logic Problem.
744-746
- Zhengyou Zhang, Olivier D. Faugeras:
Tracking and Motion Estimation in a Sequence of Stereo Frames.
747-752
- Mark S. Fox, Norman M. Sadeh:
Why is Scheduling Difficult? A CSP Perspective.
754-767
- Peter Gärdenfors:
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin?
768-773
- Barbara J. Grosz:
Collaborative Planning for Discourse (Abstract).
774-775
- George Metakides, Brice Lepape:
ESPRIT Session: Artificial Intelligence in ESPRIT.
778
- Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat:
PROMETHEUS Session.
779-780
Last update Tue Feb 14 03:54:06 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
