IJCAI 1989

269 papers

"Physical Negation" Integrating Fault Models into the General Diagnostic Engine Peter Struss, Oskar Dressler

(How) Is AI Impacting Manufacturing? Mark S. Fox

A "Small Leakage" Model for Diffusion Smoothing of Image Data Li-Dong Cai

A Case-Based Mechanical Redesign System Francois Daube, Barbara Hayes-Roth

A Comparison of ATMS and CSP Techniques Johan de Kleer

A Computational Framework for Granularity and Its Application to Educational Diagnosis Jim E. Greer, Gordon I. McCalla

A Computational Structure for the Propositional Calculus M. J. Shensa

A Correct Non-Monotonic ATMS Ulrich Junker

A Critique of the Valiant Model Wray L. Buntine

A Diagnostic Algorithm Based on Models at Different Level of Abstraction Massimo Gallanti, Marco Roncato, Alberto Stefanini, Giorgio Tornielli

A Focused, Context-Sensitive Approach to Monitoring Richard J. Doyle, Suzanne M. Sellers, David Atkinson

A Formal Account of Self-Knowledge and Action Yves Lespérance

A Framework for Network Modeling in Prolog Z. I. Markov

A Homogeneous Framework for Visual Recognition Rick Kjeldsen, Ruud M. Bolle, Andrea Califano, Russell W. Taylor

A Knowledge-Based Software Information System Premkumar T. Devanbu, Peter G. Selfridge, Bruce W. Ballard, Ronald J. Brachman

A Knowledge-Level Account of Abduction Hector J. Levesque

A Maneuvering-Board Approach to Path Planning with Moving Obstacles Lou Tychonievich, David Zaret, John Mantegna, Robert Evans, Eric Muehle, Scott Martin

A Model for Projection and Action Keiji Kanazawa, Thomas L. Dean

A Model of Planning for Plan Efficiency: Taking Advantage of Operator Overlap Caroline C. Hayes

A Modest, but Semantically Well Founded, Inheritance Reasoner Fahiem Bacchus

A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution John Domingue, Marc Eisenstadt

A Parallel Algorithm for Statistical Belief Refinement and Its Use in Causal Reasoning Jay C. Weber

A Parallel Parser for Spoken Natural Language Egidio P. Giachin, Claudio Rullent

A Planning/Scheduling Methodology for the Constrained Resource Problem Naiping Keng, David Y. Y. Yun

A Probabilistic Approach to Marker Propagation Dekai Wu

A Problem Space Approach to Expert System Specification Gregg Yost, Allen Newell

A Rational Reconstruction and Extension of Recursion Analysis Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens

A Reactive Approach to Explanation Johanna D. Moore, William R. Swartout

A Reactive Scheduling Agent Patrick Prosser

A Region-Based Stereo Algorithm Gang Xu, Hideki Kondo, Saburo Tsuji

A Schema-Based Approach to Understanding Subjunctive Conditionals Wayne Wobcke

A Semantical Approach to Stable Inheritance Reasoning Craig Boutilier

A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding Eugene Charniak, Robert P. Goldman

A Sequential View of AND-Parallelism Through Partial AND-Processes Bernd Schend

A Study of Empirical Learning for an Involved Problem Larry A. Rendell

A Symbol Is Not a Symbol Nils Dahlbäck

A Technique for Customizing Object-Oriented Knowledge Representation Systems, with an Application to Network Problem Management Lisiane Goffaux, Robert Mathonet

A Theorem Prover for Prioritized Circumscription Andrew B. Baker, Matthew L. Ginsberg

A Theory of Diagnosis for Incomplete Causal Models Luca Console, Daniele Theseider Dupré, Pietro Torasso

A Unified View of Propositional Knowledge Base Updates Hirofumi Katsuno, Alberto O. Mendelzon

A Universal Programming Language Hans W. Guesgen

A Vectorization Technique for Prolog Without Explosion Yasusi Kanada, Masahiro Sugaya

Abstract Theorem Proving Fausto Giunchiglia, Toby Walsh

Abstraction in Problem Solving and Learning Amy Unruh, Paul S. Rosenbloom

Acquiring Recursive Concepts with Explanation-Based Learning Jude W. Shavlik

Adaptation-Based Explanation: Extending Script/Frame Theory to Handle Novel Input Alex Kass

Alternatives for Classifier System Credit Assignment Gunar E. Liepins, Mike R. Hilliard, Mark R. Palmer, Gita Rangarajan

An Adaptive Model of Decision-Making in Planning Gregg Collins, Lawrence Birnbaum, Bruce Krulwich

An Algebraic Approach to Constraint Satisfaction Problems Igor Rivin, Ramin Zabih

An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions Gregory M. Provan

An Analysis of First-Order Logics of Probability Joseph Y. Halpern

An Approximate Solver for Symbolic Equations Elisha Sacks

An Empirical Comparison of ID3 and Back-Propagation Douglas H. Fisher, Kathleen B. McKusick

An Empirical Comparison of Pattern Recognition, Neural Nets, and Machine Learning Classification Methods Sholom M. Weiss, Ioannis Kapouleas

An Evaluation of DRete on CUPlD for OPSS Matching Michael A. Kelly, Rudolph E. Seviora

An Evidence-Based Framework for a Theory of Inheritance Krishnaprasad Thirunarayan, Michael Kifer

An Experimental Comparison of Symbolic and Connectionist Learning Algorithms Raymond J. Mooney, Jude W. Shavlik, Geoffrey G. Towell, Alan Gove

An Integrated Characterization and Discrimination Scheme to Improve Learning Efficiency in Large Data Sets Roberto Gemello, Franco Mana

An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing Burkhard Freitag, Bernhard Huber, Wolfgang Womann

ANASTASIL: A Hybrid Knowledge-Based System for Document Layout Analysis Andreas Dengel, Gerhard Barth

And-or Graphs Applied to RUE Resolution Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian

Approximation Algorithms for Temporal Reasoning Peter van Beek

Approximation of Indistinct Concepts Mingyi Zhang

Argumentation: Planning Other Agents' Plans Katia P. Sycara

Artificial Intelligence and Space Exploration Peter Friedland

Ascribing Plans to Agents Kurt Konolige, Martha E. Pollack

Automated Physical Modeling Andrew Gelsey

Automated Synthesis of Constrained Generators Wesley Braudaway, Chris Tong

Automating the Construction of Patchers That Satisfy Global Constraints Kerstin Voigt, Chris Tong

Belief as Defeasible Knowledge Yoav Shoham, Yoram Moses

Beyond PDP: The Frequency Modulation Neural Network Architecture Hideto Tomabechi, Hiroaki Kitano

Bidirectional Use of Knowledge in the Multi-Modal NL Access System XTRA Jürgen Allgayer, Roman M. Jansen-Winkeln, Carola Reddig, Norbert Reithinger

Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints Minoru Asada, Yoshiaki Shirai

Building Robust Learning Systems by Combining Induction and Optimization David K. Tcheng, Bruce L. Lambert, Stephen C. Y. Lu, Larry A. Rendell

Call-Graph Caching: Transforming Programs into Networks Mark Perlin

Can Early Stage Vision Detect Topology Lifu Liu, Nanyuan Zhao, Bian Zhaoqi

Candidate Ordering and Elimination in Model-Based Fault Diagnosis Jiah-Shing Chen, Sargur N. Srihari

Chart Parsing of Flowgraphs Rudi Lutz

Chemical Analogies: Two Kinds of Explanation Paul Thagard, Dawn M. Cohen, Keith J. Holyoak

Chromatic Stereopsis John R. Jordan Iii, Alan C. Bovik, Wilson S. Geisler

Circumscribing Equality Peter K. Rathmann, Marianne Winslett

Combining Case-Based and Rule-Based Reasoning: A Heuristic Approach Edwina L. Rissland, David B. Skalak

Comparing the Conceptual Systems of Experts Brian R. Gaines, Mildred L. G. Shaw

Computer-Aided Grammar Acquisition in the Chinese Understanding System CUSAGA Ruqian Lu, Liu Yinghui, Xiaobin Li

Computing Pronoun Antecedents in an English Query System Kurt Codden

Concept Formation by Incremental Conceptual Clustering Mirsad Hadzikadic, David Y. Y. Yun

Concept Learning and the Problem of Small Disjuncts Robert C. Holte, Liane Acker, Bruce W. Porter

Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving Charles Elkan

Constrained Heuristic Search Mark S. Fox, Norman M. Sadeh, Can A. Baykan

Constraint Posting for Verifying VLSI Circuits Daniel Weise

Constraint Reasoning Based on Interval Arithmetic Eero Hyvönen

Constraint Satisfaction with Delayed Evaluation Monte Zweben, Megan Eskey

Constraint Satisfiability Algorithms for Interactive Student Scheduling Ronen Feldman, Martin Charles Golumbic

Constructive Induction on Decision Trees Christopher J. Matheus, Larry A. Rendell

Contexts: Dynamic Identification of Common Parameters in Distributed Analysis of Complex Devices Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy

Control of Refitting During Plan Reuse Subbarao Kambhampati, James A. Hendler

Controlling a Language Generation Planner Sergei Nirenburg, Victor R. Lesser, Eric Nyberg

Coping with Uncertainty in mAP Learning Kenneth Basye, Thomas L. Dean, Jeffrey Scott Vitter

Correct Parallel Status Assignment for the Reason Maintenance System Rosanne M. Fulcomer, William E. Ball

Decision-Making in an Embedded Reasoning System Michael P. Georgeff, François Felix Ingrand

Defining Salience in Case-Based Arguments Kevin D. Ashley

Design Optimization Using Dynamic Evaluation Witold Paluszynski, Ira Kalet

Detecting and Correcting Errors of Omission After Explanation-Based Learning Michael J. Pazzani

Diagnosis with Behavioral Modes Johan de Kleer, Brian C. Williams

Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach Jack Mostow, Armand Prieditis

Domain Dependence in Parallel Constraint Satisfaction Paul R. Cooper, Michael J. Swain

Eliminating Expensive Chunks by Restricting Expressiveness Milind Tambe, Paul S. Rosenbloom

Execution Architectures and Compilation Stuart J. Russell

Experience Learning in Model-Based Diagnostic Systems Yoshiyuki Koseki

Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor Edward Rothberg, Anoop Gupta

Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems Rina Dechter, Itay Meiri

Experiments with a Network-Based Geometric Reasoning Engine Robert B. Fisher, Mark J. L. Orr

Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter Leon Sterling, L. Ümit Yalçinalp

Explanation Based Program Transformation Maurice Bruynooghe, Luc De Raedt, Danny De Schreye

Extending Reflective Architectures Timothy M. Lownie

Extending the Constraint Propagation of Intervals Allen C. Ward, Tomás Lozano-Pérez, Warren P. Seering

Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory Anup K. Sen, Amitava Bagchi

Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds Erik Sandewall

Focus of Control Through Goal Relationships Victor R. Lesser, Daniel D. Corkill, Robert Whitehair, J. A. Hernandez

Focusing Attention for Observational Learning: The Importance of Context Joel D. Martin

Formal Properties and Implementation of Bidirectional Charts Giorgio Satta, Oliviero Stock

Functional Representation of Designs and Redesign Problem Solving Ashok K. Goel, B. Chandrasekaran

Generalized Game Trees Richard E. Korf

Generating Better Decision Trees Steven W. Norton

Generating Causal Explanation from a Cardio-Vascular Simulation Sarah A. Douglas, Zheng-Yang Liu

Generating Facts from Opinions with Information Source Models Martin Thost

Generation, Local Receptive Fields and Global Convergence Improve Perceptual Learning in Connectionist Networks Vasant G. Honavar, Leonard Uhr

Goal Ordering in Partially Ordered Plans Mark Drummond, Ken Currie

Hierarchical Genetic Algorithms Operating on Populations of Computer Programs John R. Koza

High-Impact Future Research Directions for Artificial Intelligence Perry W. Thorndyke

How to Represent Opaque Sentences in First Order Logic Bijan Arbab

HUGIN - A Shell for Building Bayesian Belief Universes for Expert Systems Stig K. Andersen, Kristian G. Olesen, Finn Verner Jensen, Frank Jensen

Improving Efficiency by Learning Intermediate Concepts James Wogulis, Pat Langley

Incorporating Redundant Learned Rules: A Preliminary Formal Analysis of EBL Russell Greiner, J. Likuski

Induction in an Abstraction Space: A Form of Constructive Induction George Drastal, Gabor Czako, Stan Raatz

Input Data Management in Real-Time AI Systems Richard Washington, Barbara Hayes-Roth

Integrating Knowledge-Based System and Neural Network Techniques for Robotic Skill Acquisition David Handelman, Stephen H. Lane, Jack Gelfand

Integration of Semantic and Syntactic Constraints for Structural Noun Phrase Disambiguation Stefan Wermter

Intelligent Monitoring and Control Barbara Hayes-Roth, Richard Washington, Rattikorn Hewett, Micheal Hewett, Adam Seiver

Introducing Actions into Qualitative Simulation Kenneth D. Forbus

Knowledge Base Compilation F. D. Highland, Christine T. Iwaskiw

Layering Predictions: Flexible Use of Dialog Expectation in Speech Recognition Sheryl R. Young, Wayne H. Ward, Alexander G. Hauptmann

Lazy ExplanationBased Learning: A Solution to the Intractable Theory Problem Prasad Tadepalli

Learning DNF by Decision Trees Giulia Pagallo

Learning Novel Domains Through Curiosity and Conjecture Paul D. Scott, Shaul Markovitch

Learning Subgoal Sequences for Planning David Ruby, Dennis F. Kibler

Learning to Diagnose by Doing Jayant Kalagnanam, Eswaran Subrahmanian

Lexicon Acquisition: Learning from Corpus by Capitalizing on Lexical Categories Uri Zernik

Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic Xuhua Liu

Logic Programming with General Clauses and Defaults Based on Model Elimination Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva

Managing Efficiently Temporal Relations Through Indexed Spanning Trees Malik Ghallab, A. Mounir Alaoui

Maximum Entropy in Nilsson's Probabilistic Logic Thomas B. Kane

Measure-Free Conditioning, Probability and Non-Monotonic Reasoning Didier Dubois, Henri Prade

Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning About Actions Anand S. Rao, Norman Y. Foo

Minimizing Response Times in Real Time Planning and Search Shashi Shekhar, Soumitra Dutta

Modal Theorem Proving: An Equational Viewpoint Yves Auffray, Patrice Enjalbert

Model-Based Monitoring of Dynamic Systems Daniel Dvorak, Benjamin Kuipers

Motion Planning of Multi-Joint Robotic Arm with Topological Dimension Reduction Method Bo Zhang, Ling Zhang, Tian Zhang

Multi-Dimensional Heuristic Searching Peter C. Nelson, Lawrence J. Henschen

Negative Reasoning Using Inheritance Lin Padgham

Negotiation and Task Sharing Among Autonomous Agents in Cooperative Domains Gilad Zlotkin, Jeffrey S. Rosenschein

Neural Computing on a One Dimensional SIMD Array Stephen S. Wilson

Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning John A. Barnden

Neuroplanners and Their Application to Eyes/Head/Neck Coordination Daryl H. Graf, Wilf R. LaLonde

Node Aggregation for Distributed Inference in Bayesian Networks Kuo-Chu Chang, Robert M. Fung

Noise-Tolerant Conceptual Clustering Douglas H. Fisher

Noise-Tolerant Instance-Based Learning Algorithms David W. Aha, Dennis F. Kibler

Normality and Faults in Logic-Based Diagnosis David Poole

Objective Functions for Feature Discrimination Pascal Fua, Andrew J. Hanson

On Cooperation in a Multi-Entity Model Moshe Tennenholtz, Yoram Moses

On Multi-Layered Connectionist Models: Adding Layers vs. Increasing Width Chung-Jen Ho

On Optimal Game-Tree Search Using Rational Meta-Reasoning Stuart Russell, Eric Wefald

On the Decidability of Formulae Involving Continuous and Closed Functions Domenico Cantone, Eugenio G. Omodeo

On the Declarative Semantics of Inheritance Networks Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren

On the Generalization Capability of Multi-Layered Networks in the Extraction of Speech Properties Renato de Mori, Yoshua Bengio, Piero Cosi

On the Relation Between Autoepistem Ic Logic and Circumscription Kurt Konolige

