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