IJCAI A*

270 papers

YearTitle / Authors
1989"Physical Negation" Integrating Fault Models into the General Diagnostic Engine.
Peter Struss, Oskar Dressler
1989(How) Is AI Impacting Manufacturing?
Mark S. Fox
1989A "Small Leakage" Model for Diffusion Smoothing of Image Data.
Li-Dong Cai
1989A Case-Based Mechanical Redesign System.
Francois Daube, Barbara Hayes-Roth
1989A Comparison of ATMS and CSP Techniques.
Johan de Kleer
1989A Computational Framework for Granularity and its Application to Educational Diagnosis.
Jim E. Greer, Gordon I. McCalla
1989A Computational Structure for the Propositional Calculus.
M. J. Shensa
1989A Correct Non-Monotonic ATMS.
Ulrich Junker
1989A Critique of the Valiant Model.
Wray L. Buntine
1989A Diagnostic Algorithm based on Models at Different Level of Abstraction.
Massimo Gallanti, Marco Roncato, Alberto Stefanini, Giorgio Tornielli
1989A Focused, Context-Sensitive Approach to Monitoring.
Richard J. Doyle, Suzanne M. Sellers, David Atkinson
1989A Formal Account of Self-Knowledge and Action.
Yves Lespérance
1989A Framework for Network Modeling in Prolog.
Z. I. Markov
1989A Homogeneous Framework for Visual Recognition.
Rick Kjeldsen, Ruud M. Bolle, Andrea Califano, Russell W. Taylor
1989A Knowledge-Based Software Information System.
Premkumar T. Devanbu, Peter G. Selfridge, Bruce W. Ballard, Ronald J. Brachman
1989A Knowledge-Level Account of Abduction.
Hector J. Levesque
1989A Maneuvering-Board Approach to Path Planning with Moving Obstacles.
Lou Tychonievich, David Zaret, John Mantegna, Robert Evans, Eric Muehle, Scott Martin
1989A Model for Projection and Action.
Keiji Kanazawa, Thomas L. Dean
1989A Model of Planning for Plan Efficiency: Taking Advantage of Operator Overlap.
Caroline C. Hayes
1989A Modest, but Semantically Well Founded, Inheritance Reasoner.
Fahiem Bacchus
1989A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution.
John Domingue, Marc Eisenstadt
1989A Parallel Algorithm for Statistical Belief Refinement and its use in Causal Reasoning.
Jay C. Weber
1989A Parallel Parser for Spoken Natural Language.
Egidio P. Giachin, Claudio Rullent
1989A Planning/Scheduling Methodology for the Constrained Resource Problem.
Naiping Keng, David Y. Y. Yun
1989A Probabilistic Approach to Marker Propagation.
Dekai Wu
1989A Problem Space Approach to Expert System Specification.
Gregg Yost, Allen Newell
1989A Rational Reconstruction and Extension of Recursion Analysis.
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
1989A Reactive Approach to Explanation.
Johanna D. Moore, William R. Swartout
1989A Reactive Scheduling Agent.
Patrick Prosser
1989A Region-Based Stereo Algorithm.
Gang Xu, Hideki Kondo, Saburo Tsuji
1989A Schema-Based Approach to Understanding Subjunctive Conditionals.
Wayne Wobcke
1989A Semantical Approach to Stable Inheritance Reasoning.
Craig Boutilier
1989A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding.
Eugene Charniak, Robert P. Goldman
1989A Sequential View of AND-Parallelism Through Partial AND-Processes.
Bernd Schend
1989A Study of Empirical Learning for an Involved Problem.
Larry A. Rendell
1989A Symbol Is Not a Symbol.
Nils Dahlbäck
1989A Technique for Customizing Object-Oriented Knowledge Representation Systems, With An Application to Network Problem Management.
Lisiane Goffaux, Robert Mathonet
1989A Theorem Prover for Prioritized Circumscription.
Andrew B. Baker, Matthew L. Ginsberg
1989A Theory of Diagnosis for Incomplete Causal Models.
Luca Console, Daniele Theseider Dupré, Pietro Torasso
1989A Unified View of Propositional Knowledge Base Updates.
Hirofumi Katsuno, Alberto O. Mendelzon
1989A Universal Programming Language.
Hans W. Guesgen
1989A Vectorization Technique for Prolog without Explosion.
Yasusi Kanada, Masahiro Sugaya
1989ANASTASIL: A Hybrid Knowledge-Based System for Document Layout Analysis.
Andreas Dengel, Gerhard Barth
1989Abstract Theorem Proving.
Fausto Giunchiglia, Toby Walsh
1989Abstraction in Problem Solving and Learning.
Amy Unruh, Paul S. Rosenbloom
1989Acquiring Recursive Concepts with Explanation-Based Learning.
Jude W. Shavlik
1989Adaptation-Based Explanation: Extending Script/Frame Theory to Handle Novel Input.
Alex Kass
1989Alternatives for Classifier System Credit Assignment.
Gunar E. Liepins, Mike R. Hilliard, Mark R. Palmer, Gita Rangarajan
1989An Adaptive Model of Decision-Making in Planning.
Gregg Collins, Lawrence Birnbaum, Bruce Krulwich
1989An Algebraic Approach to Constraint Satisfaction Problems.
Igor Rivin, Ramin Zabih
1989An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions.
Gregory M. Provan
1989An Analysis of First-Order Logics of Probability.
Joseph Y. Halpern
1989An Approximate Solver for Symbolic Equations.
Elisha Sacks
1989An Empirical Comparison of ID3 and Back-propagation.
Douglas H. Fisher, Kathleen B. McKusick
1989An Empirical Comparison of Pattern Recognition, Neural Nets, and Machine Learning Classification Methods.
Sholom M. Weiss, Ioannis Kapouleas
1989An Evaluation of DRete on CUPlD for OPSS Matching.
Michael A. Kelly, Rudolph E. Seviora
1989An Evidence-based Framework for a Theory of Inheritance.
Krishnaprasad Thirunarayan, Michael Kifer
1989An Experimental Comparison of Symbolic and Connectionist Learning Algorithms.
Raymond J. Mooney, Jude W. Shavlik, Geoffrey G. Towell, Alan Gove
1989An Integrated Characterization and Discrimination Scheme to Improve Learning Efficiency in Large Data Sets.
Roberto Gemello, Franco Mana
1989An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing.
Burkhard Freitag, Bernhard Huber, Wolfgang Womann
1989And-Or Graphs Applied to RUE Resolution.
Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian
1989Approximation Algorithms for Temporal Reasoning.
Peter van Beek
1989Approximation of Indistinct Concepts.
Mingyi Zhang
1989Argumentation: Planning Other Agents' Plans.
Katia P. Sycara
1989Artificial Intelligence and Space Exploration.
Peter Friedland
1989Ascribing Plans to Agents.
Kurt Konolige, Martha E. Pollack
1989Automated Physical Modeling.
Andrew Gelsey
1989Automated Synthesis of Constrained Generators.
Wesley Braudaway, Chris Tong
1989Automating the Construction of Patchers That Satisfy Global Constraints.
Kerstin Voigt, Chris Tong
1989Belief as Defeasible Knowledge.
Yoav Shoham, Yoram Moses
1989Beyond PDP: The Frequency Modulation Neural Network Architecture.
Hideto Tomabechi, Hiroaki Kitano
1989Bidirectional Use of Knowledge in the Multi-modal NL Access System XTRA.
Jürgen Allgayer, Roman M. Jansen-Winkeln, Carola Reddig, Norbert Reithinger
1989Building Robust Learning Systems by Combining Induction and Optimization.
David K. Tcheng, Bruce L. Lambert, Stephen C. Y. Lu, Larry A. Rendell
1989Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints.
Minoru Asada, Yoshiaki Shirai
1989Call-Graph Caching: Transforming Programs into Networks.
Mark Perlin
1989Can Early Stage Vision Detect Topology.
Lifu Liu, Nanyuan Zhao, Bian Zhaoqi
1989Candidate Ordering and Elimination in Model-Based Fault Diagnosis.
Jiah-Shing Chen, Sargur N. Srihari
1989Chart Parsing of Flowgraphs.
Rudi Lutz
1989Chemical Analogies: Two Kinds of Explanation.
Paul Thagard, Dawn M. Cohen, Keith J. Holyoak
1989Chromatic Stereopsis.
John R. Jordan III, Alan C. Bovik, Wilson S. Geisler
1989Circumscribing Equality.
Peter K. Rathmann, Marianne Winslett
1989Combining Case-Based and Rule-Based Reasoning: A Heuristic Approach.
Edwina L. Rissland, David B. Skalak
1989Comparing the Conceptual Systems of Experts.
Brian R. Gaines, Mildred L. G. Shaw
1989Computer-Aided Grammar Acquisition in the Chinese Understanding System CUSAGA.
Ruqian Lu, Liu Yinghui, Xiaobin Li
1989Computing Pronoun Antecedents in an English Query System.
Kurt Codden
1989Concept Formation by Incremental Conceptual Clustering.
Mirsad Hadzikadic, David Y. Y. Yun
1989Concept Learning and the Problem of Small Disjuncts.
Robert C. Holte, Liane Acker, Bruce W. Porter
1989Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving.
Charles Elkan
1989Constrained Heuristic Search.
Mark S. Fox, Norman M. Sadeh, Can A. Baykan
1989Constraint Posting for Verifying VLSI Circuits.
Daniel Weise
1989Constraint Reasoning Based on Interval Arithmetic.
Eero Hyvönen
1989Constraint Satisfaction with Delayed Evaluation.
Monte Zweben, Megan Eskey
1989Constraint Satisfiability Algorithms for Interactive Student Scheduling.
Ronen Feldman, Martin Charles Golumbic
1989Constructive Induction On Decision Trees.
Christopher J. Matheus, Larry A. Rendell
1989Contexts: Dynamic Identification of Common Parameters in Distributed Analysis of Complex Devices.
Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy
1989Control of Refitting during Plan Reuse.
Subbarao Kambhampati, James A. Hendler
1989Controlling a Language Generation Planner.
Sergei Nirenburg, Victor R. Lesser, Eric Nyberg
1989Coping With Uncertainty in Map Learning.
Kenneth Basye, Thomas L. Dean, Jeffrey Scott Vitter
1989Correct Parallel Status Assignment for the Reason Maintenance System.
Rosanne M. Fulcomer, William E. Ball
1989Decision-Making in an Embedded Reasoning System.
Michael P. Georgeff, François Felix Ingrand
1989Defining Salience in Case-Based Arguments.
Kevin D. Ashley
1989Design Optimization Using Dynamic Evaluation.
Witold Paluszynski, Ira Kalet
1989Detecting and Correcting Errors of Omission After Explanation-Based Learning.
Michael J. Pazzani
1989Diagnosis with Behavioral Modes.
Johan de Kleer, Brian C. Williams
1989Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach.
Jack Mostow, Armand Prieditis
1989Domain Dependence in Parallel Constraint Satisfaction.
Paul R. Cooper, Michael J. Swain
1989Eliminating Expensive Chunks by Restricting Expressiveness.
Milind Tambe, Paul S. Rosenbloom
1989Execution Architectures and Compilation.
Stuart J. Russell
1989Experience Learning in Model-Based Diagnostic Systems.
Yoshiyuki Koseki
1989Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor.
Edward Rothberg, Anoop Gupta
1989Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems.
Rina Dechter, Itay Meiri
1989Experiments with a Network-Based Geometric Reasoning Engine.
Robert B. Fisher, Mark J. L. Orr
1989Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter.
Leon Sterling, L. Ümit Yalçinalp
1989Explanation Based Program Transformation.
Maurice Bruynooghe, Luc De Raedt, Danny De Schreye
1989Extending Reflective Architectures.
Timothy M. Lownie
1989Extending the Constraint Propagation of Intervals.
Allen C. Ward, Tomás Lozano-Pérez, Warren P. Seering
1989Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory.
Anup K. Sen, Amitava Bagchi
1989Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds.
Erik Sandewall
1989Focus of Control Through Goal Relationships.
Victor R. Lesser, Daniel D. Corkill, Robert Whitehair, J. A. Hernandez
1989Focusing Attention for Observational Learning: The Importance of Context.
Joel D. Martin
1989Formal Properties and Implementation of Bidirectional Charts.
Giorgio Satta, Oliviero Stock
1989Functional Representation of Designs and Redesign Problem Solving.
Ashok K. Goel, B. Chandrasekaran
1989Generalized Game Trees.
Richard E. Korf
1989Generating Better Decision Trees.
Steven W. Norton
1989Generating Causal Explanation from a Cardio-Vascular Simulation.
Sarah A. Douglas, Zheng-Yang Liu
1989Generating Facts From Opinions with Information Source Models.
Martin Thost
1989Generation, Local Receptive Fields and Global Convergence Improve Perceptual Learning in Connectionist Networks.
Vasant G. Honavar, Leonard Uhr
1989Goal Ordering in Partially Ordered Plans.
Mark Drummond, Ken Currie
1989HUGIN - A Shell for Building Bayesian Belief Universes for Expert Systems.
Stig K. Andersen, Kristian G. Olesen, Finn Verner Jensen, Frank Jensen
1989Hierarchical Genetic Algorithms Operating on Populations of Computer Programs.
John R. Koza
1989High-Impact Future Research Directions for Artificial Intelligence.
Perry W. Thorndyke
1989How to Represent Opaque Sentences in First Order Logic.
Bijan Arbab
1989Improving Efficiency by Learning Intermediate Concepts.
James Wogulis, Pat Langley
1989Incorporating Redundant Learned Rules: A Preliminary Formal Analysis of EBL.
Russell Greiner, J. Likuski
1989Induction in an Abstraction Space: A Form of Constructive Induction.
George Drastal, Gabor Czako, Stan Raatz
1989Input Data Management in Real-Time AI Systems.
Richard Washington, Barbara Hayes-Roth
1989Integrating Knowledge-Based System and Neural Network Techniques for Robotic Skill Acquisition.
David Handelman, Stephen H. Lane, Jack Gelfand
1989Integration of Semantic and Syntactic Constraints for Structural Noun Phrase Disambiguation.
Stefan Wermter
1989Intelligent Monitoring and Control.
Barbara Hayes-Roth, Richard Washington, Rattikorn Hewett, Micheal Hewett, Adam Seiver
1989Introducing Actions into Qualitative Simulation.
Kenneth D. Forbus
1989Knowledge Base Compilation.
F. D. Highland, Christine T. Iwaskiw
1989Layering Predictions: Flexible Use of Dialog Expectation in Speech Recognition.
Sheryl R. Young, Wayne H. Ward, Alexander G. Hauptmann
1989Lazy ExplanationBased Learning: A Solution to the Intractable Theory Problem.
Prasad Tadepalli
1989Learning DNF by Decision Trees.
Giulia Pagallo
1989Learning Novel Domains Through Curiosity and Conjecture.
Paul D. Scott, Shaul Markovitch
1989Learning Subgoal Sequences for Planning.
David Ruby, Dennis F. Kibler
1989Learning to Diagnose by Doing.
Jayant Kalagnanam, Eswaran Subrahmanian
1989Lexicon Acquisition: Learning from Corpus by Capitalizing on Lexical Categories.
Uri Zernik
1989Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic.
Xuhua Liu
1989Logic Programming with General Clauses and Defaults Based on Model Elimination.
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva
1989Managing Efficiently Temporal Relations Through Indexed Spanning Trees.
Malik Ghallab, A. Mounir Alaoui
1989Maximum Entropy in Nilsson's Probabilistic Logic.
Thomas B. Kane
1989Measure-Free Conditioning, Probability and Non-Monotonic Reasoning.
Didier Dubois, Henri Prade
1989Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions.
Anand S. Rao, Norman Y. Foo
1989Minimizing Response Times in Real Time Planning and Search.
Shashi Shekhar, Soumitra Dutta
1989Modal Theorem Proving: An Equational Viewpoint.
Yves Auffray, Patrice Enjalbert
1989Model-Based Monitoring of Dynamic Systems.
Daniel Dvorak, Benjamin Kuipers
1989Motion Planning of Multi-Joint Robotic Arm with Topological Dimension Reduction Method.
Bo Zhang, Ling Zhang, Tian Zhang
1989Multi-Dimensional Heuristic Searching.
Peter C. Nelson, Lawrence J. Henschen
1989Negative Reasoning Using Inheritance.
Lin Padgham
1989Negotiation and Task Sharing Among Autonomous Agents in Cooperative Domains.
Gilad Zlotkin, Jeffrey S. Rosenschein
1989Neural Computing on a One Dimensional SIMD Array.
Stephen S. Wilson
1989Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning.
John A. Barnden
1989Neuroplanners and Their Application to Eyes/Head/Neck Coordination.
Daryl H. Graf, Wilf R. LaLonde
1989Node Aggregation for Distributed Inference in Bayesian Networks.
Kuo-Chu Chang, Robert M. Fung
1989Noise-Tolerant Conceptual Clustering.
Douglas H. Fisher
1989Noise-Tolerant Instance-Based Learning Algorithms.
David W. Aha, Dennis F. Kibler
1989Normality and Faults in Logic-Based Diagnosis.
David Poole
1989Objective Functions for Feature Discrimination.
Pascal Fua, Andrew J. Hanson
1989On Cooperation in a Multi-Entity Model.
Moshe Tennenholtz, Yoram Moses
1989On Multi-Layered Connectionist Models: Adding Layers vs. Increasing Width.
Chung-Jen Ho
1989On Optimal Game-Tree Search using Rational Meta-Reasoning.
Stuart Russell, Eric Wefald
1989On Wu's Method for Proving Constructive Geometric Theorems.
Dongming Wang
1989On the Decidability of Formulae Involving Continuous and Closed Functions.
Domenico Cantone, Eugenio G. Omodeo
1989On the Declarative Semantics of Inheritance Networks.
Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren
1989On the Generalization Capability of Multi-Layered Networks in the Extraction of Speech Properties.
Renato De Mori, Yoshua Bengio, Piero Cosi
1989On the Relation Between Autoepistem ic Logic and Circumscription.
Kurt Konolige
1989On the Relation Between Truth Maintenance and Autoepistemic Logic.
Michael Reinfrank, Oskar Dressler, Gerhard Brewka
1989On the Road to Automatic Knowledge Engineering.
Jitu Patel
1989On the Semantics of Counterfactuals.
Peter Jackson
1989Opportunistic Memory.
Kristian J. Hammond
1989Ordering Problem Subgoals.
Jie Cheng, Keki B. Irani
1989Outline of a Naive Semantics for Reasoning with Qualitative Linguistic Information.
Daniel G. Schwartz
1989POPEL-HOW: A Distributed Parallel Model for Incremental Natural Language Production with Feedback.
Wolfgang Finkler, Günter Neumann
1989Parallel Iterative A* Search: An Admissible Distributed Heuristic Search Algorithm.
Shie-rei Huang, Larry S. Davis
1989Partial Constraint Satisfaction.
Eugene C. Freuder
1989Perception of Non-Rigid Motion: Inference of Shape, Material and Force.
Alex Pentland, John Williams
1989Perturbation Analysis with Qualitative Models.
Renato De Mori, Robert Prager
1989Phrasing a Text in Terms the User Can Understand.
John A. Bateman, Cécile Paris
1989Platypus: A Constraint-Based Reasoning System.
William S. Havens, Paul Stephen Rehfuss
1989Plausible Inferencing Using Extended Composition.
Michael N. Huhns, Larry M. Stephens
1989Prediction is Deduction but Explanation is Abduction.
Murray Shanahan
1989Preferred Subtheories: An Extended Logical Framework for Default Reasoning.
Gerhard Brewka
1989Preprocessing Search Spaces for Branch and Bound Search.
Qiang Yang, Dana S. Nau
1989Principled Constructive Induction.
Pankaj Mehra, Larry A. Rendell, Benjamin W. Wah
1989Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989
N. S. Sridharan
1989Processes at Discontinuities.
Patrick J. Hayes, Michael Leyton
1989Program Derivation Using Analogy.
Mehdi T. Harandi, Sanjay Bhansali
1989Qualitative Reasoning of Bayesian Belief Using Meta-knowledge.
Bon K. Sy
1989Rapid Retrieval Algorithms for Case-Based Reasoning.
Richard H. Stottler, Andrea L. Henke, James A. King
1989Real-Time AI Systems: A Definition and An Architecture.
Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering
1989Reasoning About Assumptions in Graphs of Models.
Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy
1989Reasoning About Hidden Mechanisms.
Richard J. Doyle
1989Reasoning about Kinematic Topology.
Boi Faltings, Emmanuel Baechler, J. Primus
1989Recognizing Unnecessary Inference.
Dan Benanav
1989Reconstructive Explanation: Explanation as Complex Problem Solving.
Michael R. Wick, William B. Thompson
1989Reducing the Derivation of Redundant Clauses in Reasoning Systems.
Rolf Socher-Ambrosius
1989Reference Frames for Animate Vision.
Dana H. Ballard
1989Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study.
Eric Horvitz, Gregory F. Cooper, David Heckerman
1989Relating the TMS to Autoepistemic Logic.
Yasushi Fujiwara, Shinichi Honiden
1989Representation and Hidden Bias II: Eliminating Defining Length Bias in Genetic Search via Shuffle Crossover.
Rich Caruana, Larry J. Eshelman, J. David Schaffer
1989Representations of Assembly Sequences.
Luiz Homem de Mello, Arthur C. Sanderson
1989Robot Navigation.
David P. Miller
1989Rule Creation and Rule Learning Through Environmental Exploration.
Wei-Min Shen, Herbert A. Simon
1989Searching Game Trees in Parallel Using SSS.
Subir Bhattacharya, Amitava Bagchi
1989Selective Learning of Macro-operators with Perfect Causality.
Seiji Yamada, Sabinro Tsuji
1989Semantic Interpretation Based on the Multi-World Model.
Katashi Nagao
1989Semantics of Perspectival Utterances.
Yasuhiro Katagiri
1989Simplification and Abstraction of Kinematic Behaviors.
Leo Joskowicz
1989Simulating Student Programmers.
James C. Spohrer, Elliot Soloway
1989Simulation of Hybrid Circuits in Constraint Logic Programming.
Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer
1989Single-Agent Parallel Window Search: A Summary of Results.
Curt Powley, Richard E. Korf
1989Skeptical Inheritance: Computing the Intersection of Credulous Extensions.
Lynn Andrea Stein
1989Solving Time-Dependent Planning Problems.
Mark S. Boddy, Thomas L. Dean
1989Some Experiments in Applying Inductive Inference Principles to Surface Reconstruction.
Edwin P. D. Pednault
1989Sometimes Updates Are Circumscription.
Marianne Winslett
1989Stochastic Analysis of Qualitative Dynamics.
Jon Doyle, Elisha Sacks
1989Storing and Generalizing Multiple Instances While Maintaining Knowledge-Level Parallelism.
Ronald A. Sumida, Michael G. Dyer
1989Structuring Computer Generated Proofs.
Christoph Lingenfelder
1989Symbols and Subsymbols for Representing Knowledge: A Catalogue Raisonné.
Marcello Frixione, Giuseppe Spinelli, Salvatore Gaglio
1989Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements.
Klaus Nökel
1989Temporal Projection and Explanation.
Andrew B. Baker, Matthew L. Ginsberg
1989Temporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits.
Walter Hamscher
1989The Challenge of Neural Darwinism.
Stephen W. Smoliar
1989The Complexity of Perceptual Search Tasks.
John K. Tsotsos
1989The Correction Machine: Formulating Explanations for User Misconceptions.
Alex Quilici
1989The Dynamics of Action Selection.
Pattie Maes
1989The ELINT Application on Poligon: The Architecture and Performance of a Concurrent Blackboard System.
James Rice
1989The Effect of Rule Use on the Utility of Explanation-Based Learning.
Raymond J. Mooney
1989The Generation of 'Critical Problems' by Abstract Interpretations of Student Models.
Rick Evertsz
1989The Implementation of Expert, Knowledge-Based Systems.
John K. Debenham
1989The Logic of Time Structures: Temporal and Nonmonotonic Features.
Mira Balaban, Neil V. Murray
1989The Minimum Description Length Principle and Its Application to Online Learning of Handprinted Characters.
Qiong Gao, Ming Li
1989The Orders of Magnitude Models as Qualitative Algebras.
Louise Travé-Massuyès, Núria Piera
1989The Reason for the Benefits of Minimax Search.
Anton Scheucher, Hermann Kaindl
1989The Search Ahead Conflict Resolution for Parallel Firing of Production Systems.
Chinh-Chi Hsu, Feng-Hsu Wang
1989The Specialization and Transformation of Constructive Existence Proofs.
Peter Madden
1989The Thought Experiment Approach to Qualitative Physics.
David L. Hibler, Gautam Biswas
1989The Tractability of Path-Based Inheritance.
Bart Selman, Hector J. Levesque
1989Things That Change by Themselves.
Vladimir Lifschitz, Arkady Rabinov
1989Three-Dimensional Interpretation of Quadrilaterals.
Gang Xu, Saburo Tsuji
1989Time for Action: On the Relation Between Time, Knowledge and Action.
Yoav Shoham
1989Towards Finding Optimal Solutions with Non-Admissible Heuristics: A New Technique.
Henry W. Davis, Anna Bramanti-Gregor, Xiaoteng Chen
1989Towards Friendly Concept-Learners.
Luc De Raedt, Maurice Bruynooghe
1989Towards a General Framework for Composing Disjunctive and Iterative Macro-operators.
Peter Shell, Jaime G. Carbonell
1989Towards a Generic Model of Configuraton Tasks.
Sanjay Mittal, Felix Frayman
1989Towards a Theory of Conflict Detection and Resolution in Nonlinear Plans.
Joachim Hertzberg, Alexander Horz
1989Training Feedforward Neural Networks Using Genetic Algorithms.
David J. Montana, Lawrence Davis
1989Tuning a Knowledge Base of Refinement Rules To Create Good Circuit Designs.
Chris Tong, Phil Franklin
1989Uncertainty, Belief, and Probability.
Ronald Fagin, Joseph Y. Halpern
1989Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking.
Nikos Drakos
1989Unsupervised Learning by Backward Inhibition.
Tomas Hrycej
1989Using Generic Knowledge in Analysis of Aerial Scenes: A Case Study.
Andres Huertas, William Cole, Ramakant Nevatia
1989Using Global Properties for Qualitative Reasoning: A Qualitative System Theory.
Yoshiteru Ishida
1989Using Line Correspondence Stereo to Measure Surface Orientation.
Lawrence B. Wolff, Terrance E. Boult
1989Using a Feature Algebra for Reasoning about Geometric Feature Interactions.
Raghu Karinthi, Dana S. Nau
1989Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains.
Steve A. Chien
1989Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge.
Shaul Markovitch, Paul D. Scott
1989Visual Reasoning in Geometry Theorem Proving.
Michelle Y. Kim
1989Vivid Knowledge and Tractable Reasoning.
David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz