| 1992 | (ML)2: A Formal Language for KADS Models. Frank van Harmelen, John Balder |
| 1992 | 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings. Bernd Neumann |
| 1992 | A Bottom-Up Attention System for Active Vision. Ruggero Milanese, Jean-Marc Bost, Thierry Pun |
| 1992 | A Collision Avoiding Six Legged Walking Machine Based on Kohonen Feature Maps. Paolo Ferrara, Alois Ferscha, Günter Haring |
| 1992 | A Comparison of Architectures for Autonomous Multi-Agent Communication. Alison Cawsey, Julia Rose Galliers, Steven Reece, Karen Sparck Jones |
| 1992 | A Complete Revision Function in Propositional Calculus. Odile Papini |
| 1992 | A Computationai Model for Processing Coordinate Structures: Parsing Coordination will-out Grammatical Specification. Hans Haugeneder |
| 1992 | A Contract Net with Consultants: An Alternative Architecture and Experimental Results. Gil Tidhar, Jeffrey S. Rosenschein |
| 1992 | A Critical Examination of Use Cohen-Levesque Theory of Intentions. Munindar P. Singh |
| 1992 | A First Order Theory of Knowledge, Belief and Action. N. J. Davies |
| 1992 | A First-Order Branching Time Logic of Multi-Agent System. Michael J. Wooldridge, Michael Fisher |
| 1992 | A Formalization of Generalization-Based Analogy in General Logic Programs. Noboru Iwayama, Ken Satoh, Jun Arima |
| 1992 | A Geometrical Approach to Depictional Representation of Spatial Relations. Jörg-Peter Mohren, J. Müller |
| 1992 | A Graphical Approach to Qualitative Reasoning on Dynamic Systems. Yoshiteru Ishida |
| 1992 | A Hybrid and Connectionist Architecture for a Scanning Understanding. Stefan Wermter |
| 1992 | A Logic for Representing Grammatical Knowledge. Bill Keller |
| 1992 | A Logical Framework for Practical Planning. Stephen Cranefield |
| 1992 | A Model for Hypothetical Reasoning Applied to Speech Recognition. Anne Bonneau, François Charpillet, Sylvie Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis |
| 1992 | A Model of Representation and Communication of Music and Multimedia Knowledge. Antonio Camurri, Carlo Innocenti, Marcello Frixione, Renato Zaccaria |
| 1992 | A Multi-Agent Model for the Resource Allocation Problem: A Reactive Approach. Khaled Ghédira, Gérard Vertfaillie |
| 1992 | A New Approach to Dynamic Weighting. Andreas L. Köll, Hermann Kaindl |
| 1992 | A Partially Recurrent Connectionist Model. Abhay B. Bulsari, Henrik Saxén |
| 1992 | A Polynomial-time Algorithm for Model-Based Diagnosis. Igor Mozetic |
| 1992 | A Preferential Constraint Satisfaction Technique for Natural Language Analysis. Katashi Nagao |
| 1992 | A Real Time Blackboard Based Architecture. Philippe Lalanda, François Charpillet, Jean Paul Haton |
| 1992 | A Refined Semantics for Disjunctive Logic Programs. Jianhua Chen |
| 1992 | A Relevancy Knowledge Model of Analogical Reasoning. Y. Huang, Alison E. Adam |
| 1992 | A Simple Proof for the Pigeonhole Formulae. Uwe Egly |
| 1992 | A Simplification-Based Approach to Program Synthesis. Emmanuel Kounalis |
| 1992 | A Specialisation Calculus to Improve Expert Systems Communication. Josep Puyol-Gruart, Lluís Godo, Carles Sierra |
| 1992 | A Strategy for the Computation of Conditional Answers. Robert Demolombe |
| 1992 | A Summary of Coupled Expert Systems Building Toolkit ZIPE. Zhaohui Wu, Tong Huang, Jing Ying, Zhijun He |
| 1992 | A Third Modailty of Natural Language? Oliviero Stock |
| 1992 | A Uniform Memory-Based Representation for Visual Languages. Anil S. Chakravarthy, Kenneth B. Haase, L. M. Weitzman |
| 1992 | A Unifying Framework for Nonmonotonic Reasoning. Ilkka Niemelä |
| 1992 | ATMS for Implementing Logic Programming. Antonio Brogi, Evelina Lamma, Paola Mello |
| 1992 | Abduction and Constraint Logic Programming. Enrico Maim |
| 1992 | Accessing Information through Graphics. Cristina Conati, Jon M. Slack |
| 1992 | Activation Diffusion: a Connectionist Network for robust parsing. Christian Jacquemin |
| 1992 | Active Head Movements Help Solve Stereo Correspondence. Quang-Tuan Luong, Olivier D. Faugeras |
| 1992 | Adapting a Resolution Calculus for Inductive Proofs. Dieter Hutter |
| 1992 | An Adaptation of Proof-Planning to Declarer Play in Bridge. Ian Frank, David A. Basin, Alan Bundy |
| 1992 | An Assumption-Based Truth Maintenance System Dealing wills Non-Ground Justifications. Evelina Lamma, Paola Mello |
| 1992 | An Interval Logic for Space Based on "Connection". David A. Randell, Zhan Cui, Anthony G. Cohn |
| 1992 | An Occlusion-Based Representation of Shape for Viewpoint Recovery. W. Brent Seales, Charles R. Dyer |
| 1992 | Analogical Representation of Spatial Events for Understanding Traffic Behaviour. Richard J. Howarth, Hilary Buxton |
| 1992 | Applying Linguistic Engineering to Spatial Software Engineering: the Traceabiiity Problem. Mario Borillo, Andrée Borillo, Núria Castell, Dominique Latour, Yannick Toussaint, Felisa Verdejo |
| 1992 | Approximate Inference in Default Logic and Circumscription. Marco Cadoli, Marco Schaerf |
| 1992 | Arc-Consistency for Non-Binary Dynamic CSPs. Christian Bessière |
| 1992 | Arguments, Contradicitions and Practical Reasoning. John Fox, Paul J. Krause, Simon Ambler |
| 1992 | Artificial Perception and Music Recognition: A Heuristic Approach. Andranick Tanguiane |
| 1992 | Automatically Synthesising Domain Constraints from Operator Descriptions. Gerry Kelleher, Anthony G. Cohn |
| 1992 | Back to Defatilts: Characterizing and Computing Diagnoses as Coherent Assumption Sets. Oskar Dressler, Peter Struss |
| 1992 | Beyond the Single Planning Paradigm: Introspective Planning. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi |
| 1992 | Building Reactive Path-Finders through Reinforcement Connectionist Learning: Three Issues and an Architecture. José del R. Millán |
| 1992 | Building up Inductive Generalizations from Facts. Pierre Marquis |
| 1992 | Business Event Oriented Information Systems Based on Meta Programming. Norbert Kehrer, Gustaf Neumann |
| 1992 | Circumscriptions as Preferential Entailment. Yves Moinard |
| 1992 | Cognitive Diagnosis for Tutoring Systems. John A. Self |
| 1992 | Collision-Free Movement of an Autonomous Vehicle Using Reinforcement Learning. D. Kontoravdis, Aristidis Likas, Andreas Stafylopatis |
| 1992 | Comparison in NLIs - Habitability and Database Reality. Wolfgang Heinz, Johannes Matiasek, Harald Trost, Ernst Buchberger |
| 1992 | Comparison of Search Strategies in Learning Relations. Marco Botta, Attilio Giordana, Lorenza Saitta |
| 1992 | Competitive Hypothesis Resolution in TWIG, a Blackboard-Driven Text Understanding System. Tony Veale, Padraig Cunningham |
| 1992 | Computing the Temporal Structure of Events in Natural Language. Mona Singh, Munindar P. Singh |
| 1992 | Conceptual Clustering in a First Order Logic Representation. Gilles Bisson |
| 1992 | Conceptual Scaffolding: Using Metaphors to Build Knowledge Structures. Tony Veale, Mark T. Keane |
| 1992 | Constructive Default Logic and the Control of defeasible reasoning. Yao-Hua Tan, Jan Treur |
| 1992 | Crossroad Diagnosis. Pearl Pu, Y. Huang |
| 1992 | Data Structures and Typed Logic Programs. Patricia M. Hill |
| 1992 | Dealing with Multi-Source Information in Possibilistic Logic. Didier Dubois, Jérôme Lang, Henri Prade |
| 1992 | Deductive Planning and Plan Reuse in a Command Language Environment. Susanne Biundo, Dietmar Dengler, Jana Koehler |
| 1992 | Default Logic and Constructive Logic. David Pearce |
| 1992 | Default Logic for Action Rule-Based Systems. Christine Froidevaux |
| 1992 | Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic. Jürgen Dix |
| 1992 | Dense Depth Recovery From Stereo Images. Luc Robert, Rachid Deriche, Olivier D. Faugeras |
| 1992 | Diagnostic Reasoning Across Different Time Points. Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso |
| 1992 | Domain Modeling for Monitoring Systems. J. Primus, Boi Faltings |
| 1992 | Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems. P. A. Geelen |
| 1992 | Dynamic Constraint Propagation with Continuous Variables. Boi Faltings, Djamila Haroud, Ian F. C. Smith |
| 1992 | Déjà Vu: A Hierarchical Case-Based Reasoning System for Software Design. Barry Smyth, Padraig Cunningham |
| 1992 | Effects of Incremental Output on Incremental Natural Language Generation. Wolfgang Finkler, Anne Schauder |
| 1992 | Efficient Memory-Bounded Search Methods. Stuart Russell |
| 1992 | Employing Linear Regression in Regression Tree Leaves. Aram Karalic |
| 1992 | Engineering Optimizations Using the Structured Genetic Aigorithm. Dipankar Dasgupta, Douglas R. McGregor |
| 1992 | Enhancing Genetic Search to Schedule a Production Unit. Bogdan Filipic |
| 1992 | Evaluating the Behaviour of the BAe 146 Hydraulic System Using the Doris System. J. Bradshaw, R. Michael Young |
| 1992 | Explanations at the Knowledge Level. Wlodek Zadrozny |
| 1992 | Explanations for Constraint Systems. Helmut Horacek |
| 1992 | Explanatory Diagnoses and their Computation by Circumscription. Philippe Besnard, Marie-Odile Cordier |
| 1992 | FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. Patrick Doherty, Witold Lukaszewicz |
| 1992 | Formaiizing the Repair Process. Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl |
| 1992 | Formal Specification of Compositional Architectures. Izak van Langevelde, A. Philipsen, Jan Treur |
| 1992 | Formalizing Expertise Qualitative Operators. Kouamana Bousson, Louise Travé-Massuyès |
| 1992 | From Multiple Objects Motion Analysis To Behavior-Based Object Recognition. Nassir Navab, Z. Zhang |
| 1992 | From Ordering Based Nonmonotonic Reasoning to Conditional Logics. Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang |
| 1992 | From Presentation Tasks to Pictures: Towards a Computational Approach to Graphics Design. Thomas Rist, Elisabeth André |
| 1992 | Fuzzy Diagnosis of Continuous Processes. Marcos Regis Vescovi, Jean-Philippe Robles |
| 1992 | Generating Causal Explanations: From Qualitative Models to Natural Language Texts. Farid Cerbah |
| 1992 | Generic Specialists in Competent Behaviour. Angi Voß, Werner Karbach, Carl-Helmut Coulon, Uwe Drouven, Brigitte Bartsch-Spörl |
| 1992 | Genetic Neural Networks for Financial Markets: Some Results. Sergio Margarita |
| 1992 | Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. Dave Barker-Plummer, Sidney C. Bailin |
| 1992 | Grasp Planning for Automatic Assembly Tasks Using Artificial Fields. Luca Maria Gambardella, Marc Haex |
| 1992 | How to Fit Generalized Quantifiers into Terminological Logics. Joachim Quantz |
| 1992 | How to Solve the Zebra Problem, or Path Consistency the Easy Way. Barbara M. Smith |
| 1992 | How to Specialize by Theory Refinement. Claire Nedellec |
| 1992 | Hypotheses Management for Scene Interpretation in a Multisensory Perception Machine. Eric Dekneuvel, Malik Ghallab, Jean-Philippe Thibault |
| 1992 | Hypothetical Reasoning within the Blackboard. Benoît Lemaire |
| 1992 | Identification as Learning in Reasoning about Incomplete Knowledge of Physical Systems. Z. Csáki |
| 1992 | Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical Induction. C. Gierl, Daniel Frost |
| 1992 | Improving Reactivity in a Blackboard Architecture with Parallelism and Interruptions. J.-C. Le Mentec, S. Brunessaux |
| 1992 | Incorporating Similarity Measures into Case Retrieval Using Analogue Marker Passing. M. Brown |
| 1992 | Incremental Verification of Rule-Based Expert Systems. Pedro Meseguer |
| 1992 | Inductive Learning of Effective and Efficient Classification Rules. G. Kalkanis, Gerard V. Conroy |
| 1992 | Interchangeability Preprocessing Can Improve Forward Checking Search. Brent W. Benson Jr., Eugene C. Freuder |
| 1992 | Interpretation Models and Problem Solving Methods. Cuno Duursma |
| 1992 | Intuitive Classification Based on Affinity. Yasuhiko Saito, Satoshi Tojo, Seiichi Komiya |
| 1992 | Inverse Resolution in an Integrated Inductive-Deductive Learning System. Hilde Adé, Luc De Raedt, Maurice Bruynooghe |
| 1992 | Knowledge Acquisition with Self-Organizing Neural Networks. Alfred Ultsch |
| 1992 | Knowledge-based Diagnosis - An Important Challenge and Touchstone for AI. Peter Struss |
| 1992 | Learning Flexible Concepts from Streams of Examples: FLORA 2. Gerhard Widmer, Miroslav Kubat |
| 1992 | Learning the Goal Relevance of Actions in Classifler Systems. Gerhard Weiß |
| 1992 | Learning to Control Inconsistent Knowledge. Michèle Sebag, Marc Schoenauer |
| 1992 | Lexical Choice and the Organization of Lexical Resources in Text Generation. Leo Wanner |
| 1992 | Logical Foundations of a Modal Defeasible Relevant Logic of Belief. Gerson Zaverucha |
| 1992 | Management of Hypotheses in an Integrated Speech-Language Architecture. Claudius Pyka |
| 1992 | Model Indexing Based on a Graph-Theoretic Approach. Humberto Sossa, Radu Horaud |
| 1992 | Modeling Physical Systems with Relative Descriptions of Parameters. Michael Neitzke |
| 1992 | Negation as Exception. Vladimir Kuznetsov |
| 1992 | Neural Network "Surgery": Transplantation of Hidden Units. Axel Pinz, Horst Bischof |
| 1992 | Neural Networks and Logic Programming - a Hybrid Model and its Applicability to Building Expert Systems. Nikola K. Kasabov, S. H. Petkov |
| 1992 | On Computing the Next Look Camera Parameters in Active Vision. Paolo Remagnino, Josef Kittler, George Matas, John Illingworth |
| 1992 | On Constrained Default Theories. Torsten Schaub |
| 1992 | On Efficient Load Balancing for Parallel Execution of Production Systems. E. Bahr, Franz Barachini, Hans Mistelberger |
| 1992 | On Hybrid Reasoning for Processing Spatial Expressions. Longin Jan Latecki, Simone Pribbenow |
| 1992 | On the Computational Complexity of Planning and Story Understanding. Christer Bäckström, Bernhard Nebel |
| 1992 | On the Non-Existence of Knowledge Level Models. Erik Vinkhuyzen |
| 1992 | On the Relationship between Partial Deduction and Abductive Reasoning. Thomas Hoppe |
| 1992 | On the Use of Epistemic Entrenchment in Non-monotonic Reasoning. Wayne Wobcke |
| 1992 | On the Use of Epistemic Entrenchment in Reasoning about Action. Pavlos Peppas, Wayne Wobcke |
| 1992 | On the Virtues of Functional Connectionist Compositionality. Georg Dorffner, Manfred Rotter |
| 1992 | On the Visual Expectations of Moving Objects. Shaogang Gong, Hilary Buxton |
| 1992 | Oriented Shift of Representational Bias for Elementary Patterns. A. Samuel, F. Raynaut |
| 1992 | PQS: "I dont know" Is an Important Qualitative Statement. A. F. Toal |
| 1992 | Parsing as Deduction: Rules versus Principles. Matthew W. Crocker, Ian Lewin |
| 1992 | Perception and Action in Autonomous Systems. Stanley J. Rosenschein |
| 1992 | Phenomenology, Representations and Complexity. Achim G. Hoffmann |
| 1992 | Planning as Satisfiability. Henry A. Kautz, Bart Selman |
| 1992 | Planning, Execution and Sensor-Based Reaction for Assembly Robotic Tasks. Carlos Ramos, Eugénio C. Oliveira |
| 1992 | Plausible Reasoning in Bayesian Networks. Chun-Hung Tzeng |
| 1992 | Pragmatic Reasoning in Model-Based Diagnosis. R. R. Bakker, M. Bourseau |
| 1992 | Predicate Synthesis from Formal Specifications. Marta Franová, Yves Kodratoff |
| 1992 | Predictions in Deterministic Parsing: a Framework for Lexical Correction. Jean-Michel Grandchamp, S. Letellier |
| 1992 | Presupposition, Anaphora, and Reasoning about Change. Sven Lorenz |
| 1992 | Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks And its Application. Zhiyuan Luo |
| 1992 | Proposals for a Valid Terminology in KBS Validation. Jean-Pierre H. Laurent |
| 1992 | Qualitative Belief Networks. Simon Parsons |
| 1992 | Quantitative Modal Logic and Possibilistic Reasoning. Churn-Jung Liau, Bertrand I-Peng Lin |
| 1992 | Reaching Agreement through Partial Revelation of Preferences. Eithan Ephrati, Jeffrey S. Rosenschein |
| 1992 | Reactive Abduction. Annika Wærn |
| 1992 | Real Time Knowledge Representation and Reasoning About Real Tasks. Antonio Camurri, Gianni Viardo Vercelli, Renato Zaccaria |
| 1992 | Reason Maintenance Systems for Multiagent Planning. Kumar Tadepalli, N. Parameswaran |
| 1992 | Recognizing and Revising Unconvincing Explanations. Alex Quilici |
| 1992 | Recovering and CAD/CAM Processing of Complex Surfaces. Mariofanna G. Milanova, I. A. Aleksandrov, Roumen Kountchev |
| 1992 | Recurrent and Feedforward Networks for Human-Computer Interaction. Joachim Diederich, Andreas Thümmel, E. Bartels |
| 1992 | Refinement of Knowledge Bases Based on Consistency. Stéphane Loiseau |
| 1992 | Reflective Strategic Control of Multiple Problem Solving Methods. Martin Reinders, Bert Bredeweg |
| 1992 | Retraction in Terminological Knowledge Bases. Carsten Kindermann |
| 1992 | Rhetorical Relations in a Model of Information-Seeking Dialogues. Stefan Sitter, Elisabeth Maier |
| 1992 | SAM: A Model to Design Complex Computational Social Agents. Thierry Bouron, Anne Collinot |
| 1992 | SCHEDULING: A Problem of Decision-Making Under Uncertainty. P. M. Berry |
| 1992 | Saccadic Object Recognition with an Active Vision System. Gerd-Jürgen Giefing, H. Janßen, Hanspeter A. Mallot |
| 1992 | Shift of Bias without Operators. Claudio Carpineto |
| 1992 | Single Machine Scheduling as a Graph Search Problem with Path-Dependent Arc Costs. R. Ramaswamy, Anup K. Sen |
| 1992 | Solving the Find-Path Problem in 3D by a Simple Object Model. Angel P. del Pobil, Miguel Angel Serna |
| 1992 | Solving the Large-Scale 0-1 Integer Programming Problem Using an Assumption-Based Method. Hirotaka Hara |
| 1992 | Stable Model Semantics and its Computation for Ordered Logic Programs. Nicola Leone, Pasquale Rullo |
| 1992 | Statistical Significance in Inductive Learning. Olivier Gascuel, Gilles Caraux |
| 1992 | Stochastic Search in Inductive Logic Programming. Matevz Kovacic, Nada Lavrac, Marko Grobelnik, Darko Zupanic, Dunja Mladenic |
| 1992 | Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* Search. Anna Bramanti-Gregor, Henry W. Davis, F. G. Ganschow |
| 1992 | Subsumption and Classification-Based Reasoning in Object-Based Representations. Amedeo Napoli |
| 1992 | Support for Resolving Contradictions in Time Interval Networks. Achim Weigel, Rainer Bleisinger |
| 1992 | Symmetries and the Cardinality Operator. Alfonso San Miguel Aguirre |
| 1992 | Temporal Inference with a Point Based Interval Algebra. António Porto, Cristina Ribeiro |
| 1992 | Temporal Reasoning with Abductive Event Calculus. Marc Denecker, Lode Missiaen, Maurice Bruynooghe |
| 1992 | The Data Association Problem when Monitoring Robot Vehicles Using Dynamic Belief Networks. Ann E. Nicholson, Michael Brady |
| 1992 | The Edinburgh Designer System: An Architecture for Solving Ill-Structured Problems. Brian Logan, David Corne, Tim Smithers |
| 1992 | The Mapping Between Geometric and Symbolic Knowledge in Artificial Vision: A Connectionist Approach. Edoardo Ardizzone, Franco Callari, Antonio Chella, Salvatore Gaglio |
| 1992 | The Maquette-Based Methodology Applied to Real-Time Knowledge-Based Systems. Xavier Alamán Roldán, Idoia Alarcón, Erik de Pablo, Jose Luis Zaccagnini |
| 1992 | The Presentation Manager, A Method for Task- Driven Concept Presentation. S. Oei, R. A. Smit, Jos Schreinemakers, Louis Marinos, Jan Sirks |
| 1992 | The Role of Knowledge Level Models in Situated Adaptive Design. Philip Rademakers, Rolf Pfeifer |
| 1992 | Towards a Cooperation Knowledge Level For Collaborative Problem Solving. Nicholas R. Jennings |
| 1992 | Tractable Instances of Some Hard Deduction Problems. Mukesh Dalal |
| 1992 | Tree Subsumption: Reasoning with Outlines. Fausto Giunchiglia, Toby Walsh |
| 1992 | Unifying Cycles. Jörg Würtz |
| 1992 | Universal Approximation Using Feedforward Neural Networks with Gaussian Bar Units. Vera Kurková |
| 1992 | Using Genetic Algorithms for Robot Motion Planning. Juan Manuel Ahuactzin, El-Ghazali Talbi, Pierre Bessière, Emmanuel Mazer |
| 1992 | Verifying Knowledge Bases by Anomaly Detection: An Experience Report. Alun D. Preece, Rajjan Shinghal |
| 1992 | Visual Obstacle Detection by a Geometrically Simplified Optical Flow Approach. Stefan Bohrer, Michael Brauckmann, Werner von Seelen |
| 1992 | Well Founded Semantics for Logic Programs with Explicit Negation. Luís Moniz Pereira, José Júlio Alferes |
| 1992 | Why Generalize? Hybrid Representations and Instance-Based Learning. Paul D. Scott, K. H. Sage |