On the Relation Between Truth Maintenance and Autoepistemic Logic Michael Reinfrank, Oskar Dressler, Gerhard Brewka

On the Road to Automatic Knowledge Engineering Jitu Patel

On the Semantics of Counterfactuals Peter Jackson

On Wu's Method for Proving Constructive Geometric Theorems Dongming Wang

Opportunistic Memory Kristian J. Hammond

Ordering Problem Subgoals Jie Cheng, Keki B. Irani

Outline of a Naive Semantics for Reasoning with Qualitative Linguistic Information Daniel G. Schwartz

Parallel Iterative A* Search: An Admissible Distributed Heuristic Search Algorithm Shie-rei Huang, Larry S. Davis

Partial Constraint Satisfaction Eugene C. Freuder

Perception of Non-Rigid Motion: Inference of Shape, Material and Force Alex Pentland, John Williams

Perturbation Analysis with Qualitative Models Renato de Mori, Robert Prager

Phrasing a Text in Terms the User Can Understand John A. Bateman, Cécile Paris

Platypus: A Constraint-Based Reasoning System William S. Havens, Paul Stephen Rehfuss

Plausible Inferencing Using Extended Composition Michael N. Huhns, Larry M. Stephens

POPEL-HOW: A Distributed Parallel Model for Incremental Natural Language Production with Feedback Wolfgang Finkler, Günter Neumann

Prediction Is Deduction but Explanation Is Abduction Murray Shanahan

Preferred Subtheories: An Extended Logical Framework for Default Reasoning Gerhard Brewka

Preprocessing Search Spaces for Branch and Bound Search Qiang Yang, Dana S. Nau

Principled Constructive Induction Pankaj Mehra, Larry A. Rendell, Benjamin W. Wah

Processes at Discontinuities Patrick J. Hayes, Michael Leyton

Program Derivation Using Analogy Mehdi T. Harandi, Sanjay Bhansali

Qualitative Reasoning of Bayesian Belief Using Meta-Knowledge Bon K. Sy

Rapid Retrieval Algorithms for Case-Based Reasoning Richard H. Stottler, Andrea L. Henke, James A. King

Real-Time AI Systems: A Definition and an Architecture Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering

Reasoning About Assumptions in Graphs of Models Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy

Reasoning About Hidden Mechanisms Richard J. Doyle

Reasoning About Kinematic Topology Boi Faltings, Emmanuel Baechler, J. Primus

Recognizing Unnecessary Inference Dan Benanav

Reconstructive Explanation: Explanation as Complex Problem Solving Michael R. Wick, William B. Thompson

Reducing the Derivation of Redundant Clauses in Reasoning Systems Rolf Socher-Ambrosius

Reference Frames for Animate Vision Dana H. Ballard

Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study Eric Horvitz, Gregory F. Cooper, David Heckerman

Relating the TMS to Autoepistemic Logic Yasushi Fujiwara, Shinichi Honiden

Representation and Hidden Bias II: Eliminating Defining Length Bias in Genetic Search via Shuffle Crossover Rich Caruana, Larry J. Eshelman, J. David Schaffer

Representations of Assembly Sequences Luiz Homem de Mello, Arthur C. Sanderson

Robot Navigation David P. Miller

Rule Creation and Rule Learning Through Environmental Exploration Wei-Min Shen, Herbert A. Simon

Searching Game Trees in Parallel Using SSS Subir Bhattacharya, Amitava Bagchi

Selective Learning of Macro-Operators with Perfect Causality Seiji Yamada, Sabinro Tsuji

Semantic Interpretation Based on the Multi-World Model Katashi Nagao

Semantics of Perspectival Utterances Yasuhiro Katagiri

Simplification and Abstraction of Kinematic Behaviors Leo Joskowicz

Simulating Student Programmers James C. Spohrer, Elliot Soloway

Simulation of Hybrid Circuits in Constraint Logic Programming Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer

Single-Agent Parallel Window Search: A Summary of Results Curt Powley, Richard E. Korf

Skeptical Inheritance: Computing the Intersection of Credulous Extensions Lynn Andrea Stein

Solving Time-Dependent Planning Problems Mark S. Boddy, Thomas L. Dean

Some Experiments in Applying Inductive Inference Principles to Surface Reconstruction Edwin P. D. Pednault

