IJCAI 1987

244 papers

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems David S. Touretzky, John F. Horty, Richmond H. Thomason

A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule Michael J. Pazzani, Michael G. Dyer

A Computational Model of Referring Douglas E. Appelt, Amichai Kronfeld

A Critic for LISP Gerhard Fischer

A Distributed Approach for Inferring Production Systems Ching-Chi Hsu, Shao-Ming Wu, Jan-Jan Wu

A Formal Approach to Learning from Examples James P. Delgrande

A Formalism and Environment for the Development of a Large Grammar of English Ted Briscoe, Claire Grover, Branimir Boguraev, John A. Carroll

A Framework for Incremental Syntactic Tree Formation Gerard Kempen

A Framework for Representing Tutorial Discourse Beverly P. Woolf, Thomas J. Murray

A General Proof Method for First-Order Modal Logic Peter Jackson, Han Reichgelt

A Goal-Directed Intermediate Level Executive for Image Interpretation Charles A. Kohl, Allen R. Hanson, Edward M. Riseman

A Knowledge Framework for Natural Language Analysis Paul S. Jacobs

A Logic for Representing Default and Prototypical Properties James P. Delgrande

A Logic-Based Architecture for Knowledge Management Damian Black, John Manley

A Logical Approach to Reasoning by Analogy Todd R. Davies, Stuart J. Russell

A Microfeature-Based Scheme for Modelling Semantics Lawrence A. Bookman

A Multi-Attribute Approach to Knowledge Representation for Loan Granting Suzanne Pinson

A Multi-Level Perception Approach to Reading Cursive Script Sargur N. Srihari, Radmilo M. Bozinovic

A Network of Communicating Logic Programs and Its Semantics Susumu Yamasaki

A Parallel Blackboard System for Robot Control Hugo Velthuijsen, Ben J. Lippolt, Jeanette C. Vonk

A Parallel Logic Programming Language for PEPSys Michael Ratcliffe, Jean-Claude Syre

A Parsing System Based on Logic Programming Yuji Matsumoto, Ryôichi Sugimura

A Probabilistic Framework for Resource-Constrained Multi-Agent Planning Nicola Muscettola, Stephen F. Smith

A Quantitative Analysis of Minimal Window Search Alexander Reinefeld, T. Anthony Marsland

A Representation for Natural Category Systems Sandra L. Peters, Stuart C. Shapiro

A Representation Framework for Continuous Dynamic Systems Peter Raulefs

A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface Without Correspondence, for Robotics Applications Anup Basu, Yiannis Aloimonos

A Semantic Expert Using an Online Standard Dictionary Jean-Louis Binot, Karen Jensen

A Semantics for Default Logic David W. Etherington

A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological Zodiac A. Peter Blicher

A Shell for Intelligent Help Systems Joost Breuker, Radboud Winkels, Jacobijn Sandberg

A Theoretical Framework for Consistency Techniques in Logic Programming Pascal Van Hentenryck

A Tool for Building Second Generation Expert Systems Xuejun Tong, Zhijun He, Ruizao Yu

A Uniform Model for Object-Oriented Languages Using the Class Abstraction Jean-Pierre Briot, Pierre Cointe

Amalgamating Multiple Programming Paradigms in PROLOG Yoshiyuki Koseki

An Algebraic Foundation for Truth Maintenance Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav

An Algorithm Which Automatically Constructs Discrimination Graphs in a Visual Knowledge Base Jan A. Mulder

An Analysis of Psychological Experiments on Non-Monotonic Reasoning Edward Hoenkamp

An Environment Model for the Integration of Logic and Functional Programming Pierre E. Bonzon

An Equipment Model and Its Role in the Interpretation of Noun Phrases Tomasz Ksiezyk, Ralph Grishman, John Sterling

An Examination of the Third Stage in the Analogy Process: Verification-Based Analogical Learning Brian Falkenhainer

An Explanation-Based Approach to Generalizing Number Jude W. Shavlik, Gerald DeJong

An Improved Constraint-Propagation Algorithm for Diagnosis Hector Geffner, Judea Pearl

An Incremental Theorem Prover Murray Shanahan

An Integration Tool for Life-Cycle Engineering Kathryn M. Chalfan

An Investigation of Opportunistic Constraint Satisfaction in Space Planning Can A. Baykan, Mark S. Fox

An Optimal Scale for Edge Detection Davi Geiger, Tomaso A. Poggio

Approximation in Mathematical Domains Scott W. Bennett

Artificial 3D Vision Olivier D. Faugeras

Automatic Programming of Machine Vision Systems L. J. de Hass

Belief Functions for Real-Time Script Processing Philip Schaefer

Blackboard-Based Dependency Parsing K. Valkonen, Harri Jäppinen, Aarno Lehtola

Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views Nicholas Ayache, Olivier D. Faugeras

Building Natural Language Interfaces for Rule-Based Expert Systems Galina Datskovsky Moerdler, Kathleen R. McKeown, J. Robert Ensor

CHARADE: A Rule System Learning System Jean-Gabriel Ganascia

Color Algorithms for a General Vision System Glenn Healey, Thomas O. Binford

Combining Bodies of Dependent Information Robert A. Hummel, Larry M. Manevitz

Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum Cécile Paris

Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis Yiming Yang

Combining Sources of Information in Vision I. Computing Shape from Shading and Motion Yiannis Aloimonos

Combining Weak Learning Heuristics in General Problem Solvers Thomas Leo McCluskey

Commonsense Reasoning with Verbs Joyce P. McDowell, Kathleen Dahlgren

Comparative Analysis Daniel S. Weld

Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics Agustin A. Araya, Sanjay Mittal

Complete Inference Rules for the Cancellation Laws Jieh Hsiang, Michaël Rusinowitch, Kô Sakai

Computational Complexity of Hypothesis Assembly Dean Allemang, Michael C. Tanner, Tom Bylander, John R. Josephson

Concepts in Conceptual Clustering Robert E. Stepp

Constraints in a Hybrid Knowledge Representation System Hans W. Guesgen, Ulrich Junker, Angi Voß

Constructive Second-Order Proofs in Logical Databases Michel de Rougemont

Contingency Planning for an Autonomous Land Vehicle Theodore A. Linden, Jay Glicksman

Controlling Constraint Propagation Anne Collinot, Claude Le Pape

Coordination of Action and Perception in a Surveillance Robot James L. Crowley

Creature Design with the Subsumption Architecture Jonathan Connell

CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design David M. Steier

DANTES: An Expert System for Real-Time Network Troubleshooting Robert Mathonet, Herwig Van Cotthem, Leon Vanryckeghem

Deduction-Based Region-Use Planning Robin S. Stanton, Hugh G. Mackenzie

Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation Kôiti Hasida, Syun Isizaki

Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image Sequences John L. Barron, Allan D. Jepson, John K. Tsotsos

Determining Cylindrical Shape from Contour and Shading Minoru Asada

Development of an Expert System for Diagnosing Problems on a Paper Machine Nancy Gardner Margolis

Direct Memory Access Translation Hideto Tomabechi

DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields Yves Kodratoff, Gheorghe Tecuci

Discourse Consistency and Many-Sorted Logic Jean Véronis

Domain Abstraction and Limited Reasoning Tomasz Imielinski

Dominance and Subsumption in Constraint-Posting Planning Michael P. Wellman

Drastic Cut of Man's Work in Reliability Studies by Using an Expert System M. Bouissou, N. Villatte

Duce, an Oracle-Based Approach to Constructive Induction Stephen H. Muggleton

Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG Giorgio Montini

Epistemic Logics, Probability, and the Calculus of Evidence Enrique H. Ruspini

Explaining and Repairing Plans That Fail Kristian J. Hammond

Explanation-Based Generalization in a Logic-Programming Environment Haym Hirsh

Explicit Integration of Goals in Heuristic Algorithm Design Jack Mostow, K. Voigt

Exploiting 2D Topology in Labeling Polyhedral Images Van-Duc Nguyen

Extending Logic Programming to Object Programming: The System Lap Herman Iline, Henry Kanoui

Failsafe - A Floor Planner That Uses EBG to Learn from Its Failures Jack Mostow, Neeraj Bhatnagar

Feature Selection in Colour Images for Token Matching Leonie S. Dreschler-Fischer, Frank Gnutzmann

Feedback as a Coindexing Mechanism in Connectionist Architectures Mark A. Jones

Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile Robot Jean-Paul Laumond

Formal Theories of Action (Preliminary Report) Vladimir Lifschitz

