| 1990 | 9th European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, 1990. |
| 1990 | A Cardinality-Based Approach to Incomplete Knowledge. Bernd Owsnicki-Klewe |
| 1990 | A Causation Theory for a Logic of Continuous Change. T. Persson, L. Staflin |
| 1990 | A Conceptual Model for Building Sets of Test Samples for Knowledge Bases. Laurence Vignollet, Marc Ayel |
| 1990 | A Discourse Approach to Verb Phrase Anaphora. Hub Prüst, Remko Scha |
| 1990 | A Formal Definition for the Expressive Power of Knowledge Representation Languages. Franz Baader |
| 1990 | A Formal System for Reasoning about Change. Carlos A. Pinto-Ferreira, João P. Martins |
| 1990 | A Framework for Dynamic Reorganization. J.-M. Andre, A. Mouginot, M. Venet |
| 1990 | A Framework for Real-Time Problem Solving. H. Dai, Terry J. Anderson, Fabian C. Monds |
| 1990 | A General Consistency (Checking and Restoring) Engine for Knowledge Bases. Alain Beauvieux, Philippe Dague |
| 1990 | A Generic Tutoring Environment. Kris Van Marcke |
| 1990 | A Hybrid Genetic Algorithm for a Logic Problem. R. A. Young, A. Reel |
| 1990 | A Hybrid Rule-Based/Bayesian Classifier. Padhraic Smyth, Rodney M. Goodman, Charles M. Higgins |
| 1990 | A Method to Predict the Next Utterance Using a Four-Layered Plan Recognition Model. Takayuki Yamaoka, Hitoshi Iida |
| 1990 | A Model for the Automatic Processing of Argumentative Dialogues. S. Guez |
| 1990 | A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. Pedro Meseguer |
| 1990 | A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. Detlef Fehrer |
| 1990 | A Resolution Calculus with Dynamic Sort Structures and Partial Functions. Christoph Weidenbach, Hans Jürgen Ohlbach |
| 1990 | A Rule Application Control Method in a Lexicon-Driven Transfer Model of a Dialogue Translation System. T. Hasegawa |
| 1990 | A Specification Tool for Planning Systems. Han Reichgelt, Nigel Shadbolt |
| 1990 | A Theoretical Analysis of Recurrence Goals. P. Liu |
| 1990 | A Theory of Knowledge in Situation Semantics. Wayne Wobcke |
| 1990 | A Truth Maintenance Theory: An Alternative Approach. Ivan Popchev, Neli Zlatareva, Marion Mircheva |
| 1990 | A Tutorial Dialogue Model to Encourage Externalisation and Reflection. Ann Blandford |
| 1990 | A Unification-Based Approach to Quantifier Scoping. Dale Gerdemann, Erhard W. Hinrichs |
| 1990 | Abstraction Tree Indexing for Terms. Hans Jürgen Ohlbach |
| 1990 | Acquisition of Inference Structure. X. Tong |
| 1990 | An Abductive Characterization of the TMS. Laura Giordano, Alberto Martelli |
| 1990 | An Account of Paraphrase Using Elementary Transformations. Guy Chaty, N. Darcel, Daniel Kayser, Bernard Levrat |
| 1990 | An Application of DATR: The TIC Lexicon. Lynne J. Cahill, Roger Evans |
| 1990 | An Automatic System for Acquisition of Natural Concepts. Peter B. Musgrove, R. I. Phelps |
| 1990 | An Efficient Method for Hybrid Deduction. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi |
| 1990 | An Explanation Component for a Connectionist Inference System. Joachim Diederich |
| 1990 | An Extension to Kowalski & Sergot's Event Calculus. Mario Borillo, Bruno Gaume |
| 1990 | Analog Systems Diagnosis. Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert |
| 1990 | Analytical Learning of Inductive Inference. Masayuki Numao |
| 1990 | Applying Genetic Algorithms to Constraint Satisfaction Optimization Problems. Edward P. K. Tsang, Terry Warwick |
| 1990 | Automatic Acquisition of Terminological Knowledge from Texts. Ulrich Reimer |
| 1990 | Automating the Refinement of Knowledge-Based Systems. Susan Craw, Derek H. Sleeman |
| 1990 | Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? Peter Gärdenfors |
| 1990 | Biasing Induction by Using a Domain Theory: An Experimental Evaluation. Francesco Bergadano, Attilio Giordana, Lorenza Saitta |
| 1990 | CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel Implementation. Gérard Sabah |
| 1990 | Causal Structures: Computation and Applications. V. R. Bandekar |
| 1990 | Circumscription and Horn Theories. Yves Moinard |
| 1990 | Collaborative Planning for Discourse (Abstract). Barbara J. Grosz |
| 1990 | Combining EBL from Success and EBL from Failure with Parameter Version Spaces. Claudio Carpineto |
| 1990 | Combining Similarity and Causality in Creative Analogy. Yves Kodratoff |
| 1990 | Competence Assessment in Configuration Tasks. Angi Voß, Werner Karbach, Uwe Drouven, Darius Lorek |
| 1990 | Completion Based Inductive Theorem Proving: An Abstract Framework and its Applications. Bernhard Gramlich |
| 1990 | Computational Representation of Mental Spaces: A Functional Approach. Bernardo Magnini, Carlo Strapparava |
| 1990 | Computing Salience. Bart Geurts |
| 1990 | Context Knowledge and Search Control Issues in Object-Oriented Prolog-Based Image Understanding. Benjamin Bell, Louis-François Pau |
| 1990 | Contributions to a Proof Theory for Generic Defaults. Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly |
| 1990 | Cyclic-Clustering: A Compromise between Tree-Clustering and Cycle-Cutset Method for Improving Search Efficiency. Philippe Jégou |
| 1990 | Deductive/Abductvie Diagnosis: The DA-Principles. Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch |
| 1990 | Default Reasoning in a Network Environment. Zdravko Markov, Lydia Sinapova, Christo Dichev |
| 1990 | Deterministic Modal Logics for Automated Deduction. Luis Fariñas del Cerro, Andreas Herzig |
| 1990 | ESPRIT Session: Artificial Intelligence in ESPRIT. George Metakides, Brice Lepape |
| 1990 | Elicitation and Verification of a Functional Specification. Bernard S. Doherty, B. Pauly, J. Barthelemy |
| 1990 | Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning. Yuejun Jiang |
| 1990 | Estimating Probabilities: A Crucial Task in Machine Learning. Bojan Cestnik |
| 1990 | Expectation Propositional Logics. Dan C. Stefanescu |
| 1990 | Explaining Reasoning from Knowledge Level Models. Jean-Marc David, Jean-Paul Krivine |
| 1990 | Explicit Ordering of Defaults in ATMS. Jacek Wrzos-Kaminski, Agata Wrzos-Kaminska |
| 1990 | Finding Object Configurations that Satisfy Spatial Relationships. Enric Celaya, Carme Torras |
| 1990 | Formalizing Soft Constraints by Interpretation Ordering. Ken Satoh |
| 1990 | Free Presumption Checking in King Kong. J. Schaffer Sider |
| 1990 | Function Anaphora with Replacement. Marc B. Vilain |
| 1990 | General Limitations on Machine Learning. Achim G. Hoffmann |
| 1990 | Generalized Stable Models: A Semantics for Abduction. Antonis C. Kakas, Paolo Mancarella |
| 1990 | Generative Knowledge for Computer Troubleshooting. Nancy E. Reed, Paul E. Johnson |
| 1990 | Genetic Programming: Evolution of a Time Dependent Neural Network Module which Teaches a Pair of Stick Legs to Walk. Hugo de Garis |
| 1990 | Geometric Modelling of Stereovision: Application to Aerial Pictures. Jean Pierre Cocquerez, Michel Jordan, M. Zahid |
| 1990 | Graded Default Theories for Uncertainty. Christine Froidevaux, C. Grossetete |
| 1990 | HPSG-Based Lattice Parser for Spoken Japanese in a Spoken Language Translation System. Masaaki Nagata, Kiyoshi Kogure |
| 1990 | Heuristic Refinement of Logic Programs. Manfred Aben, Maarten van Someren |
| 1990 | How Time Changes Assumptions. C. Joubel, Olivier Raiman |
| 1990 | Hypotheses Generation for Knowledge Validation. Thomas Hoppe |
| 1990 | Identifying Noun Phrase References: The Topic Module of the AlFresco System. Vieri Samek-Lodovici, Carlo Strapparava |
| 1990 | Identifying the Referents of Zero-Pronouns in Japanese Based on Pragmatic Constraint Interpretation. Kohji Dohsaka |
| 1990 | Inheritance and Hypothetical Reasoning in Logic Programming. Antonio Brogi, Evelina Lamma, Paola Mello |
| 1990 | Integrating Models of the Correct Behavior into Abductive Diagnosis. Luca Console, Pietro Torasso |
| 1990 | Interoperability of AI Languages. Giuseppe Attardi, Mauro Gaspari, F. Saracco |
| 1990 | Knowledge-Intensive Case-Based Reasoning and Sustained Learning. Agnar Aamodt |
| 1990 | Lamarckian Sub-Goal Reward in Genetic Algorithm. Yuval Davidor |
| 1990 | Learning from Observation in Noisy Environments via Integration of EBL and SBL Techniques. Luigi Di Pace, Filippo Fabrocini |
| 1990 | Mapping a Knowledge Level Analysis onto a Computational Framework. Johan Vanwelkenhuysen, Philip Rademakers |
| 1990 | Multiple Perspectives and Classification Mechanism in Object-Oriented Representation. O. Marino, François Rechenmann, P. Uvietta |
| 1990 | Nonmonotonic Dynamics of Default Logic. Mary-Anne Williams, Norman Y. Foo |
| 1990 | On Measuring the Specificity of If - Then Rules (Abstract). Janusz Kacprzyk, M. Fredizzi |
| 1990 | On Negation and Three-Valued Logic in Interactive Concept-Learning. Luc De Raedt, Maurice Bruynooghe |
| 1990 | On the Equivalence of Constraint Satisfaction Problems. Francesca Rossi, Charles J. Petrie, Vasant Dhar |
| 1990 | One Step in the Counter-Representationalist Direction. Hugues Bersini |
| 1990 | PCS: A Classifier System that Builds a Predictive Internal World Model. Piet Spiessens |
| 1990 | PRAGMA: A System for Actively Capturing Procedural Knowledge via a Graphical Interface. Edgar Sommer, Frank von Martial, Frank Victor |
| 1990 | PROMETHEUS Session. Erik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat |
| 1990 | Parsing Features in Solid Geometric Models. S. A. Safier, Susan Finger |
| 1990 | Preprocessing Hierarchical Planning Knowledge for Efficient Planning. Q. Yang |
| 1990 | Probabilistic Belief Logics. Fahiem Bacchus |
| 1990 | Problem Solving with the NM-ATMS. Oskar Dressler |
| 1990 | Processes as Components: On the Primitives of a Qualitative Scientific Physics. Jan L. Top, Hans Akkermans |
| 1990 | Providing Advice Through Dialogue. Nigel Gilbert, S. Buckland, David M. Frohlich, Marina Jirotka, Paul Luff |
| 1990 | Qualitative Astrophysics. Anil Nigam, R. Bhaskar |
| 1990 | Reasoning about the World as Perceived by an Agent. Erik Sandewall |
| 1990 | Reasoning with Inconsistent Information in a Possibilistic Setting. Didier Dubois, Henri Prade |
| 1990 | Redefining the Candidate Space in Model-Based Diagnosis. Gerhard Friedrich, Franz Lackinger, Wolfgang Nejdl |
| 1990 | Reducing Viewsphere Complexity. Robert B. Fisher |
| 1990 | Reference Choices in Mathematical Proofs. X. Huang |
| 1990 | Reinforcement Learning: Discovering Stable Solutions in the Robot Path Finding Domain. José del R. Millán, Carme Torras |
| 1990 | Relevant Beliefs. Afzal Ballim, Yorick Wilks |
| 1990 | Representing Continuous Change in the Event Calculus. Murray Shanahan |
| 1990 | SB-ONE+: Dealing with Sets Efficiently. Jürgen Allgayer |
| 1990 | SCHEMATA: A Language for Deduction. Carlos Araya, Frank M. Brown |
| 1990 | SIRAH: An Architecture for a Professional Intelligence. Manuel Alonso, José Cuena, Martín Molina |
| 1990 | Saturation: Postponing Choices when Inverting Resolution. Céline Rouveirol |
| 1990 | Scale-and-Orientation Independent Computer Pattern Perception. Anne M. Landraud |
| 1990 | Semantic Interpretation of Tense, Actionality and Aspect. Ennio Grasso, Leonardo Lesmo, Vincenzo Lombardo, Pia M. Maccario, Roberto Salato, Paolo Terenziani |
| 1990 | Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes. P. Gaborit, A. Potet, Claudette Sayettat |
| 1990 | Semantics for Defeasible Inheritance. Karl Schlechta |
| 1990 | Sentence Processing as Constraint Transformation. Kôiti Hasida |
| 1990 | Shape from Binocular Disparity and Incomplete Knowledge of Baseline Parameters. Niels da Vitoria Lobo, John K. Tsotsos |
| 1990 | Shedding Light on Patients' Problems: Integrating Knowledge Based Systems into Medical Practice. Alan L. Rector, Carole A. Goble, Bernard Horan, T. J. Howkins, S. Kay, W. A. Nowlan, A. Wilson |
| 1990 | Skeptical Inheritance Can Be More Expressive. Éric Grégoire |
| 1990 | Solving the Generalized Hitting Set Problems. Q. Yang |
| 1990 | Some Concepts on Analogic Planning in Assembly Tasks. Antonio Camurri, Marcello Frixione, Gianni Viardo Vercelli, Renato Zaccaria |
| 1990 | Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. Phan Minh Dung |
| 1990 | Subsumption Algorithms for Concept Description Languages. Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß |
| 1990 | TalksBack: An Applicaation of AI Techniques to a Communication Prosthesis for the Non-Speaking. L. Broumley, John L. Arnott, A. Y. Cairns, Alan F. Newell |
| 1990 | The Computational Complexity of Multiple-Context Truth Maintenance Systems. Gregory M. Provan |
| 1990 | The Role of Goals in Dialog Control. Helmut Horacek, Michael Gerlach |
| 1990 | The Semantics of MOLUSC. Lynne J. Cahill, Gerald Gazdar |
| 1990 | Thruth and the Interpretation of Natural Language: A Non-Monotonic Variable-Depth Approach. Daniel Kayser |
| 1990 | Topological and Metrical Invariants of Grammatical Meanings. Alexander Nakhimovsky |
| 1990 | Towards a First Order Theory of Reasoning Agents. N. J. Davies |
| 1990 | Towards a Plan-Based Synthesis of Illustrated Documents. Elisabeth André, Thomas Rist |
| 1990 | Towards a Programming Methodology Founded on Partial Deduction. Henryk Jan Komorowski |
| 1990 | Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. Carolyn L. Talcott, Richard W. Weyhrauch |
| 1990 | Towards a Theory of Situated Know-How. Munindar P. Singh |
| 1990 | Tracking and Motion Estimation in a Sequence of Stereo Frames. Zhengyou Zhang, Olivier D. Faugeras |
| 1990 | Truth Tables for a Combinatorial Kernel of Set Theories. Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti |
| 1990 | Universal Quantification by Case Analysis. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini |
| 1990 | Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? Mark Wallace |
| 1990 | Using Schemata to Interpret Images of Mechanical Engineering Drawings. Tony P. Pridmore, S. H. Joseph |
| 1990 | Very Large Neural Networks for Word Sense Disambiguation. Nancy Ide, Jean Véronis |
| 1990 | What Can Agents Do Together? A Semantics for Reasoning about Cooperative Ability. Eric Werner |
| 1990 | Why is Scheduling Difficult? A CSP Perspective. Mark S. Fox, Norman M. Sadeh |
| 1990 | Word Sequence Constraints for Japanese Speech Recognition. Junko Hosaka, Kentaro Ogura, Kiyoshi Kogure |