LIDOS BibTeX Database File
ecai90.bib

@inproceedings{Aben:90EC,
  AUTHOR = {M. Aben and M. van Someren},
  TITLE = {Heuristic Refinement of Logic Programs},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {7-12},
  KEYWORDS = {}}

@inproceedings{Allgayer90EC,
  AUTHOR = {J. Allgayer},
  TITLE = {SB-ONE+: Dealing with Sets Efficiently},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {13-18},
  KEYWORDS = {know-repr}}

@inproceedings{Alonso:90EC,
  AUTHOR = {M. Alonso and J. Cuena and M. Molina},
  TITLE = {SIRAH: An Architecture for a Professional Intelligence},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {19-24},
  KEYWORDS = {}}

@inproceedings{Andre:90ECa,
  AUTHOR = {E. Andre and T. Rist},
  TITLE = {Towards a Plan-Based Synthesis of Illustrated Documents},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {25-30},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Andre:90ECb,
  AUTHOR = {J.-M. Andre and A. Mouginot and M. Venet},
  TITLE = {A Framework for Dynamic Reorganization},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {31-37},
  KEYWORDS = {}}

@inproceedings{Araya:90EC,
  AUTHOR = {C. L. Araya and F. M. Brown},
  TITLE = {SCHEMATA: A Language for Deduction},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {38-40},
  KEYWORDS = {}}

@inproceedings{Attardi:90EC,
  AUTHOR = {G. Attardi and M. Gaspari and F. Saracco},
  TITLE = {Interoperability of AI Languages},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {41-46},
  KEYWORDS = {}}

@inproceedings{Ayeb:90EC,
  AUTHOR = {B. E. Ayeb and P. Marquis and M. Rusinowitch},
  TITLE = {Deductive/Abductvie Diagnosis: The DA-Principles},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {47-52},
  KEYWORDS = {}}

@inproceedings{Baader90EC,
  AUTHOR = {F. Baader},
  TITLE = {A Formal Definition for the Expressive Power of Knowledge Representation Languages},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {53-58},
  KEYWORDS = {know-repr}}

@inproceedings{Bacchus90EC,
  AUTHOR = {F. Bacchus},
  TITLE = {Probabilistic Belief Logics},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {59-64},
  KEYWORDS = {know-repr}}

@inproceedings{Ballim:90EC,
  AUTHOR = {A. Ballim and Y. Wilks},
  TITLE = {Relevant Beliefs},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {65-70},
  KEYWORDS = {psych, ling, n-l-p, user-mod}}

@inproceedings{Bandekar90EC,
  AUTHOR = {V. R. Bandekar},
  TITLE = {Causal Structures: Computation and Applications},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {71-76},
  KEYWORDS = {know-repr}}

@inproceedings{Beauvieux:90EC,
  AUTHOR = {A. Beauvieux and P. Dague},
  TITLE = {A General Consistency (Checking and Restoring) Engine for Knowledge Bases},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {77-82},
  KEYWORDS = {}}

@inproceedings{Bell:90EC,
  AUTHOR = {B. Bell and L. F. Pau},
  TITLE = {Context Knowledge and Search Control Issues in Object-Oriented Prolog-Based Image Understanding},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {83},
  KEYWORDS = {}}

@inproceedings{Bergadano:90EC,
  AUTHOR = {F. Bergadano and A. Giordana and L. Saitta},
  TITLE = {Biasing Induction by Using a Domain Theory: An Experimental Evaluation},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {84-89},
  KEYWORDS = {}}

@inproceedings{Bersini90EC,
  AUTHOR = {H. Bersini},
  TITLE = {One Step in the Counter-Representationalist Direction},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {90-95},
  KEYWORDS = {}}

@inproceedings{Blandford90EC,
  AUTHOR = {A. Blandford},
  TITLE = {A Tutorial Dialogue Model to Encourage Externalisation and Reflection},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {96-98},
  KEYWORDS = {}}

@inproceedings{Borillo:90EC,
  AUTHOR = {M. Borillo and B. Gaume},
  TITLE = {An Extension to Kowalski \& Sergot's Event Calculus},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {99-104},
  KEYWORDS = {psych}}

@inproceedings{Brogi:90ECa,
  AUTHOR = {A. Brogi and E. Lamma and P. Mello},
  TITLE = {Inheritance and Hypothetical Reasoning in Logic Programming},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {105-110},
  KEYWORDS = {}}

@inproceedings{Brogi:90ECb,
  AUTHOR = {A. Brogi and P. Mancarella and D. Pedreschi and F. Turini},
  TITLE = {Universal Quantification by Case Analysis},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {111-116},
  KEYWORDS = {}}

@inproceedings{Broumley:90EC,
  AUTHOR = {L. Broumley and J. L. Arnott and A. Y. Caims and A. F. Newell},
  TITLE = {TalksBack: An Applicaation of AI Techniques to a Communication Prosthesis for the Non-Speaking},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {117-119},
  KEYWORDS = {}}

@inproceedings{Cahill:90ECa,
  AUTHOR = {L. Cahill and R. Evans},
  TITLE = {An Application of DATR: The TIC Lexicon},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {120-125},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Cahill:90ECb,
  AUTHOR = {L. Cahill and G. Gazdar},
  TITLE = {The Semantics of MOLUSC},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {126-131},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Camurri:90EC,
  AUTHOR = {A. Camurri and M. Frixione and G. Vercelli and R. Zaccaria},
  TITLE = {Some Concepts on Analogic Planning in Assembly Tasks},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {132-137},
  KEYWORDS = {}}

@inproceedings{Carpineto90EC,
  AUTHOR = {C. Carpineto},
  TITLE = {Combining EBL from Success and EBL from Failure with Parameter Version Spaces},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {138-140},
  KEYWORDS = {}}

@inproceedings{Celaya:90EC,
  AUTHOR = {E. Celaya and C. Torras},
  TITLE = {Finding Object Configurations that Satisfy Spatial Relationships},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {141-146},
  KEYWORDS = {}}

@inproceedings{Cestnik90EC,
  AUTHOR = {B. Cestnik},
  TITLE = {Estimating Probabilities: A Crucial Task in Machine Learning},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {147-149},
  KEYWORDS = {}}

@inproceedings{Chaty:90EC,
  AUTHOR = {G. Chaty and N. Darcel and D. Kayser and B. Levrat},
  TITLE = {An Account of Paraphrase Using Elementary Transformations},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {150-152},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Cocquerez:90EC,
  AUTHOR = {J. P. Cocquerez and M. Jordan and M. Zahid},
  TITLE = {Geometric Modelling of Stereovision: Application to Aerial Pictures},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {153-159},
  KEYWORDS = {}}

@inproceedings{Console:90EC,
  AUTHOR = {L. Console and P. Torasso},
  TITLE = {Integrating Models of the Correct Behavior into Abductive Diagnosis},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {160-166},
  KEYWORDS = {know-repr}}

@inproceedings{Craw:90EC,
  AUTHOR = {S. Craw and D. Sleeman},
  TITLE = {Automating the Refinement of Knowledge-Based Systems},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {167-172},
  KEYWORDS = {}}

@inproceedings{Dague:90EC,
  AUTHOR = {P. Dague and P. Deves and P. Luciani and P. Taillibert},
  TITLE = {Analog Systems Diagnosis},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {173-178},
  KEYWORDS = {know-repr}}

@inproceedings{Dai:90EC,
  AUTHOR = {H. Dai and T. J. Anderson and F. C. Monds},
  TITLE = {A Framework for Real-Time Problem Solving},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {179-185},
  KEYWORDS = {}}

@inproceedings{David:90EC,
  AUTHOR = {J.-M. David and J.-P. Krivine},
  TITLE = {Explaining Reasoning from Knowledge Level Models},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {186-188},
  KEYWORDS = {}}

@inproceedings{Davidor90EC,
  AUTHOR = {Y. Davidor},
  TITLE = {Lamarckian Sub-Goal Reward in Genetic Algorithm},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {189-194},
  KEYWORDS = {}}

@inproceedings{Davies90EC,
  AUTHOR = {N. Davies},
  TITLE = {Towards a First Order Theory of Reasoning Agents},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {195-200},
  KEYWORDS = {know-repr}}

@inproceedings{Vitoria:90EC,
  AUTHOR = {N. da Vitoria Lobo and J. K. Tsotsos},
  TITLE = {Shape from Binocular Disparity and Incomplete Knowledge of Baseline Parameters},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {201-203},
  KEYWORDS = {}}

@inproceedings{Garis90EC,
  AUTHOR = {H. de Garis},
  TITLE = {Genetic Programming: Evolution of a Time Dependent Neural Network Module which Teaches a Pair of Stick Legs to Walk},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {204-206},
  KEYWORDS = {}}

@inproceedings{De-Raedt:90EC,
  AUTHOR = {L. {De Raedt} and M. Bruynooghe},
  TITLE = {On Negation and Three-Valued Logic in Interactive Concept-Learning},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {207-212},
  KEYWORDS = {}}

@inproceedings{Guerreiro:90EC,
  AUTHOR = {R. A. de T. Guerreiro and M. A. Casanova and A. S. Hemerly},
  TITLE = {Contributions to a Proof Theory for Generic Defaults},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {213-218},
  KEYWORDS = {know-repr}}

@inproceedings{Millan:90EC,
  AUTHOR = {J. del R. Millan and C. Torras},
  TITLE = {Reinforcement Learning: Discovering Stable Solutions in the Robot Path Finding Domain},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {219-221},
  KEYWORDS = {}}

@inproceedings{Diederich90EC,
  AUTHOR = {J. Diederich},
  TITLE = {An Explanation Component for a Connectionist Inference System},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {222-227},
  KEYWORDS = {psych}}

@inproceedings{Di-Pace:90EC,
  AUTHOR = {L. {Di Pace} and F. Fabrocini},
  TITLE = {Learning from Observation in Noisy Environments via Integration of EBL and SBL Techniques},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {228-233},
  KEYWORDS = {}}

@inproceedings{Doherty:90EC,
  AUTHOR = {B. S. Doherty and B. Pauly and J. Barthelemy},
  TITLE = {Elicitation and Verification of a Functional Specification},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {234-239},
  KEYWORDS = {}}

@inproceedings{Dohsaka90EC,
  AUTHOR = {K. Dohsaka},
  TITLE = {Identifying the Referents of Zero-Pronouns in Japanese Based on Pragmatic Constraint Interpretation},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {240-245},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Donini:90EC,
  AUTHOR = {F. M. Donini and M. Lenzerini and D. Nardi},
  TITLE = {An Efficient Method for Hybrid Deduction},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {246-252},
  KEYWORDS = {know-repr}}

@inproceedings{Dressler90EC,
  AUTHOR = {O. Dressler},
  TITLE = {Problem Solving with the NM-ATMS},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {253-258},
  KEYWORDS = {know-repr}}

@inproceedings{Dubois:90EC,
  AUTHOR = {D. Dubois and H. Prade},
  TITLE = {Reasoning with Inconsistent Information in a Possibilistic Setting},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {259-261},
  KEYWORDS = {}}

@inproceedings{Farinas:90EC,
  AUTHOR = {L. {Farinas del Cerro} and A. Herzig},
  TITLE = {Deterministic Modal Logics for Automated Deduction},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {262-267},
  KEYWORDS = {}}

@inproceedings{Fehrer90EC,
  AUTHOR = {D. Fehrer},
  TITLE = {A Resolution Calculus for a Logic Based on Vaguely Defined Predicates},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {268-273},
  KEYWORDS = {}}

@inproceedings{Fisher90EC,
  AUTHOR = {R. B. Fisher},
  TITLE = {Reducing Viewsphere Complexity},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {274-276},
  KEYWORDS = {}}

@inproceedings{Friedrich:90EC,
  AUTHOR = {G. Friedrich and F. Lackinger and W. Nejdl},
  TITLE = {Redefining the Candidate Space in Model-Based Diagnosis},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {277-282},
  KEYWORDS = {know-repr}}

@inproceedings{Froidevaux:90EC,
  AUTHOR = {C. Froidevaux and C. Grossetete},
  TITLE = {Graded Default Theories for Uncertainty},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {283-288},
  KEYWORDS = {know-repr}}

@inproceedings{Gaborit:90EC,
  AUTHOR = {P. Gaborit and A. Potet and C. Sayettat},
  TITLE = {Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {289-291},
  KEYWORDS = {know-repr}}

@inproceedings{Gerdemann:90EC,
  AUTHOR = {D. Gerdemann and E. W. Hinrichs},
  TITLE = {A Unification-Based Approach to Quantifier Scoping},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {292-297},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Geurts90EC,
  AUTHOR = {B. Geurts},
  TITLE = {Computing Salience},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {298-300},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Gilbert:90EC,
  AUTHOR = {N. Gilbert and S. Buckland and D. Frohlich and M. Jirotka and P. Luff},
  TITLE = {Providing Advice Through Dialogue},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {301-307},
  KEYWORDS = {}}

@inproceedings{Giordano:90EC,
  AUTHOR = {L. Giordano and A. Martelli},
  TITLE = {An Abductive Characterization of the TMS},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {308-313},
  KEYWORDS = {}}

@inproceedings{Gramlich90EC,
  AUTHOR = {B. Gramlich},
  TITLE = {Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {314-319},
  KEYWORDS = {}}

@inproceedings{Grasso:90EC,
  AUTHOR = {E. Grasso and L. Lesmo and V. Lombardo and P. M. Maccario and R. Salato and P. Terenziani},
  TITLE = {Semantic Interpretation of Tense, Actionality and Aspect},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {320-325},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Gregoire90EC,
  AUTHOR = {E. Gregoire},
  TITLE = {Skeptical Inheritance Can Be More Expressive},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {326-332},
  KEYWORDS = {know-repr}}

@inproceedings{Guez90EC,
  AUTHOR = {S. Guez},
  TITLE = {A Model for the Automatic Processing of Argumentative Dialogues},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {333-335},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Hasegawa90EC,
  AUTHOR = {T. Hasegawa},
  TITLE = {A Rule Application Control Method in a Lexicon-Driven Transfer Model of a Dialogue Translation System},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {336-338},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Hasida90EC,
  AUTHOR = {K. Hasida},
  TITLE = {Sentence Processing as Constraint Transformation},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {339-344},
  KEYWORDS = {}}

@inproceedings{Hoffmann90EC,
  AUTHOR = {A. G. Hoffmann},
  TITLE = {General Limitations on Machine Learning},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {345-347},
  KEYWORDS = {}}

@inproceedings{Hollunder:90EC,
  AUTHOR = {B. Hollunder and W. Nutt and M. Schmidt-Schau\ss{}},
  TITLE = {Subsumption Algorithms for Concept Description Languages},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {348-353},
  KEYWORDS = {know-repr}}

@inproceedings{Hoppe90EC,
  AUTHOR = {T. Hoppe},
  TITLE = {Hypotheses Generation for Knowledge Validation},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {354-356},
  KEYWORDS = {}}

@inproceedings{Horacek:90EC,
  AUTHOR = {H. Horacek and M. Gerlach},
  TITLE = {The Role of Goals in Dialog Control},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {357-362},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Hosaka:90EC,
  AUTHOR = {J. Hosaka and K. Ogura and K. Kogure},
  TITLE = {Word Sequence Constraints for Japanese Speech Recognition},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {363-365},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Ide:90EC,
  AUTHOR = {N. M. Ide and J. Veronis},
  TITLE = {Very Large Neural Networks for Word Sense Disambiguation},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {366-368},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Jegou90EC,
  AUTHOR = {P. Jegou},
  TITLE = {Cyclic-Clustering: A Compromise between Tree-Clustering and Cycle-Cutset Method for Improving Search Efficiency},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {369-371},
  KEYWORDS = {}}

@inproceedings{Jiang90EC,
  AUTHOR = {Y. J. Jiang},
  TITLE = {Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {372-377},
  KEYWORDS = {know-repr}}

@inproceedings{Joubel:90EC,
  AUTHOR = {C. Joubel and O. Raiman},
  TITLE = {How Time Changes Assumptions},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {378-383},
  KEYWORDS = {}}

@inproceedings{Kacprzyk:90EC,
  AUTHOR = {J. Kacprzyk and M. Fredizzi},
  TITLE = {On Measuring the Specificity of If - Then Rules (Abstract)},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {384},
  KEYWORDS = {know-repr}}

@inproceedings{Kakas:90EC,
  AUTHOR = {A. C. Kakas and P. Mancarella},
  TITLE = {Generalized Stable Models: A Semantics for Abduction},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {385-391},
  KEYWORDS = {know-repr}}

@inproceedings{Kayser90EC,
  AUTHOR = {D. Kayser},
  TITLE = {Thruth and the Interpretation of Natural Language: A Non-Monotonic Variable-Depth Approach},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {392-397},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Kodratoff90EC,
  AUTHOR = {Y. Kodratoff},
  TITLE = {Combining Similarity and Causality in Creative Analogy},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {398-403},
  KEYWORDS = {}}

@inproceedings{Komorowski90EC,
  AUTHOR = {J. Komorowski},
  TITLE = {Towards a Programming Methodology Founded on Partial Deduction},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {404-409},
  KEYWORDS = {}}

@inproceedings{Landraud90EC,
  AUTHOR = {A. M. Landraud},
  TITLE = {Scale-and-Orientation Independent Computer Pattern Perception},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {410-412},
  KEYWORDS = {}}

@inproceedings{Liu90EC,
  AUTHOR = {P. Liu},
  TITLE = {A Theoretical Analysis of Recurrence Goals},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {413-418},
  KEYWORDS = {}}

@inproceedings{Magnini:90EC,
  AUTHOR = {B. Magnini and C. Strapparava},
  TITLE = {Computational Representation of Mental Spaces: A Functional Approach},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {419-424},
  KEYWORDS = {psych}}

@inproceedings{Marino:90EC,
  AUTHOR = {O. Marino and F. Rechenmann and P. Uvietta},
  TITLE = {Multiple Perspectives and Classification Mechanism in Object-Oriented Representation},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {425-430},
  KEYWORDS = {know-repr}}

@inproceedings{Markov:90EC,
  AUTHOR = {Z. Markov and L. Sinapova and C. Dichev},
  TITLE = {Default Reasoning in a Network Environment},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {431-436},
  KEYWORDS = {}}

@inproceedings{Meseguer90EC,
  AUTHOR = {P. Meseguer},
  TITLE = {A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {437-442},
  KEYWORDS = {}}

@inproceedings{Dung90EC,
  AUTHOR = {P. M. Dung},
  TITLE = {Strong Circumscription Specifies Stable Semantics of Normal Logic Programs},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {443-448},
  KEYWORDS = {know-repr}}

@inproceedings{Moinard90EC,
  AUTHOR = {Y. Moinard},
  TITLE = {Circumscription and Horn Theories},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {449-454},
  KEYWORDS = {know-repr}}

@inproceedings{Musgrove:90EC,
  AUTHOR = {P. B. Musgrove and R. I. Phelps},
  TITLE = {An Automatic System for Acquisition of Natural Concepts},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {455-460},
  KEYWORDS = {psych}}

@inproceedings{Nagata:90EC,
  AUTHOR = {M. Nagata and K. Kogure},
  TITLE = {HPSG-Based Lattice Parser for Spoken Japanese in a Spoken Language Translation System},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {461-466},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Nakhimovsky90EC,
  AUTHOR = {A. Nakhimovsky},
  TITLE = {Topological and Metrical Invariants of Grammatical Meanings},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {467-469},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Nigam:90EC,
  AUTHOR = {A. Nigam and R. Bhaskar},
  TITLE = {Qualitative Astrophysics},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {470-472},
  KEYWORDS = {know-repr}}

@inproceedings{Numao90EC,
  AUTHOR = {M. Numao},
  TITLE = {Analytical Learning of Inductive Inference},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {473-478},
  KEYWORDS = {}}

@inproceedings{Ohlbach90EC,
  AUTHOR = {H. J. Ohlbach},
  TITLE = {Abstraction Tree Indexing for Terms},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {479-484},
  KEYWORDS = {}}

@inproceedings{Omodeo:90EC,
  AUTHOR = {E. G. Omodeo and F. Parlamento and A. Policriti},
  TITLE = {Truth Tables for a Combinatorial Kernel of Set Theories},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {485-490},
  KEYWORDS = {}}

@inproceedings{Owsnicki-Klewe90EC,
  AUTHOR = {B. Owsnicki-Klewe},
  TITLE = {A Cardinality-Based Approach to Incomplete Knowledge},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {491-496},
  KEYWORDS = {know-repr}}

@inproceedings{Persson:90EC,
  AUTHOR = {T. Persson and L. Staflin},
  TITLE = {A Causation Theory for a Logic of Continuous Change},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {497-502},
  KEYWORDS = {know-repr}}

@inproceedings{Pinto-Ferreira:90EC,
  AUTHOR = {C. Pinto-Ferreira and J. P. Martins},
  TITLE = {A Formal System for Reasoning about Change},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {503-508},
  KEYWORDS = {know-repr}}

@inproceedings{Popchev:90EC,
  AUTHOR = {I. Popchev and N. Zlatareva and M. Mircheva},
  TITLE = {A Truth Maintenance Theory: An Alternative Approach},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {509-514},
  KEYWORDS = {know-repr}}

@inproceedings{Pridmore:90EC,
  AUTHOR = {T. P. Pridmore and S. H. Joseph},
  TITLE = {Using Schemata to Interpret Images of Mechanical Engineering Drawings},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {515-521},
  KEYWORDS = {}}

@inproceedings{Provan90EC,
  AUTHOR = {G. M. Provan},
  TITLE = {The Computational Complexity of Multiple-Context Truth Maintenance Systems},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {522-527},
  KEYWORDS = {}}

@inproceedings{Pruest:90EC,
  AUTHOR = {H. Pr\"ust and R. Scha},
  TITLE = {A Discourse Approach to Verb Phrase Anaphora},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {528-530},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Rector:90EC,
  AUTHOR = {A. L. Rector and C. A. Goble and B. Horan and T. J. Howkins and S. Kay and W. A. Nowlan and A. Wilson},
  TITLE = {Shedding Light on Patients' Problems: Integrating Knowledge Based Systems into Medical Practice},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {531-534},
  KEYWORDS = {}}

@inproceedings{Reed:90EC,
  AUTHOR = {N. E. Reed and P. E. Johnson},
  TITLE = {Generative Knowledge for Computer Troubleshooting},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {535-540},
  KEYWORDS = {}}

@inproceedings{Reichgelt:90EC,
  AUTHOR = {H. Reichgelt and N. Shadbolt},
  TITLE = {A Specification Tool for Planning Systems},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {541-546},
  KEYWORDS = {}}

@inproceedings{Reimer90EC,
  AUTHOR = {U. Reimer},
  TITLE = {Automatic Acquisition of Terminological Knowledge from Texts},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {547-549},
  KEYWORDS = {}}

@inproceedings{Rossi:90EC,
  AUTHOR = {F. Rossi and C. Petrie and V. Dhar},
  TITLE = {On the Equivalence of Constraint Satisfaction Problems},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {550-556},
  KEYWORDS = {know-repr}}

@inproceedings{Rouveirol90EC,
  AUTHOR = {C. Rouveirol},
  TITLE = {Saturation: Postponing Choices when Inverting Resolution},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {557-562},
  KEYWORDS = {}}

@inproceedings{Sabah90EC,
  AUTHOR = {G. Sabah},
  TITLE = {CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel Implementation},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {563-565},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Safier:90EC,
  AUTHOR = {S. A. Safier and S. Finger},
  TITLE = {Parsing Features in Solid Geometric Models},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {566-572},
  KEYWORDS = {know-repr}}

@inproceedings{Samek-Lodovici:90EC,
  AUTHOR = {V. Samek-Lodovici and C. Strapparava},
  TITLE = {Identifying Noun Phrase References: The Topic Module of the AlFresco System},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {573-578},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Sandewall90EC,
  AUTHOR = {E. Sandewall},
  TITLE = {Reasoning about the World as Perceived by an Agent},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {579-584},
  KEYWORDS = {know-repr}}

@inproceedings{Satoh90EC,
  AUTHOR = {K. Satoh},
  TITLE = {Formalizing Soft Constraints by Interpretation Ordering},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {585-590},
  KEYWORDS = {know-repr}}

@inproceedings{Schaffer-Sider90EC,
  AUTHOR = {J. {Schaffer Sider}},
  TITLE = {Free Presumption Checking in King Kong},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {591-593},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Schlechta90EC,
  AUTHOR = {K. Schlechta},
  TITLE = {Semantics for Defeasible Inheritance},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {594-597},
  KEYWORDS = {know-repr}}

@inproceedings{Shanahan90EC,
  AUTHOR = {M. Shanahan},
  TITLE = {Representing Continuous Change in the Event Calculus},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {598-603},
  KEYWORDS = {know-repr}}

@inproceedings{Singh90EC,
  AUTHOR = {M. P. Singh},
  TITLE = {Towards a Theory of Situated Know-How},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {604-609},
  KEYWORDS = {know-repr}}

@inproceedings{Smyth:90EC,
  AUTHOR = {P. Smyth and R. M. Goodman and C. Higgins},
  TITLE = {A Hybrid Rule-Based/Bayesian Classifier},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {610-615},
  KEYWORDS = {}}

@inproceedings{Sommer:90EC,
  AUTHOR = {E. Sommer and F. von Martial and F. Victor},
  TITLE = {PRAGMA: A System for Actively Capturing Procedural Knowledge via a Graphical Interface},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {616-621},
  KEYWORDS = {}}

@inproceedings{Spiessens90EC,
  AUTHOR = {P. Spiessens},
  TITLE = {PCS: A Classifier System that Builds a Predictive Internal World Model},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {622-627},
  KEYWORDS = {}}

@inproceedings{Stefanescu90EC,
  AUTHOR = {D. C. Stefanescu},
  TITLE = {Expectation Propositional Logics},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {628-633},
  KEYWORDS = {know-repr}}

@inproceedings{Talcott:90EC,
  AUTHOR = {C. Talcott and R. W. Weyhrauch},
  TITLE = {Towards a Theory of Mechanizable Theories: I; FOL Contexts: The Extensional View},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {634-639},
  KEYWORDS = {know-repr}}

@inproceedings{Tong90EC,
  AUTHOR = {X. Tong},
  TITLE = {Acquisition of Inference Structure},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {640-642},
  KEYWORDS = {}}

@inproceedings{Top:90EC,
  AUTHOR = {J. Top and H. Akkermans},
  TITLE = {Processes as Components: On the Primitives of a Qualitative Scientific Physics},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {643-648},
  KEYWORDS = {know-repr}}

@inproceedings{Tsang:90EC,
  AUTHOR = {E. P. K. Tsang and T. Warwick},
  TITLE = {Applying Genetic Algorithms to Constraint Satisfaction Optimization Problems},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {649-654},
  KEYWORDS = {}}

@inproceedings{Van-Marcke90EC,
  AUTHOR = {K. {Van Marcke}},
  TITLE = {A Generic Tutoring Environment},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {655-660},
  KEYWORDS = {}}

@inproceedings{Vanwelkenhuysen:90EC,
  AUTHOR = {J. Vanwelkenhuysen and P. Rademakers},
  TITLE = {Mapping a Knowledge Level Analysis onto a Computational Framework},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {661-666},
  KEYWORDS = {}}

@inproceedings{Vignollet:90EC,
  AUTHOR = {L. Vignollet and M. Ayel},
  TITLE = {A Conceptual Model for Building Sets of Test Samples for Knowledge Bases},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {667-672},
  KEYWORDS = {}}

@inproceedings{Vilain90EC,
  AUTHOR = {M. Vilain},
  TITLE = {Function Anaphora with Replacement},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {673-675},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Voss:90EC,
  AUTHOR = {A. Vo\ss{} and W. Karbach and U. Drouven and D. Lorek},
  TITLE = {Competence Assessment in Configuration Tasks},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {676-681},
  KEYWORDS = {}}

@inproceedings{Wallace90EC,
  AUTHOR = {M. Wallace},
  TITLE = {Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady?},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {682-687},
  KEYWORDS = {}}

@inproceedings{Weidenbach:90EC,
  AUTHOR = {C. Weidenbach and H. J. Ohlbach},
  TITLE = {A Resolution Calculus with Dynamic Sort Structures and Partial Functions},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {688-693},
  KEYWORDS = {}}

@inproceedings{Werner90EC,
  AUTHOR = {E. Werner},
  TITLE = {What Can Agents Do Together?: A Semantics for Reasoning about Cooperative Ability},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {694-701},
  KEYWORDS = {}}

@inproceedings{Williams:90EC,
  AUTHOR = {M. A. Williams and N. Y. Foo},
  TITLE = {Nonmonotonic Dynamics of Default Logic},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {702-707},
  KEYWORDS = {know-repr}}

@inproceedings{Wobcke90EC,
  AUTHOR = {W. Wobcke},
  TITLE = {A Theory of Knowledge in Situation Semantics},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {708-713},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Wrzos-Kaminski:90EC,
  AUTHOR = {J. Wrzos-Kaminski and A. Wrzos-Kaminska},
  TITLE = {Explicit Ordering of Defaults in ATMS},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {714-719},
  KEYWORDS = {}}

@inproceedings{Huang90EC,
  AUTHOR = {X. Huang},
  TITLE = {Reference Choices in Mathematical Proofs},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {720-725},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Yamaoka:90EC,
  AUTHOR = {T. Yamaoka and H. Iida},
  TITLE = {A Method to Predict the Next Utterance Using a Four-Layered Plan Recognition Model},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {726-731},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Yang90ECa,
  AUTHOR = {Q. Yang},
  TITLE = {Preprocessing Hierarchical Planning Knowledge for Efficient Planning},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {732-737},
  KEYWORDS = {}}

@inproceedings{Yang90ECb,
  AUTHOR = {Q. Yang},
  TITLE = {Solving the Generalized Hitting Set Problems},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {738-743},
  KEYWORDS = {}}

@inproceedings{Young:90EC,
  AUTHOR = {R. A. Young and A. Reel},
  TITLE = {A Hybrid Genetic Algorithm for a Logic Problem},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {744-746},
  KEYWORDS = {}}

@inproceedings{Zhang:90EC,
  AUTHOR = {Z. Zhang and O. D. Faugeras},
  TITLE = {Tracking and Motion Estimation in a Sequence of Stereo Frames},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {747-752},
  KEYWORDS = {}}

@inproceedings{Fox:90EC,
  AUTHOR = {M. S. Fox and N. Sadeh},
  TITLE = {Why is Scheduling Difficult?: A CSP Perspective},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {754-767},
  KEYWORDS = {}}

@inproceedings{Gaerdenfors90EC,
  AUTHOR = {P. G\"ardenfors},
  TITLE = {Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin?},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {768-773},
  KEYWORDS = {}}

@inproceedings{Grosz90EC,
  AUTHOR = {B. J. Grosz},
  TITLE = {Collaborative Planning for Discourse (Abstract)},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {774-775},
  KEYWORDS = {}}

@inproceedings{Metakides:90EC,
  AUTHOR = {G. Metakides and B. Lepape},
  TITLE = {ESPRIT Session: Artificial Intelligence in ESPRIT},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {778},
  KEYWORDS = {}}

@inproceedings{Sandewall:90EC,
  AUTHOR = {E. Sandewall and G. Adorni and H.-H. Nagel and M. Thonnat},
  TITLE = {PROMETHEUS Session},
  YEAR = 1990,
  BOOKTITLE = {Proc. of the 9th ECAI},
  ADDRESS = "Stockholm, Sweden",
  PAGES = {779-780},
  KEYWORDS = {}}