ML Anthology

IJCAI 1993

240 papers

A Class Library Implementation of a Principled Open Architecture Knowledge Representation Server with Plug-in Data Types Brian R. Gaines
PDF
A Coincidence Detection Network for Spatio-Temporal Coding: Application to Nominal Composition Christian Jacquemin
A Collaboration Mechanism on Positive Interactions in Multi-Agent Environments Kei Matsubayashi, Mario Tokoro
PDF
A Comprehensive and Practical Model of Memory-Based Machine Translation Hiroaki Kitano
A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition Lokendra Shastri
PDF
A Domain Theory for Task Oriented Negotiation Gilad Zlotkin, Jeffrey S. Rosenschein
PDF
A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis Gautam Biswas, Xudong Yu
A Language for Implementing Arbitrary Logics Mark Tarver
PDF
A Metalogic Programming Approach to Reasoning About Time in Knowledge Bases Suryanarayana M. Sripada
PDF
A Methodology for Evaluating Theory Revision Systems: Results with Audrey II James Wogulis, Michael J. Pazzani
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems Anand S. Rao, Michael P. Georgeff
PDF
A Multi-Dimensional Terminological Knowledge Representation Language Hans Jürgen Ohlbach
PDF
A New Algorithm for Incremental Prime Implicate Generation Teow-Hin Ngair
PDF
A New Logical Framework for Deductive Planning Werner Stephan, Susanne Biundo
PDF
A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems Antoni Ligeza
PDF
A Parameterised Module System for Constructing Typed Logic Programs Patricia M. Hill
PDF
A Representationalist Theory of Intention Kurt Konolige, Martha E. Pollack
PDF
A Scheme for Agent Collaboration in Open Multiagent Environments Eiichi Osawa
PDF
A Stochastic Approach to Qualitative Simulation Using Markov Processes Wilfried Grossmann, Hannes Werthner
A Symbolic Model for Learning the Past-Tenses of English Verbs Charles X. Ling, Steven Cherwenka, Marin Marinov
A Terminological Logic with Defaults: A Definition and an Application Lin Padgham, Tingting Zhang
PDF
A Theory of Clausal Discovery Luc De Raedt, Maurice Bruynooghe
PDF
A Tractable Class of Abduction Problems Kave Eshghi
PDF
Abduction and Dynamic Preference in Plan-Based Dialogue Understanding Katashi Nagao
Abstraction via Approximate Symmetry Thomas Ellman
PDF
Action Representation and Purpose: Re-Evaluating the Foundations of Computational Vision Michael J. Black, Yiannis Aloimonos, Christopher M. Brown, Ian Horswill, Jitendra Malik, Giulio Sandini, Michael J. Tarr
Active Color Image Analysis for Recognizing Shadows Gareth Funka-Lea, Ruzena Bajcsy
Agents Habitats and Routine Behavior Richard Alterman, Roland Zito-Wolf
PDF
AI Adventures Worth Writing Home About Miroslav Benda
PDF
AI Models as a Variety of Psychological Explanation Kieron O'Hara, Nigel Shadbolt
PDF
AI Multimedia and Education Roger C. Schank, Glorianna Davenport, P. Ghislandi, James C. Spohrer, Kathleen Wilson
ALEPS: The Automated Logistics Element Planning System Rodney S. Daughtrey, David Michael Brady
All They Know: A Study in Multi-Agent Autoepistemic Reasoning Gerhard Lakemeyer
PDF
An Abductive Framework for General Logic Programs and Other Nonmonotonic Systems Gerhard Brewka, Kurt Konolige
PDF
An Analytic Learning System for Specializing Heuristics Steven Minton
PDF
An Approach to Analyzing the Need for Meta-Level Communication Keith Decker, Victor R. Lesser
PDF
An Inductive Approach to Learning Search Control Rules for Planning Christopher Leckie, Ingrid Zukerman
An Interactive System to Learn Functional Logic Programs Francesco Bergadano, Daniele Gunetti
PDF
An Uncertainty Model of Stereo Vision and Its Application to Vision-Motion Planning of Robot Jun Miura, Yoshiaki Shirai
ANTLIMA - A Listener Model with Mental Images Jörg R. J. Schirra, Eva Stopp
PDF
Anytime Sensing Planning and Action: A Practical Model for Robot Control Shlomo Zilberstein, Stuart Russell
Approximating Maximum-Entropy Ratings for Evidential Parsing and Semantic Interpretation Dekai Wu
Are Many Reactive Agents Better than a Few Deliberative Ones? Kevin Knight
PDF
Artificial Thought and Emergent Mind Ivan M. Havel
PDF
Automated Trend Detection with Alternate Temporal Hypotheses Ira J. Haimowitz, Isaac S. Kohane
PDF
Automatic Case Analysis in Proof by Induction Adel Bouhoula, Michaël Rusinowitch
PDF
Automatic Documentation Generation: The Rnteraction of Text and Examples Vibhu O. Mittal, Cécile Paris
Automatic Generation of Some Results in Finite Algebra Masayuki Fujita, John K. Slaney, Frank Bennett
PDF
Average-Case Analysis of a Nearest Neighbor Algorithm Pat Langley, Wayne Iba
PDF
Average-Case Analysis of a Search Algorithm for Estimating Prior and Posterior Probabilities in Bayesian Networks with Extreme Probabilities David Poole
PDF
Avoiding Pitfalls When Learning Recursive Theories R. Mike Cameron-Jones, J. Ross Quinlan
Belief Revision and Updates in Numerical Formalisms: An Overview, with New Results for the Possibilistic Framework Didier Dubois, Henri Prade
PDF
Bidirectional Best-First Search with Bounded Error: Summary of Results Andreas L. Köll, Hermann Kaindl
PDF
Bottom-up Abduction by Model Generation Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima
PDF
Case Retrieval Through Multiple Indexing and Heuristic Search Edwina L. Rissland, David B. Skalak, M. Timur Friedman
PDF
Characterizing and Automatically Finding Primary Effects in Planning Eugene Fink, Qiang Yang
Characterizing Subgoal Interactions for Planning Anthony Barrett, Daniel S. Weld
Classification Networks: A Knowledge Representation Scheme for Curriculum Prescription Kwok-Keung Yum, Thomas J. Richards
PDF
Collaborative Plans for Group Activities Barbara J. Grosz, Sarit Kraus
PDF
Combining FOIL and EBG to Speed-up Logic Programs John M. Zelle, Raymond J. Mooney
Combining Induction Axioms by Machine Christoph Walther
PDF
Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA Alexander Reinefeld
PDF
Complex Concept Acquisition Through Directed Search and Feature Caching Harish Ragavan, Larry A. Rendell, Michael J. Shaw, Antoinette Tessmer
PDF
Complexity Results for SAS+ Planning Christer Bäckström, Bernhard Nebel
Compositional Model-Based Design Prasanta K. Bose, Shankar A. Rajamoney
Computer-Aided Creative Mechanism Design Boi Faltings, Kun Sun
PDF
Computers and Thought Award : Challenges of Massive Parallelism Hiroaki Kitano
PDF
Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL Béchir el Ayeb, Shengrui Wang
Conceptual Design and Artificial Intelligence Devika Subramanian
PDF
Conditional Causal Logic: A Formal Theory of the Meaning Generating Processes in a Cognitive System Pierre Basso
PDF
Connections Between the ATMS and AGM Belief Revision Simon Dixon, Norman Y. Foo
PDF
Consenting Agents: Negotiation Mechanisms for Multi-Agent Systems Jeffrey S. Rosenschein
PDF
Consistency Techniques for Numeric CSPs Olivier Lhomme
PDF
Constraint Based Automatic Construction and Manipulation of Geometric Figures Richard Allen, Jeanne Idt, Laurent Trilling
PDF
Constructive Inductive Logic Programming Stephane Lapointe, Charles X. Ling, Stan Matwin
Cooperation Between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5 Ricardo Caferra, Stéphane Demri
PDF
Critical Reasoning Olivier Raiman, Johan de Kleer, Vijay A. Saraswat
PDF
Curb Your Theory! a Circumspective Approach for Inclusive Interpretation of Disjunctive Information Thomas Eiter, Georg Gottlob, Yuri Gurevich
PDF
Decidable Reasoning in Terminological Knowledge Representation Systems Martin Buchheit, Francesco M. Donini, Andrea Schaerf
PDF
Decision Trees in Numerical Attribute Spaces Thierry Van de Merckt
Decision-Theoretic Salience Interactions in Language Generation T. Pattabhiraman, Nick Cercone
Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics Umberto Straccia
PDF
Deriving Properties of Belief Update from Theories of Action (II) Alvaro del Val, Yoav Shoham
PDF
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum
PDF
Diagnosis of Communicating Systems: Dealing with Incompleteness and Uncertainty Marc Riese
Diagnosis Process Dynamics: Holding the Diagnostic Trackhound in Leash Claudia Böttcher, Oskar Dressler
Dialogue Cohesion Sharing and Adjusting in an Enhanced Multimodal Environment Massimo Zancanaro, Oliviero Stock, Carlo Strapparava
Difference Unification David A. Basin, Toby Walsh
PDF
Domain Filtering Can Degrade Intelligent Backtracking Search Patrick Prosser
PDF
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems Bart Selman, Henry A. Kautz
PDF
Dynamic Conflict Resolution in a Connectionist Rule-Based System Clayton McMillan, Michael Mozer, Paul Smolensky
Dynamic Memories: Analysis of an Integrated Comprehension and Episodic Memory Retrieval Model Trent E. Lange, Charles M. Wharton
PDF
Dynamic Trajectory Planning Path-Velocity Decomposition and Adjacent Paths Thierry Fraichard, Christian Laugier
Efficient Pruning Methods for Separate-and-Conquer Rule Learning Systems William W. Cohen
Efficient Temporal Reasoning Through Timegraphs Alfonso Gerevini, Lenhart K. Schubert
PDF
Elements of a Utilitarian Theory of Knowledge and Action Piotr J. Gmytrasiewicz, Edmund H. Durfee
PDF
Enhancing Performance of Cooperating Agents in Real-Time Diagnostic Systems Ursula M. Schwuttke, Alan G. Quan
PDF
Epistemic Extension of Propositional Preference Logics Jacques Wainer
PDF
Estimating the Accuracy of Learned Concepts Timothy L. Bailey, Charles Elkan
PDF
Evolutionary Learning Strategy Using Bug-Based Search Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato
PDF
Example-Based Machine Translation on Massively Parallel Processors Eiichiro Sumita, Kozo Oi, Osamu Furuse, Hitoshi Iida, Tetsuya Higuchi, Naoto Takahashi, Hiroaki Kitano
Expert System Validation Through Knowledge Base Refinement Pedro Meseguer
PDF
Explanation in the Situation Calculus Murray Shanahan
PDF
Exploiting Domain Structure to Achieve Efficient Temporal Reasoning Mike Williamson, Steve Hanks
PDF
Exploiting Interchangeabilities in Constraint-Satisfaction Problems Alois Haselböck
PDF
Exploiting Irrelevance Reasoning to Guide Problem Solving Alon Y. Levy, Yehoshua Sagiv
PDF
Extending the Resolution Method with Sorts Christoph Weidenbach
PDF
FASTUS: A Finite-State Processor for Information Extraction from Real-World Text Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Mabry Tyson
First-Order Modal Logic Theorem Proving and Functional Simulation Andreas Nonnengart
PDF
Focusing Construction and Selection of Abductive Hypotheses David B. Leake
PDF
For an Incremental Computation of Intrasentential Coreference Paola Merlo
Fuzzy Causal Simulation in Process Engineering Kouamana Bousson, Louise Travé-Massuyès
Fuzzy Logic and AI John Yen, Piero P. Bonissone, Didier Dubois, Christian Freksa, Ramón López de Mántaras, Enrique H. Ruspini, Lotfi A. Zadeh
Generalization of the Dempster-Shafer Theory J. W. Guan, David A. Bell
PDF
Generating Concise Discourse That Addresses a Users Inferences Ingrid Zukerman, Richard McConachy
Genetic State-Space Search for Constrained Optimization Problems Jan Paredis
PDF
Goal-Directed Diagnosis-Diagnostic Reasoning in Exploratory-Corrective Domains Ron Rymon
PDF
Grand Challenge AI Applications Hiroaki Kitano, Walther von Hahn, Lawrence Hunter, Ryuichi Oka, Benjamin W. Wah, Toshio Yokoi
Heuristically Expanding Knowledge-Based Neural Networks David W. Opitz, Jude W. Shavlik
Homing Using Combinations of Model Views Ronen Basri, Ehud Rivlin
How Things Are Intended to Work: Capturing Functional Knowledge in Device Design Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Chandrasekaran
How to Prefer More Specific Defaults in Terminological Default Logic Franz Baader, Bernhard Hollunder
PDF
HYDRA: A Noise-Tolerant Relational Concept Learning Algorithm Kamal M. Ali, Michael J. Pazzani
PDF
Hypothetically Speaking Default Reasoning and Discourse-Structure Andrew Csinger, David Poole
Improving the Design of Induction Methods by Analyzing Algorithm Functionality and Data-Based Concept Complexity Larry A. Rendell, Harish Ragavan
PDF
Inconsistency Management and Prioritized Syntax-Based Entailment Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade
PDF
Incorporating Syntactic Constraints in Recognizing Handwritten Sentences Rohini K. Srihari, Charlotte M. Baltus
Induction of Oblique Decision Trees David G. Heath, Simon Kasif, Steven Salzberg
Informedness vs. Computational Cost of Heuristics in Iterative Repair Scheduling Monte Zweben, Eugene Davis, Brian Daun, Michael Deale
Instructions: Language and Behavior Bonnie L. Webber, Barbara J. Grosz, Shigeoki Hirai, Thomas Rist, Donia Scott
Integrating Inductive Neural Network Learning and Explanation-Based Learning Sebastian Thrun, Tom M. Mitchell
PDF
Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: The Case of "When Sentences" Paolo Terenziani
Interpretation as Exception Minimization Joachim Quantz
Joint Utterance: Intrasentential Speaker/Hearer Switch as an Emergent Phenomenon Kôiti Hasida, Katashi Nagao, Takashi Miyata
Learning Decision Lists over Tree Patterns and Its Application Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga
Learning Finite Automata Using Local Distinguishing Experiments Wei-Mein Shen
Learning of Resource Allocation Strategies for Game Playing Shaul Markovitch, Yaron Sella
PDF
Learning to Achieve Goals Leslie Pack Kaelbling
Learning to Coordinate Actions in Multi-Agent-Systems Gerhard Weiss
PDF
Learning to Represent Codons: A Challenge Problem for Constructive Induction Mark W. Craven, Jude W. Shavlik
Liveness and Fairness Properties in Multi-Agent Systems Hans-Dieter Burkhard
PDF
Logical Specification of Real-Time Granular Systems in an Object Oriented Language Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto
PDF
Machine-Generated Explanations of Engineering Models: A Compositional Modeling Approach Thomas R. Gruber, Patrice O. Gautier
Making Cognitive mAP of Outdoor Environment Saburo Tsuji, Shigang Li
mAP Validation and Self-Location in a Graph-like World Gregory Dudek, Michael R. M. Jenkin, Evangelos E. Milios, David Wilkes
Massively Parallel Support for Efficient Knowledge Representation Matthew P. Evett, William A. Andersen, James A. Hendler
Meeting the Interlocking Needs of LF-Computation Deindexing and Inference: An Organic Approach to General NLU Chung Hee Hwang, Lenhart K. Schubert
Memory-Based Navigation Bruno Crespi, Cesare Furlanello, Luigi Stringa
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs Luca Console, Gerhard Friedrich, Daniele Theseider Dupré
More Notes on "a Clash of Intuitions" Raad Al-Asady, A. Narayanan
PDF
Multi-Agent Planning as a Dynamic Search for Social Consensus Eithan Ephrati, Jeffrey S. Rosenschein
PDF
Multi-Interval Discretization of Continuous-Valued Attributes for Classification Learning Usama M. Fayyad, Keki B. Irani
PDF
Multiple Predicate Learning Luc De Raedt, Nada Lavrac, Saso Dzeroski
PDF
Non-Omniscient Belief as Context-Based Resoning Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione
PDF
Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems Anup K. Sen, Amitava Bagchi
Nonmonotonic Model Inference-a Formalization of Student Modeling Mitsuru Ikeda, Yasuyuki Kono, Riichiro Mizoguchi
PDF
Notes on Formalizing Context John McCarthy
PDF
Off-Line Reasoning for On-Line Efficiency Yoram Moses, Moshe Tennenholtz
PDF
On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning and Logic Programming Phan Minh Dung
PDF
On the Hardness of Approximate Reasoning Dan Roth
PDF
On the Polynomial Transparency of Resolution Reinhold Letz
PDF
On the Semantics of Supernormal Defaults Stefan Brass
PDF
On the Utility of Systematicity: Understanding Tradeoffs Between Redundancy and Commitment in Partial-Ordering Planning Subbarao Kambhampati
Optimistic Parallel Biscrete Relaxation Kinson Ho, Paul N. Hilfinger, Hans W. Guesgen
PDF
Optimizing the Costs and Benefits of Natural Language Generation Ehud Reiter, Chris Mellish
Orientation and Qualitative Angle for Spatial Reasoning Longin Jan Latecki, Ralf Röhrig
Oz - A Programming Language for Multi-Agent Systems Martin Henz, Gert Smolka, Jörg Würtz
PDF
Path Consistency in a Network of Non-Convex Intervals Robert A. Morris, William D. Shoaff, Lina Khatib
PDF
Perception and Experience in Problem Solving Edmund Furse, Rod Nicolson
PDF
PHI - A Logic-Based Tool for Intelligent Help Systems Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
PDF
Plan Modification Versus Plan Generation: A Complexity-Theoretic Perspective Bernhard Nebel, Jana Koehler
Planning Using Multiple Execution Architectures Gary H. Ogasawara, Stuart Russell
Preference-Based Semantics for Nonmonotonic Logics Frans Voorbraak
PDF
Preferences for Model Selection in Explanation Daniel D. Suthers
Prioritising Behaviours in Qualitative Simulation Roy Leitch, Qiang Shen
Process Control by an Expert System at the Grandpuits Refinery F. Hartmann
Provably Bounded Optimal Agents Stuart J. Russell, Devika Subramanian, Ronald Parr
PDF
Proving Theorems in a Multi-Source Environment Laurence Cholvy
PDF
Qualitative Modeling of RNA Structure Kyungsook Han, Andrew Gelsey
Qualitative Recognition of Ongoing Human Action Sequences Yasuo Kuniyoshi, Hirochika Inoue
QUALTES: A Domain Specific Tool for Electric Power Stations Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano
Quantifying Beliefs by Belief Functions: An Axiomatic Justification Philippe Smets
PDF
Reaction-First Search Mark Drummond, Keith Swanson, John L. Bresina, Richard Levinson
Reasoning About Persistence: A Theory of Actions Yan Zhang, Norman Y. Foo
PDF
Recognizing 3-D Motion Cornelia Fermüller, Yiannis Aloimonos
Recurrent Neural Networks for Sequence Production Joachim Diederich, Markus Wasserschaff
Reducing Ambiguity by Learning Assembly Specific Behaviour Bert Bredeweg, Cis Schut
PDF
Representing Concurrent Actions in Extended Logic Programming Chitta Baral, Michael Gelfond
PDF
Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Base Systems Hideo Shimazu, Hiroaki Kitano, Akihiro Shibata
PDF
Revision Sequences and Nested Conditionals Craig Boutilier
PDF
Rule-Based Regression Sholom M. Weiss, Nitin Indurkhya
Rule-Structured Facial Animation System Catherine Pelachaud, Marie-Luce Viaud, Hussein M. Yahia
PDF
Satisfiability of Boolean Formulas over Linear Constraints Henri Beringer, Bruno De Backer
PDF
SCOTT: A Model-Guided Theorem Prover John K. Slaney
PDF
Second Order Measures for Uncertainty Processing Zdenek Zdráhal
PDF
Selective Attention in Dynamic Vision Richard J. Howarth, Hilary Buxton
Semantical and Computational Aspects of Horn Approximations Marco Cadoli
PDF
Sequence Extrapolation Philip D. Laird, Ronald Saul
Situation Recognition: Representation and Algorithms Christophe Dousson, Paul Gaborit, Malik Ghallab
PDF
SMART+: A Multi-Strategy Learning Tool Marco Botta, Attilio Giordana
PDF
Social Knowledge and Social Action: Heterogeneity in Practice Les Gasser
PDF
Solving Geometric Constraint Satisfaction Problems for Spatial Planning Franck du Verdier
Soundness and Completeness Theorems for Three Formalizations of Action G. Neelakantan Kartha
PDF
Source Code Informal Information Analysis Using Connectionist Models Ettore Merlo, Ian McAdam, Renato de Mori
Spatial Reasoning and Connectionist Inference Antje Beringer, Steffen Hölldobler, Franz J. Kurfess
Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools Henrik Eriksson
PDF
Spoken Language Translation System Gen-ichiro Kikui, Mark Seligman, Toshiyuki Takezawa, Masami Suzuki, Kenji Kita, Tsuyoshi Morimoto, Masaaki Nagata, Toshihisa Tashiro, Herbert S. Tropf, Shigeki Sagayama, Jun-ichi Takami, Kazumi Ohkura, Akira Kurematsu
Statistical Foundations for Default Reasoning Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
PDF
Structure and Rules in Automated Multimedia Presentation Planning Yigal Arens, Eduard H. Hovy, Susanne van Mulken
Symbolic Reasoning with Relative Orders of Magnitude Philippe Dague
Symbolic Revision of Theories with M-of-N Rules Paul T. Baffes, Raymond J. Mooney
Syntactic Characterizations of Belief Change Operators Alvaro del Val
PDF
TDIS : An Algebraic Formalization Jean-Gabriel Ganascia
TELECOM and AI: The Emperors New Clothes? Franz Barachini, Fumio Hattori, Georg Pauthner, Werner Remmele, Gregg T. Vesonder
Tense and Aspect: A Mereological Approach Enrico Franconi, Alessandra Giorgi, Fabio Pianesi
Test Case Generation Using KBS Strategy Laurence Vignollet, Ruddy Lelouche
PDF
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions Thomas Eiter, Georg Gottlob
PDF
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics Robert Dionne, Eric Mays, Frank J. Oles
PDF
The Intelligent Hand: An Experimental Approach to Human Object Recognition and Implications for Robotic Design Susan J. Lederman
PDF
The Logic of Cognitive Action Johan van Benthem
PDF
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic Georg Gottlob
PDF
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem Erik Sandewall
PDF
The Statistical Learning of Accurate Heuristics Anna Bramanti-Gregor, Henry W. Davis
The Use of Geons for Generic 3D Object Recognition Sven J. Dickinson, Robert Bergevin, Irving Biederman, Jan-Olof Eklundh, Roger Munck-Fairwood, Alex Pentland
Theory Diagnoses: A Concise Characterization of Faulty Systems Gerhard Friedrich
PDF
Toward Flexible Intelligence: MITI's New Program of Real World Computing Nobuyuki Otsu
PDF
Towards an Integrated Logic of Space, Time and Motion Antony Galton
TREE: The Heuristic Driven Join Strategy of a RETE-like Matcher Jacques Bouaud
PDF
Understanding Spoken Natural Language with Omni-Directional Information Flow Katashi Nagao, Kôiti Hasida, Takashi Miyata
Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents Susan E. Lander, Victor R. Lesser
PDF
Using Classification as a Programming Language Chris Mellish, Ehud Reiter
PDF
Using Device Models to Facilitate the Retrieval of Multimedia Design Information Catherine Baudin, Jody Gevins Underwood, Vinod Baya
Using Inferred Disjunctive Constraints to Decompose Constraint Satisfaction Problems Eugene C. Freuder, Paul D. Hubbe
PDF
Using Local Information in a Non-Local Way for Mapping Graph-like Worlds Gregory Dudek, Paul Freedman, Souad Hadjres
Using the Affective Reasoner to Support Social Simulations Clark Elliott
PDF
Verbal Case Frame Acquisition from Bilingual Corpora Takehito Utsuro, Yuji Matsumoto, Makoto Nagao
Vision Based Robot Behavior: Tools and Testbeds for Real-World AI Research Hirochika Inoue
PDF
W - A Logic System Based on the Shared Common Knowledge Views Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li
PDF
When Functional and Bijective Constraints Make a CSP Polynomial Philippe David
PDF
Why AC-3 Is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs Richard J. Wallace
PDF