Sometimes Updates Are Circumscription Marianne Winslett

Stochastic Analysis of Qualitative Dynamics Jon Doyle, Elisha Sacks

Storing and Generalizing Multiple Instances While Maintaining Knowledge-Level Parallelism Ronald A. Sumida, Michael G. Dyer

Structuring Computer Generated Proofs Christoph Lingenfelder

Symbols and Subsymbols for Representing Knowledge: A Catalogue Raisonné Marcello Frixione, Giuseppe Spinelli, Salvatore Gaglio

Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements Klaus Nökel

Temporal Projection and Explanation Andrew B. Baker, Matthew L. Ginsberg

Temporally Coarse Representation of Behavior for Model-Based Troubleshooting of Digital Circuits Walter Hamscher

The Challenge of Neural Darwinism Stephen W. Smoliar

The Complexity of Perceptual Search Tasks John K. Tsotsos

The Correction Machine: Formulating Explanations for User Misconceptions Alex Quilici

The Dynamics of Action Selection Pattie Maes

The Effect of Rule Use on the Utility of Explanation-Based Learning Raymond J. Mooney

The ELINT Application on Poligon: The Architecture and Performance of a Concurrent Blackboard System James Rice

The Generation of 'Critical Problems' by Abstract Interpretations of Student Models Rick Evertsz

The Implementation of Expert, Knowledge-Based Systems John K. Debenham

The Logic of Time Structures: Temporal and Nonmonotonic Features Mira Balaban, Neil V. Murray

The Minimum Description Length Principle and Its Application to Online Learning of Handprinted Characters Qiong Gao, Ming Li

The Orders of Magnitude Models as Qualitative Algebras Louise Travé-Massuyès, Núria Piera

The Reason for the Benefits of Minimax Search Anton Scheucher, Hermann Kaindl

The Search Ahead Conflict Resolution for Parallel Firing of Production Systems Chinh-Chi Hsu, Feng-Hsu Wang

The Specialization and Transformation of Constructive Existence Proofs Peter Madden

The Thought Experiment Approach to Qualitative Physics David L. Hibler, Gautam Biswas

The Tractability of Path-Based Inheritance Bart Selman, Hector J. Levesque

Things That Change by Themselves Vladimir Lifschitz, Arkady Rabinov

Three-Dimensional Interpretation of Quadrilaterals Gang Xu, Saburo Tsuji

Time for Action: On the Relation Between Time, Knowledge and Action Yoav Shoham

Towards a General Framework for Composing Disjunctive and Iterative Macro-Operators Peter Shell, Jaime G. Carbonell

Towards a Generic Model of Configuraton Tasks Sanjay Mittal, Felix Frayman

Towards a Theory of Conflict Detection and Resolution in Nonlinear Plans Joachim Hertzberg, Alexander Horz

Towards Finding Optimal Solutions with Non-Admissible Heuristics: A New Technique Henry W. Davis, Anna Bramanti-Gregor, Xiaoteng Chen

Towards Friendly Concept-Learners Luc De Raedt, Maurice Bruynooghe

Training Feedforward Neural Networks Using Genetic Algorithms David J. Montana, Lawrence Davis

Tuning a Knowledge Base of Refinement Rules to Create Good Circuit Designs Chris Tong, Phil Franklin

Uncertainty, Belief, and Probability Ronald Fagin, Joseph Y. Halpern

Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking Nikos Drakos

Unsupervised Learning by Backward Inhibition Tomas Hrycej

Using a Feature Algebra for Reasoning About Geometric Feature Interactions Raghu Karinthi, Dana S. Nau

Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains Steve A. Chien

Using Generic Knowledge in Analysis of Aerial Scenes: A Case Study Andres Huertas, William Cole, Ramakant Nevatia

Using Global Properties for Qualitative Reasoning: A Qualitative System Theory Yoshiteru Ishida

Using Line Correspondence Stereo to Measure Surface Orientation Lawrence B. Wolff, Terrance E. Boult

Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge Shaul Markovitch, Paul D. Scott

Visual Reasoning in Geometry Theorem Proving Michelle Y. Kim

Vivid Knowledge and Tractable Reasoning David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz