ML Anthology

IJCAI 1991

192 papers

A Cognitive Model of Figure Segregation Akira Shimaya, Isamu Yoroizawa
PDF
A Correspondence Theory for Terminological Logics: Preliminary Report Klaus Schild
PDF
A Decision-Theoretic Approach to Coordinating Multi-Agent Interactions Piotr J. Gmytrasiewicz, Edmund H. Durfee, David K. Wehe
PDF
A Formal Model for Classical Planning Jens Christensen, Adam J. Grove
PDF
A Formalization of Explanation-Based Macro-Operator Learning Prasad Tadepalli
PDF
A Geometric Approach to Total Envisioning Toyoaki Nishida, Shuji Doshita
PDF
A Hybrid Genetic Algorithm for Classification James D. Kelly Jr., Lawrence Davis
PDF
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver Jean Christophe Madre, Olivier Coudert
PDF
A Macro Actor/Token Implementation of Production Systems on a Data-Mow Multiprocessor Andrea Sohn, Jean-Luc Gaudiot
PDF
A Message Passing Algorithm for Plan Recognition Dekang Lin, Randy Goebel
PDF
A Methodology for Systematic Verification of OPS5-Based AI Applications G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala
PDF
A Model Elimination Calculus for Generalized Clauses Toni Bollinger
PDF
A Model of Decidable Introspective Reasoning with Quantifying-in Gerhard Lakemeyer
PDF
A Model of Events and Processes Periklis Belegrinos, Michael P. Georgeff
PDF
A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1 Sukhamay Kundu
PDF
A Non-Shared Binding Scheme for Parallel Prolog Implementation Kang Zhang, Ray Thomas
PDF
A Parsing Method for Identifying Words in Mandarin Chinese Sentences Liang-Jyh Wang, Tzusheng Pei, Wei-Chuan Li, Lih-Ching R. Huang
PDF
A Pictorial Approach to Object Classification Yerucham Shapira, Shimon Ullman
PDF
A Resolution Method for Temporal Logic Michael Fisher
PDF
A Scheme for Feature Construction and a Comparison of Empirical Methods Der-Shung Yang, Larry A. Rendell, Gunnar Blix
PDF
A Scheme for Integrating Concrete Domains into Concept Languages Franz Baader, Philipp Hanschke
PDF
A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance David S. Touretzky, Richmond H. Thomason, John F. Horty
PDF
A Unified View of Consequence Relation, Belief Revision and Conditional Logic Hirofumi Katsuno, Ken Satoh
PDF
Acquiring Knowledge by Efficient Query Learning Achim G. Hoffmann, Sunil Thakar
PDF
Actions and Movements David J. Israel, John Perry, Syun Tutiya
PDF
Admissible Search Methods for Minimum Penalty Sequencing of Jobs with Setup Times on One and Two Machines Anup K. Sen, Amitava Bagchi, Bani K. Sinha
PDF
AI and Design Saul Amarel, Alvin M. Despain, H. Penny Nii, Louis I. Steinberg, Marty Tenenbaum, Peter M. Will
PDF
AI in Telecommunications Andrew Jennings, Adam E. Irgon, Akira Kurematsu, Greg Vessonder, Jon R. Wright
PDF
An Architecture for Visualizing the Execution of Parallel Logic Programs Mike Brayshaw
PDF
An Augmented EBL and Its Application to the Utility Problem Masayuki Yamamura, Shigenobu Kobayashi
PDF
An Efficient Arc Consistency Algorithm for a Class of CSP Problems Yves Deville, Pascal Van Hentenryck
PDF
An Endorsement-Based Approach to Student Modeling for Planner-Controlled Tutors William R. Murray
PDF
An Environment for Experimentation with Parsing Strategies Gregor Erbach
PDF
An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms Colin J. H. McDiarmid, Gregory M. Provan
PDF
An Inference Rule for Hypothesis Generation Robert Demolombe, Luis Fariñas del Cerro
PDF
An Interactive Visual Language for Term Subsumption Languages Brian R. Gaines
PDF
An MFIS for Computing a Raw Cognitive mAP Wai K. Yeap, Margaret E. Jefferies, P. S. Naylor
PDF
Analyzing Images Containing Multiple Sparse Patterns with Neural Networks Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka
PDF
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics Anand S. Rao, Michael P. Georgeff
PDF
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles Franz Baader
PDF
Bayesian Classification with Correlation and Inheritance Robin Hanson, John C. Stutz, Peter C. Cheeseman
PDF
Bottleneck Identification Using Process Chronologies Eric Biefeld, Lynne P. Cooper
PDF
CABOT: An Adaptive Approach to Case-Based Search James P. Callan, Tom Fawcett, Edwina L. Rissland
PDF
Characterizing Belief with Minimum Commitment Yen-Teh Hsia
PDF
Circumscribing Defaults Zhaogang Qian, Keki B. Irani
PDF
Circumscription and Definability Yves Moinard, Raymond Rolland
PDF
Classifiers: A Theoretical and Empirical Study Wray L. Buntine
PDF
Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems Ulf Söderman, Jan-Erik Strömberg
PDF
Combining Stereo and Monocular Information to Compute Dense Depth Maps That Preserve Depth Discontinuities Pascal Fua
PDF
Commitment and Effectiveness of Situated Agents David Kinny, Michael P. Georgeff
PDF
Commitment Strategies in Planning: A Comparative Analysis Steven Minton, John L. Bresina, Mark Drummond
PDF
Commonsense Entailment: A Modal Theory of Non-Monotonic Reasoning Nicholas Asher, Michael Morreau
PDF
Communication and Inference Through Situations Hideyuki Nakashima, Stanley Peters, Hinrich Schütze
PDF
Compiling Integrity Checking into Update Procedures Mark Wallace
PDF
Complexity Results for Planning Tom Bylander
PDF
Composing Real-Time Systems Stuart J. Russell, Shlomo Zilberstein
PDF
Computational and Physical Causality Jan L. Top, Hans Akkermans
PDF
Concept Formation over Explanations and Problem-Solving Experience Jungsoon P. Yoo, Douglas H. Fisher
PDF
Confirmations and Joint Action Philip R. Cohen, Hector J. Levesque
PDF
Consequence-Finding Based on Ordered Linear Resolution Katsumi Inoue
PDF
Consolution and Its Relation with Resolution Elmar Eder
PDF
Constraints on Tree Structure in Concept Formation Kathleen B. McKusick, Pat Langley
PDF
Constructive Tightly Grounded Autoepistemic Reasoning Ilkka Niemelä
PDF
Contexts for Nonmonotonic RMSes Jérôme Euzenat
PDF
Contextual Negations and Reasoning with Contradictions Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques
PDF
Cooperative Hybrid Systems Matthias Gutknecht, Rolf Pfeifer, Markus Stolze
PDF
Coordinated Morphological and Syntactic Analysis of Japanese Language Tsunenori Mine, Rin-Ichiro Taniguchi, Makoto Amamiya
PDF
Derivation Procedures for Extended Stable Models Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
PDF
Determinate Literals in Inductive Logic Programming J. Ross Quinlan
PDF
Determining Robot Egomotion from Motion Parallax Observed by an Active Camera Matthew J. Barth, Hiroshi Ishiguro, Saburo Tsuji
PDF
Diagnosing Temporal Misbehavior Gerhard Friedrich, Franz Lackinger
PDF
Directed Constraint Networks: A Relational Framework for Causal Modeling Rina Dechter, Judea Pearl
PDF
Effects of Parallelism on Blackboard System Scheduling Keith Decker, Alan Garvey, Marty Humphrey, Victor R. Lesser
PDF
Efficient Representation of Linguistic Knowledge for Continuous Speech Understanding Paolo Baggia, Elisabetta Gerbino, Egidio P. Giachin, Claudio Rullent
PDF
Emergent Frame Recognition and Its Use in Artificial Creatures Luc Steels
PDF
Empirical Bias for Version Space Jacques Nicolas
PDF
Evidential Probability Henry E. Kyburg Jr.
PDF
Ex Contradictione Nihil Sequitur Gerd Wagner
PDF
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces Feng Zhao
PDF
FGP: A Virtual Machine for Acquiring Knowledge from Cases Scott Fertig, David Gelernter
PDF
Fitting Semantics for Conditional Term Rewriting Chilukuri K. Mohan
PDF
Flexible Matching for Noisy Structural Descriptions Floriana Esposito, Donato Malerba, Giovanni Semeraro
PDF
Formalizing and Using Persistency Thomas Guckenbiehl
PDF
Generalised Inference and Inferential Modelling Raymond E. Jennings, Christine W. Chan, M. J. Dowad
PDF
Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects Edwin P. D. Pednault
PDF
Generalizing Term Subsumption Languages to Fuzzy Logic John Yen
PDF
Generating Integrated Interpretation of Partial Information Based on Distributed Qualitative Reasoning Takashi Nishiyama, Osamu Katai, Sosuke Iwai, Tetsuo Sawaragi, Hiroshi Masuichi
PDF
High Performance Natural Language Processing on Semantic Network Array Processor Hiroaki Kitano, Dan I. Moldovan, Seungho Cha
PDF
High-Performance A\ast Search Using Rapidly Growing Heuristics Stephen V. Chenoweth, Henry W. Davis
PDF
Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations Tony Plate
PDF
How Situated Is Cognition? Jacobijn Sandberg, Bob J. Wielinga
PDF
How to Prove Higher Order Theorems in First Order Logic Manfred Kerber
PDF
HyperBF Networks for Real Object Recognition Roberto Brunelli, Tomaso A. Poggio
PDF
In Defense of Hyper-Logicist AI Selmer Bringsjord, Michael Zenzen
PDF
Inaccessible Worlds and Irrelevance: Preliminary Report Craig Boutilier
PDF
Incomplete Information and Deception in Multi-Agent Negotiation Gilad Zlotkin, Jeffrey S. Rosenschein
PDF
Incremental Syntactic and Semantic Processing Esther König
PDF
Indefinite Reasoning with Definite Rules L. Thorne McCarty, Ron van der Meyden
PDF
Index Transformation Techniques for Facilitating Creative Use of Multiple Cases Katia P. Sycara, Dundee Navinchandra
PDF
Inductive Learning from Good Examples Charles X. Ling
PDF
Input Generalization in Delayed Reinforcement Learning: An Algorithm and Performance Comparisons David Chapman, Leslie Pack Kaelbling
PDF
Integrating Model-Based Monitoring and Diagnosis of Complex Dynamic Systems Franz Lackinger, Wolfgang Nejdl
PDF
Integrating Reaction Plans and Layered Competences Through Synchronous Control R. Peter Bonasso
PDF
Integration of Neural Networks and Expert Systems for Process Fault Diagnosis Warren R. Becraft, Peter L. Lee, Robert B. Newell
PDF
Integration-Kid: A Learning Companion System Tak-Wai Chan
PDF
Intelligence Without Reason Rodney A. Brooks
PDF
Intelligent Assistance Through Collaborative Manipulation Loren G. Terveen, David A. Wroblewski, Steven N. Tighe
PDF
Interpretation of Definite Noun Phrases Liliana Ardissono, Leonardo Lesmo, Paolo Pogliano, Paolo Terenziani
PDF
Learning Admissible Heuristics While Solving Problems Anna Bramanti-Gregor, Henry W. Davis
PDF
Learning Concept Classification Rules Using Genetic Algorithms Kenneth A. De Jong, William M. Spears
PDF
Learning Nested Concept Classes with Limited Storage David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan
PDF
Learning Structural Decision Trees from Examples Larry Watanabe, Larry A. Rendell
PDF
Learning to Classify Observed Motor Behavior Wayne Iba
PDF
Learning with a Helpful Teacher Steven Salzberg, Arthur L. Delcher, David G. Heath, Simon Kasif
Line Labeling and Junction Labeling: A Coupled System for Image Interpretation Terry Regier
PDF
Localized Search for Multiagent Planning Amy L. Lansky
PDF
Logic and Feature Structures Mark Johnson
PDF
Logic Programing in Artificial Intelligence Robert A. Kowalski
PDF
Machine Discovery of Effective Admissible Heuristics Armand Prieditis
PDF
Massively Parallel Artificial Intelligence Hiroaki Kitano, James A. Hendler, Tetsuya Higuchi, Dan I. Moldovan, David L. Waltz
PDF
Massively Parallel Memory-Based Parsing Hiroaki Kitano, Tetsuya Higuchi
PDF
Measuring and Improving the Effectiveness of Representations Russell Greiner, Charles Elkan
PDF
Mobile Robot Navigation by an Active Control of the Vision System Patrick Stelmaszyk, Hiroshi Ishiguro, Saburo Tsuji
PDF
Modal Interpretations of Default Logic Miroslaw Truszczynski
PDF
Modelling Experiments in Scientific Discovery Peter C.-H. Cheng
PDF
Moving Target Search Toru Ishida, Richard E. Korf
PDF
Multiple Approaches to Multiple Agent Problem Solving James A. Hendler, Daniel G. Bobrow, Les Gasser, Carl Hewitt, Marvin Minsky
PDF
Natural Language and Exploration of an Information Space: The ALFresco Interactive System Oliviero Stock
PDF
Natural Object Recognition: A Theoretical Framework and Its Implementation Thomas M. Strat, Martin A. Fischler
PDF
Negotiations over Time in a Multi-Agent Environment: Preliminary Report Sarit Kraus, Jonathan Wilkenfeld
PDF
Nonmonotonic Databases and Epistemic Queries Vladimir Lifschitz
PDF
On a Tool for Reasoning with Mass Distributions Rudolf Kruse, Erhard Schwecke, Frank Klawonn
PDF
On Seeing Spaghetti: A Novel Self-Adjusting Seven Parameter Hough Space for Analyzing Flexible Extruded Objects John R. Kender, Rick Kjeldsen
PDF
On Semantics of TMS Xianchang Wang, Huowang Chen
PDF
On Supporting Associative Access and Processing over Dynamic Knowledge Bases Ian N. Robinson
PDF
On the Feasibility of Distributed Constraint Satisfaction Zeev Collin, Rina Dechter, Shmuel Katz
PDF
Ordering-Based Strategies for Horn Clauses Nachum Dershowitz
PDF
Organizational Issues Arising from the Integration of the Lexicon and Concept Network in a Text Understanding System Padraig Cunningham, Tony Veale
PDF
Overprvning Large Decision Trees Jason Catlett
PDF
Parallel Distributed Belief Networks That Learn Wilson X. Wen, Andrew Jennings
PDF
Parallel Non-Binary Planning in Polynomial Time Christer Bäckström, Inger Klein
PDF
Parameter Structures for Parametrized Modal Operators Hans Jürgen Ohlbach, Andreas Herzig
PDF
Parsing = Parsimonious Covering? (Abduction in Logical Form Generation) Venu Dasigi
PDF
Performance Comparison of Models for Multiple Rule Firing Steve Kuo, Dan I. Moldovan
PDF
Plan Debugging in an Intentional System Gregg Collins, Lawrence Birnbaum, Bruce Krulwich, Michael Freed
PDF
Planning Robot Control Parameter Values with Qualitative Reasoning Stephen F. Peters, Shigeoki Hirai, Toru Omata, Tomomasa Sato
PDF
Possibilistic Logic, Preferential Models, Non-Monotonicity and Related Issues Didier Dubois, Henri Prade
PDF
POST: Using Probabilities in Language Processing Marie Meteer, Richard M. Schwartz, Ralph M. Weischedel
PDF
Prioritized Defaults: Implementation by TMS and Application to Diagnosis Ulrich Junker
PDF
Programming in Autoepistemic Logic Kienchung Kuo
PDF
Proof Transformation with Built-in Equality Predicate Christoph Lingenfelder, Axel Präcklein
PDF
Propagation of Preference Relations in Qualitative Inference Networks S. K. Michael Wong, Pawan Lingras, Yiyu Yao
PDF
Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks Gadi Pinkas
PDF
Qualitative Model Evolution Alen Varsek
PDF
Quantitative Evaluation of Explanation-Based Learning as an Optimisation Tool for a Large-Scale Natural Language System Christer Samuelsson, Manny Rayner
PDF
Query Answering in Circumscription Nicolas Helft, Katsumi Inoue, David Poole
PDF
Reasoning About Student Knowledge and Reasoning Luigia Carlucci Aiello, Maria Cialdea, Daniele Nardi
PDF
Reasoning of Geometric Concepts Based on Algebraic Constraint-Directed Method Hitoshi Iba, Hirochika Inoue
PDF
Reasoning Visually About Spatial Interactions N. Hari Narayanan, B. Chandrasekaran
PDF
Reduced Complexity Rule Induction Sholom M. Weiss, Nitin Indurkhya
PDF
Refinement Strategies for Inductive Leaming of Simple Prolog Programs Marc Kirschenbaum, Leon Sterling
PDF
Reflective Reasoning with and Between a Declarative Metatheory and the Implementation Code Fausto Giunchiglia, Paolo Traverso
PDF
Reified Temporal Theories and How to Unreify Them Antony Galton
PDF
Representing Diagnostic Knowledge for Probabilistic Horn Abduction David Poole
PDF
Resolving Plan Ambiguity for Cooperative Response Generation Peter van Beek, Robin Cohen
PDF
Semantic Model for Induction of First Order Theories Céline Rouveirol
PDF
Shading-Based Two-View Matching Michel A. Audette, Paul R. Cohen, Juyang Weng
PDF
Solving "How to Clear a Block" with Constructive Matching Methodology Marta Franová, Yves Kodratoff
PDF
The Automated Analysis of Rule-Based Systems, Based on Their Procedural Semantics Rick Evertsz
PDF
The Base Selection Task in Analogical Planning Diane J. Cook
PDF
The Downward Refinement Property Fahiem Bacchus, Qiang Yang
PDF
The Hybrid Phenomena Theory Erling A. Woods
PDF
The Implications of Paraconsistency John K. Slaney
PDF
The Incomplete Database Karen L. Kwast
PDF
The Philosophy of Automated Theorem Proving Francis Jeffry Pelletier
PDF
The Problem of Induction and Machine Learning Francesco Bergadano
PDF
The Re-Use of Linguistic Resources Across Languages in Multilingual Generation Components John A. Bateman, Christian Matthiessen, Keizo Nanri, Licheng Zeng
PDF
The Role of Chess in Artificial Intelligence Research Robert Levinson, Feng-Hsiung Hsu, T. Anthony Marsland, Jonathan Schaeffer, David E. Wilkins
PDF
The Utility of Feature Construcuon for Back-Propagation Harish Ragavan, Selwyn Piramuthu
PDF
Theoretical Underpinnings of Version Spaces Haym Hirsh
PDF
Towards a Formal Theory of Communication for Multi-Agent Systems Munindar P. Singh
PDF
Towards a Model of Grounded Concept Formation Stefan Wrobel
PDF
Tractable Concept Languages Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
PDF
UMRAO: A Chess Endgame Tutor Dinesh Gadwal, Jim E. Greer, Gordon I. McCalla
PDF
Using Aspiration Windows for Minimax Algorithms Reza Shams, Hermann Kaindl, Helmut Horacek
PDF
Using Pattern-Action Rules for the Generation of GPSG Structures from MT-Oriented Semantics Stephan Busemann
PDF
Visual Interpretation of Lambertian Surface Deformation R. Mike Cameron-Jones
PDF
Weak Equivalence for Constraint Sets Sieger van Denneheuvel, Karen L. Kwast
PDF
When Oscillators Stop Oscillating Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert
PDF
Where the Really Hard Problems Are Peter C. Cheeseman, Bob Kanefsky, William M. Taylor
PDF
X2MORF: A Morphological Component Based on Augmented Two-Level Morphology Harald Trost
PDF
Your Metaphor or Mine: Belief Ascription and Metaphor Interpretation Yorick Wilks, John A. Barnden, Jin Wang
PDF