Foundations of Probabilistic Logic H. Guggenheimer, R. S. Freedman

From [r, G, B] to Surface Reflectance: Computing Color Constant Descriptors in Images Ron Gershon, Allan D. Jepson, John K. Tsotsos

From Application Shell to Knowledge Acquisition System Gary S. Kahn

From Early Processing to Conceptual Reasoning: An Attempt to Fill the Gap Giovanni Adorni, Lina Massone, Giulio Sandini, Maurizio Immovilli

Generate, Test and Debug: Combining Associational Rules and Causal Models Reid G. Simmons, Randall Davis

Generating Production Rules from Decision Trees J. Ross Quinlan

GLIMPSE - A Statistical Adventure David E. Wolstenholme, Carl M. O'Brien

Goal Conflict Concerns Marc Luria

Graphical Debugging with the Transparent PROLOG Machine (TPM) Marc Eisenstadt, Mike Brayshaw

Graphical Deep Knowledge for Intelligent Machine Drafting James Geller, Stuart C. Shapiro

Grasp Planning from Human Prehension Thea Iberall

Guiding Constructive Induction for Incremental Learning from Examples Larry Watanabe, Renee Elio

Hardware Diagnosis as Program Debugging Ajay Gupta

Hierarchical Credit Allocation in a Classifier System Stewart W. Wilson

How Can a Program Mean? Donald Perlis

Hypercuboid-Formation Behaviour of Two Learning Algorithms Chris Thornton

Image Reconstruction from Zero-Crossings Su-Shing Chen

Implementing a Model of Human Plausible Reasoning Michelle Baker, Mark H. Burstein, Allan M. Collins

Incremental Interpretation and Combinatory Categorial Grammar Nicholas J. Haddock

Inductive Inference of Context-Free Languages - Context-Free Expression Method Takashi Yokomori

Inductive Inference on the Base of Fixed Point Theory Tamás Gergely, Zoltán Szabó

Inference Without Chaining Alan M. Frisch

Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment Mihai Barbuceanu, Stefan Trausan-Matu, Bálint Molnár

Intelligent Case Selection and Presentation Robert G. Farrell

Intended Models, Circumscription and Commonsense Reasoning Wlodek Zadrozny

Interactive Vocabulary Acquisition in XTRA Cheng-ming Guo

Intonation and the Intentional Structure of Discourse Julia Hirschberg, Diane J. Litman, Janet B. Pierrehumbert, G. Ward

Knowledge Engineering Tools at the Architecture Level Thomas R. Gruber, Paul R. Cohen

Knowledge Preconditions for Actions and Plans Leora Morgenstern

Knowledge Utilization in Handwritten Zip Code Recognition Jonathan J. Hull, Sargur N. Srihari

Knowledge-Based Knowledge Elicitation Joachim Diederich

Language Acquisition: Learning a Hierarchy of Phrases Uri Zernik

Large-Scale Temporal Data Bases for Planning in Complex Domains Thomas Dean

Layered Concept-Learning and Dynamically Variable Bias Management Larry A. Rendell, Raj Sheshu, David K. Tcheng

Learning General Search Control from Outside Guidance Andrew R. Golding, Paul S. Rosenbloom, John E. Laird

Learning Idioms - With and Without Explanation Uri Zernik

Learning in the Limit in a Growing Language Ranan B. Banerji

Learning Phonetic Features Using Connectionist Networks Raymond L. Watrous, Lokendra Shastri

Learning Strategies by Reasoning About Rules D. Paul Benjamin

Local Pragmatics Jerry R. Hobbs, Paul A. Martin

Locating Polyhedral Objects from Edge Point Data Gary Silverman, Roger Y. Tsai, Mark Lavin

Logic Program Derivation for a Class of First Order Logic Relations George Dayantis

Machine Learning for Software Reuse Walter L. Hill

Marker-Passing and Microfeatures James A. Hendler

Matrix Proof Methods for Modal Logics Lincoln A. Wallen

Model Invocation for Three Dimensional Scene Understanding Robert B. Fisher

Modified Caseframe Parsing for Speech Understanding Systems Massimo Poesio, Claudio Rullent

Multiple Agents and the Heuristic Ascription of Belief Yorick Wilks, Afzal Ballim

Multiple Convergence: An Approach to Disjunctive Concept Acquisition K. S. Murray

MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings Steen Andreassen, Marianne Woldbye, Björn Falck, Stig K. Andersen

Naive Mechanics Comprehension and Invention in EDISON Michael G. Dyer, Margot Flowers, Jack Hodges

Network Learning on the Connection Machine Guy E. Blelloch, Charles R. Rosenberg

Network Regions: Alternatives to the Winner-Take-All Structure Hon Wai Chun, Lawrence A. Bookman, Niki Afshartous

Noise and Knowledge Acquisition Michel Manago, Yves Kodratoff

Non-Cumulative Learning in METAXA.3 Werner Emde

Non-Standard Semantics for the Method of Temporal Arguments Brian A. Haugh

Nonmonotonic Logics: Meaning and Utility Yoav Shoham

Object Identification from Parallel Light Stripes Bijan Arbab

Objective Probabilities Henry E. Kyburg Jr.

On Definitional Processes in Knowledge Reconstruction Systems Peter Schefe

On Multi-Level Machines for Continuous Speech Recognition Joseph di Martino

On the Discovery of Mathematical Theorems Susan L. Epstein

On the Operationality/Generality Trade-Off in Explanation-Based Learning Alberto Maria Segre

On the Relation Between Default Theories and Autoepistemic Logic Kurt Konolige

On the Thresholds of Knowledge Douglas B. Lenat, Edward A. Feigenbaum

Optimizing Backtrack Search for All Solutions to Conjunctive Problems K. S. Natarajan

Parallel Inference Machines (Panel) Wolfgang Bibel

Parallel Parsing for Unification Grammars Andrew R. Haas

Parallelism in LISP Michael van Biema

Path Planning Through Time and Space in Dynamic Domains Marc G. Slack, David P. Miller

Pattern Clustering: An Artificial Intelligence Approach B. Shekar, M. Narasimha Murty, G. Krishna

Performance Evaluation of the Inference Structure in Expert System Tao Yang, Zhijun He, Ruizhao Yu

Performance in Practical Problem Solving Leo B. Hartman, Josh D. Tenenberg

PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming Bertram Fronhöfer

Planning and Executing Office Procedures in Project ASPERA M. Cristina Bena, Giorgio Montini, Franco Sirovich

Pointing, Language and the Visual World: Towards Multimodal Input and Output for Natural Language Dialog Systems (Panel) Wolfgang Wahlster

Preserving Consistency Across Abstraction Mappings Josh D. Tenenberg

Probabilistic Information Fusion for Multi-Modal Image Segmentation Paul B. Chou, Christopher M. Brown

Process Recovery Michael Leyton

Program Understanding with the Lambda Calculus Stanley Letovsky

Proving Facts About " " Michael J. Miller, Donald Perlis

Qualitative Kinematics in Mechanisms Boi Faltings

Qualitative Kinematics: A Framework Kenneth D. Forbus, Paul Nielson, Boi Faltings

Qualitative Motion Understanding Wilhelm Burger, Bir Bhanu

Qualitative Reasoning in Electronic Fault Diagnosis Padraig Cunningham

Reasoning with Consistent Probabilities Dimiter Driankov

Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction Hierarchies J. Brian Burns, Leslie J. Kitchen

Recovering Surface Shape from Boundary Gang Xu, Saburo Tsuji

Recovering Three Dimensional Shape from a Single Image of Curved Objects Jitendra Malik

Reflection as a Tool for Integration: An Exercise in Procedural Introspection Robert Ghislanzoni, Luca Spampinato, Giorgio Tornielli

Relating Default Logic and Circumscription David W. Etherington

Repair Strategies in a Diagnostic Expert System Jeff Pepper, Gary S. Kahn

Representation and Interpretation of Determiners in Natural Language Barbara Di Eugenio, Leonardo Lesmo

Representing Space for Practical Reasoning Margaret M. Fleck

RUM: A Layered Architecture for Reasoning with Uncertainty Piero P. Bonissone, Steven S. Gans, Keith Decker

Short Time Periods Patrick J. Hayes, James F. Allen

Significant Feature Detection and Matching in Image Pairs Mark H. Singer

SIS: A Shell for Interview Systems Atsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, Osamu Kakusho

Some Challenges for Intelligent Tutoring Systems Derek H. Sleeman

Spontaneous Retrieval in a Conceptual Information System Lisa F. Rau

Stereo Matching by Hierarchical, Microcanonical Annealing Stephen T. Barnard

Strategies for Learning Search Control Rules: An Explanation-Based Approach Steven Minton, Jaime G. Carbonell

Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving Keki B. Irani, Jie Cheng

Surprisingness and Expectation Failure: What's the Difference? Andrew Ortony, Derek Partridge

Taming Intractible Branching in Qualitative Simulation Benjamin Kuipers, Charles Chiu

Temporal Event Conceptualization Krishna Kumar, Amitabha Mukerjee

The Abstraction/Implementation Model of Problem Reformulation Michael R. Lowry

The Classification, Detection and Handling of Imperfect Theory Problems Shankar A. Rajamoney, Gerald DeJong

The Commercialization of AI: Part 1. the User Viewpoint (Panel) Bruce B. Johnson

The Commercialization of AI: Part 2. the Vendor Viewpoint (Panel) Harry C. Reinstein

The Commercialization of AI: Part 3. the Technology Challenge (Panel) Jan Aikins

The Completeness of a Natural System for Reasoning with Time Intervals Peter B. Ladkin

The Generation of Explanations Within Evidential Reasoning Systems Thomas M. Strat

The Logic of Inheritance in Frame Systems Gerhard Brewka

The Logic of Occurrence Kenneth D. Forbus

The Mixed Approach for Motion Planning: Learning Global Strategies from a Local Planner Bernard Faverjon, Pierre Tournassoud

The New Grammar Formalisms - A Tutorial Survey (Abstract) Gerald Gazdar

The Pipelining Transformation on Plans for Manufacturing Cells with Robots Erik Sandewall

The Preliminary Results of a Mandarin Dictation Machine Based upon Chinese Natural Language Analysis Lin-Shan Lee, Chiu-yu Tseng, Keh-Jiann Chen, James Huang

The Relevance of Irrelevance Devika Subramanian, Michael R. Genesereth

The Universal Parser Architecture for Knowledge-Based Machine Translation Masaru Tomita, Jaime G. Carbonell

The Use of Color in Highlight Identification Ron Gershon, Allan D. Jepson, John K. Tsotsos

The Use of Explanations for Similarity-Based Learning Andrea Pohoreckyj Danyluk

Theorem Proving Under Uncertainty - A Possibility Theory-Based Approach Didier Dubois, Jérôme Lang, Henri Prade

Time Structures for AI Edward P. K. Tsang

TINA: The Sheffeild AIVRU Vision System John Porrill, Stephen Pollard, Tony P. Pridmore, Jonathan B. Bowen, John E. W. Mayhew, John P. Frisby

Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks B. Chandrasekaran

Towards an Integrated Discovery System Bernd Nordhausen, Pat Langley

Towards Continuous Process Supervision Philippe Caloud

Tractable Meta-Reasoning in Propositional Logics of Belief Gerhard Lakemeyer

Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer Paul McKevitt, Yorick Wilks

Trinocular Stereovision: Recent Results Nicholas Ayache, Francis Lustman

Uncertainty and Probability Jane Terry Nutter

Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing Understanding Yasuo Ariki, Masashi Morimoto, Toshiyuki Sakai

Understanding New Metaphors James H. Martin

Understanding System Specifications Written in Natural Language John J. Granacki Jr., Alice C. Parker, Yigal Arens

Universal Plans for Reactive Robots in Unpredictable Environments Marcel Schoppers

Use of Procedural Knowledge for Automatic Speech Recognition Renato de Mori, Ettore Merlo, Mathew J. Palakal, Jean Rouat

Using Partial Global Plans to Coordinate Distributed Problem Solvers Edmund H. Durfee, Victor R. Lesser

Using Prior Learning to Facilitate the Learning of New Causal Theories Michael J. Pazzani, Michael G. Dyer, Margot Flowers

Variables in Hypotheses David Poole

Visual Path Planning by a Mobile Robot Saburo Tsuji, Jiang Yu Zheng

What Is a 'Degenerate' View? John R. Kender, David G. Freudenstein

What's in a Deep Model? a Characterization of Knowledge Depth in Intelligent Safety Systems David Klein, Timothy W. Finin

X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces Hans-Werner Hein, Gert M. Kellerman, Christoph G. Thomas