ML Anthology

IJCAI 1995

278 papers

A Case-Based Approach to Knowledge Navigation Kristian J. Hammond, Robin D. Burke, Steven L. Lytinen
PDF
A Causal Theory of Ramifications and Qualifications Norman McCain, Hudson Turner
PDF
A Critical Look at Critics in HTN Planning Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto
PDF
A Dependency-Based Method for Evaluating Broad-Coverage Parsers Dekang Lin
PDF
A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems Wolfgang Nejdl, Peter Fröhlich, Michael Schroeder
PDF
A Genetic Prototype Learner Sandip Sen, Leslie Knight
PDF
A Hybrid Fuzzy-Neural Expert System for Diagnosis Christoph S. Herrmann
PDF
A Hybrid Rule-Based System: How Variables Are Involved in Connectionist Rule-Based Systems Fukumi Kozato
PDF
A Logic for Acting, Sensing and Planning Paolo Traverso, Luca Spalazzi
PDF
A Logical Account of Relevance Gerhard Lakemeyer
PDF
A Methodology for Proving Termination of General Logic Programs Elena Marchiori
PDF
A Microfeature Based Approach Towards Metaphor Interpretation Ron Sun
PDF
A Model for Hormonal Modulation of Learning Hiroaki Kitano
PDF
A Model of Analogy-Driven Proof-Plan Construction Erica Melis
PDF
A Novelty Detection Approach to Classification Nathalie Japkowicz, Catherine Myers, Mark A. Gluck
PDF
A Philosophical Encounter Aaron Sloman
PDF
A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation Steven Reece, Hugh F. Durrant-Whyte
PDF
A Qualitative Discretization for Two-Body Contacts Amitabha Mukerjee, Manish Agarwal, Praveen Bhatia
PDF
A Reinforcement Learning Approach to Job-Shop Scheduling Wei Zhang, Thomas G. Dietterich
PDF
A Semantic Theory of Abstractions P. Pandurang Nayak, Alon Y. Levy
PDF
A Simple Formalization of Actions Using Circumscription G. Neelakantan Kartha, Vladimir Lifschitz
PDF
A Sound and Fast Goal Recognizer Neal Lesh, Oren Etzioni
PDF
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection Ron Kohavi
PDF
A Support Tool for Writing Multilingual Instructions Cécile Paris, Keith Vander Linden, Markus Fischer, Anthony Hartley, Lyn Pemberton, Richard Power, Donia Scott
PDF
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling Philippe Baptiste, Claude Le Pape
PDF
A Theoretical Evaluation of Selected Backtracking Algorithms Grzegorz Kondrak, Peter van Beek
PDF
A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics John O. Everett
PDF
A WordNet-Based Algorithm for Word Sense Disambiguation Xiaobin Li, Stan Szpakowicz, Stan Matwin
PDF
Abductive Framework for Nonmonotonic Theory Change Katsumi Inoue, Chiaki Sakama
PDF
Abstraction by Interchangeability in Resource Allocation Berthe Y. Choueiry, Boi Faltings, Rainer Weigel
PDF
Action and Perception in Man-Made Environments Daniel D. Fu, Kristian J. Hammond, Michael J. Swain
PDF
Active Agent Oriented Multimodal Interface System Osamu Hasegawa, Katsunobu Itou, Takio Kurita, Satoru Hayamizu, Kazuyo Tanaka, Kazuhiko Yamamoto, Nobuyuki Otsu
PDF
Adaptable Planner Primitives for Real-World Robotic Applications Robert W. Wisniewski, Christopher M. Brown
PDF
Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques Anthony Jameson, Ralph Schäfer, Joep Simons, Thomas Weis
PDF
Admissible Pruning Strategies Based on Plan Minimality for Plan-Space Planning Subbarao Kambhampati
PDF
Advances of the DBLearn System for Knowledge Discovery in Large Databases Jiawei Han, Yongjian Fu, Simon Tang
PDF
Agents on Stage: Advancing the State of the Art of AI Barbara Hayes-Roth
PDF
AI Planning Versus Manufacturing-Operation Planning: A Case Study Dana S. Nau, Satyandra K. Gupta, William C. Regli
PDF
AILP: Abductive Inductive Logic Programming Hilde Adé, Marc Denecker
PDF
Allowed Arguments Michael Morreau
PDF
An Algebraic Approach to Granularity in Qualitative Time and Space Representation Jérôme Euzenat
PDF
An Analysis of Approximate Knowledge Compilation Alvaro del Val
PDF
An Architecture for Vision and Action R. James Firby, Roger E. Kahn, Peter N. Prokopowicz, Michael J. Swain
PDF
An Efficient Algorithm for Surface Generation Christer Samuelsson
PDF
Analogy in the Large Kenneth B. Haase
PDF
Anaphors, PPs and Disambiguation Process for Conceptual Analysis Saliha Azzam
PDF
Animate Vision in a Rich Environment Tomas Uhlin, Jan-Olof Eklundh
PDF
Approximating Optimal Policies for Partially Observable Stochastic Domains Ronald Parr, Stuart Russell
PDF
Automatic Thesaurus Construction Based on Grammatical Relations Takenobu Tokunaga, Makoto Iwayama, Hozumi Tanaka
PDF
Belief Revision, Revised Daniel Lehmann
PDF
Best-First Fixed-Depth Game-Tree Search in Practice Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin
PDF
Biologically Inspired Defenses Against Computer Viruses Jeffrey O. Kephart, Gregory B. Sorkin, William C. Arnold, David M. Chess, Gerald Tesauro, Steve R. White
PDF
Building Theories into Instantiation Alan M. Frisch, C. David Page Jr.
PDF
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic Leendert W. N. van der Torre, Yao-Hua Tan
PDF
Case-Based Modeling with Qualitative Indices Bradley L. Richards, Boi Faltings, Peter Duxbury-Smith
PDF
Category Translation: Learning to Understand Information on the Internet Mike Perkowitz, Oren Etzioni
PDF
Coalition Formation Among Bounded Rational Agents Tuomas Sandholm, Victor R. Lesser
PDF
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks Richard Maclin, Jude W. Shavlik
PDF
Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner Raghavan Srinivasan, Adele E. Howe
PDF
Composition in Hierarchical CLP Michael Jampel, Sebastian Hunt
PDF
Computer-Aided Creative Mechanism Design Boi Faltings, Kun Sun
PDF
Computing Circumscription Revisited: Preliminary Report Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
PDF
Computing Ramifications by Postprocessing Michael Thielscher
PDF
Constrained and Rational Default Logics Artur Mikitiuk, Miroslaw Truszczynski
PDF
Constraint Satisfaction as Global Optimization Pedro Meseguer, Javier Larrosa
PDF
Constraint Solving over Semirings Stefano Bistarelli, Ugo Montanari, Francesca Rossi
PDF
Constructing Nominal X-of-N Attributes Zijian Zheng
PDF
Control Structures for Incorporating Picture-Specific Context in Image Interpretation Rajiv Chopra, Rohini K. Srihari
PDF
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs Henrik Boström
PDF
CRYSTAL: Inducing a Conceptual Dictionary Stephen Soderland, David Fisher, Jonathan Aseltine, Wendy G. Lehnert
PDF
Deadline Compliance, Predictability, and On-Line Optimization in Real-Time Problem Solving Babak Hamidzadeh, Shashi Shekhar
PDF
Decomposition Techniques for Planning in Stochastic Domains Thomas Dean, Shieu-Hong Lin
PDF
Default-Reasoning with Models Roni Khardon, Dan Roth
PDF
Dependency Relationship Based Decision Combination in Multiple Classifier Systems Hee-Joong Kang, Jin Hyung Kim
PDF
Dependent Fluents Enrico Giunchiglia, Vladimir Lifschitz
PDF
Deriving Multi-Agent Coordination Through Filtering Strategies Eithan Ephrati, Martha E. Pollack, Sigalit Ur
PDF
Description Logic in Practice: A CLASSIC Application Deborah L. McGuinness, Lori Alperin Resnick, Charles Lee Isbell Jr.
PDF
Determining Explanations Using Transmutations Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims
PDF
Determining the Loci of Anomalies Using Minimal Causal Models Richard J. Doyle
PDF
Determining What to Learn Through Component-Task Modeling Bruce Krulwich, Lawrence Birnbaum, Gregg Collins
PDF
Device Representation and Reasoning with Affective Relations James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
PDF
Diagnosing Tree-Decomposable Circuits Yousri El Fattah, Rina Dechter
PDF
Dialogue Actions for Natural Language Interfaces Arne Jönsson
PDF
Discourse as a Knowledge Resource for Sentence Disambiguation Tetsuya Nasukawa, Naohiko Uramoto
PDF
Dynamic Semantics for Tense and Aspect Mark Steedman
PDF
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases Vinay K. Chaudhri, John Mylopoulos
PDF
Efficient Parameterizable Type Expansion for Typed Feature Formalisms Hans-Ulrich Krieger, Ulrich Schäfer
PDF
Embracing Causality in Specifying the Indirect Effects of Actions Fangzhen Lin
PDF
Equality Elimination for the Inverse Method and Extension Procedures Anatoli Degtyarev, Andrei Voronkov
PDF
Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems Tuomas Sandholm, Victor R. Lesser
PDF
Expected Solution Quality John L. Bresina, Mark Drummond, Keith Swanson
PDF
Experimenting with Revisits in Game Tree Search Subir Bhattacharya
PDF
Experiments with Associative-Commutative Discrimination Nets Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin
PDF
Explaining Subsumption in Description Logics Deborah L. McGuinness, Alexander Borgida
PDF
Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration Herbert A. Simon
PDF
Exploiting Structure in Policy Construction Craig Boutilier, Richard Dearden, Moisés Goldszmidt
PDF
Extending Classical Planning to Real-World Execution with Machine Learning Gerald DeJong, Scott W. Bennett
PDF
Extending Semantic Resolution via Automated Model Building: Applications Ricardo Caferra, Nicolas Peltier
PDF
Extracting Constraint Satisfaction Subproblems Eugene C. Freuder, Paul D. Hubbe
PDF
Fast Planning Through Planning Graph Analysis Avrim Blum, Merrick L. Furst
PDF
FBRL: A Function and Behavior Representation Language Munehiko Sasajima, Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi
PDF
Filling Knowledge Gaps in a Broad-Coverage Machine Translation System Kevin Knight, Ishwar Chander, Matthew Haines, Vasileios Hatzivassiloglou, Eduard H. Hovy, Masayo Iida, Steve K. Luk, Richard Whitney, Kenji Yamada
PDF
Fitting Models to Distributed Representations of Vision Sourabh A. Niyogi
PDF
Flexible Social Laws Will Briggs, Diane J. Cook
PDF
Flexibly Exploiting Prior Knowledge in Empirical Learning Julio Ortega, Douglas Fisher
PDF
Forgetting and Compacting Data in Concept Learning Gunther Sablon, Luc De Raedt
PDF
Formalizing Behavior-Based Planning for Nonholonomic Robots Vikram Manikonda, James A. Hendler, P. S. Krishnaprasad
PDF
From Approximate to Optimal Solutions: A Case Study of Number Partitioning Richard E. Korf
PDF
Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program John R. Koza
PDF
Generalized Update: Belief Change in Dynamic Settings Craig Boutilier
PDF
Generalizing Inconsistency Learning for Constraint Satisfaction Eugene C. Freuder, Richard J. Wallace
PDF
Generating and Solving Imperfect Information Games Daphne Koller, Avi Pfeffer
PDF
Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions Koichi Kurumatani
PDF
Generating Discourse Across Several User Models: Maximizing Belief While Avoiding Boredom and Overload Ingrid Zukerman, Richard McConachy
PDF
Generating Explanatory Captions for Information Graphics Vibhu O. Mittal, Steven F. Roth, Johanna D. Moore, Joe Mattis, Giuseppe Carenini
PDF
Generating Information-Sharing Subdialogues in Expert-User Consultation Jennifer Chu-Carroll, Sandra Carberry
PDF
GR2: A Hybrid Knowledge-Based System Using General Rules Zhe Ma, Robert F. Harrison, R. Lee Kennedy
PDF
GRASPER: A Permissive Planning Robot Scott W. Bennett, Gerald DeJong
PDF
GSAT and Local Consistency Kalev Kask, Rina Dechter
PDF
Hierarchical Bayesian Clustering for Automatic Text Classification Makoto Iwayama, Takenobu Tokunaga
PDF
Hierarchical Plan Merging with Application to Process Planning J. M. Britanik, Michael M. Marefat
PDF
History-Based Interpretation of Finite Element Simulations of Seismic Wave Fields Ulrich Junker, Bertrand Braunschweig
PDF
How to Infer from Inconsisent Beliefs Without Revising? Salem Benferhat, Didier Dubois, Henri Prade
PDF
How to Progress a Database II: The STRIPS Connection Fangzhen Lin, Raymond Reiter
PDF
How to Use Limited Memory in Heuristic Search Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana
PDF
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification Jerzy W. Bala, Jeffrey Huang, Haleh Vafaie, Kenneth A. De Jong, Harry Wechsler
PDF
Ignorant Influence Diagrams Marco Ramoni
PDF
Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination Fei Song, Robin Cohen
PDF
Improving System Performance in Case-Based Iterative Optimization Through Knowledge Filtering Kazuo Miyashita, Katia P. Sycara
PDF
Increasing Functional Constraints Need to Be Checked Only Once Bing Liu
PDF
Inductive Logic Programming: Inverse Resolution and Beyond Stephen H. Muggleton
PDF
Integrating Gricean and Attentional Constraints Rebecca J. Passonneau
PDF
Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs Osamu Imaichi, Yuji Matsumoto
PDF
Inter-Diagrammatic Reasoning Michael Anderson, Robert McCartney
PDF
Intermediate Decision Trees Lawrence B. Holder
PDF
IRV: Learning to Integrate Visual Information Across Camera Movements Peter N. Prokopowicz, Paul R. Cooper
PDF
Iterated Theory Base Change: A Computational Model Mary-Anne Williams
PDF
K-Best: A New Method for Real-Time Decision Making Joseph C. Pemberton
PDF
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine Andreas Turk, Günther Görz
PDF
Knowledge Compilation Using Theory Prime Implicates Pierre Marquis
PDF
Knowledge Considerations in Robotics and Distribution of Robotic Tasks Ronen I. Brafman, Yoav Shoham
PDF
Knowledge Representation in the Large Peter D. Karp, Suzanne M. Paley
PDF
Knowledge-Based Anytime Computation Abdel-Illah Mouaddib, Shlomo Zilberstein
PDF
Learning Distributed Representations for the Classification of Terms Alessandro Sperduti, Antonina Starita, Christoph Goller
PDF
Learning One More Thing Sebastian Thrun, Tom M. Mitchell
PDF
Learning to Reason: The Non-Monotonic Case Dan Roth
PDF
Learning University Mathematics Edmund Furse
PDF
Letizia: An Agent That Assists Web Browsing Henry Lieberman
PDF
Limited Discrepancy Search William D. Harvey, Matthew L. Ginsberg
PDF
Local Learning in Probabilistic Networks with Hidden Variables Stuart Russell, John Binder, Daphne Koller, Keiji Kanazawa
PDF
Logic Programming for Robot Control David Poole
PDF
Look-Ahead Value Ordering for Constraint Satisfaction Problems Daniel Frost, Rina Dechter
PDF
Lookahead and Pathology in Decision Tree Induction Sreerama K. Murthy, Steven Salzberg
PDF
Matchmaking for Information Agents Daniel Kuokka, Larry Harada
PDF
Minimum Cross-Entropy Reasoning: A Statistical Justification Manfred Jaeger
PDF
Model Elimination, Logic Programming and Computing Answers Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
PDF
Model-Based Diagnosis Using Causal Networks Adnan Darwiche
PDF
Modeling Interactive Agents in ALIVE Pattie Maes, Bruce Blumberg, Trevor Darrell, Alex Pentland, Alan Wexelblat
PDF
Modeling Living Systems for Computer Vision Demetri Terzopoulos
PDF
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta
PDF
Models and Algorithms for Probabilistic and Bayesian Logic Pierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé, Marcus Poggi de Aragão
PDF
Motion Sketch: Acquisition of Visual Motion Guided Behaviors Takayuki Nakamura, Minoru Asada
PDF
Multiple Perspective Interactive Video Arun Katkere, Don Y. Kuramura, Saied Moezzi, Patrick H. Kelly, Deborah Swanberg, Koji Wakimoto, Edward Hunter, Li-Cheng Tai, Shankar Chatterjee, Ramesh C. Jain
PDF
Multiresolution Instance-Based Learning Kan Deng, Andrew W. Moore
PDF
MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception Creve Maples, Craig Peterson
PDF
Natural Basis Functions and Topographic Memory for Face Recognition Rajesh P. N. Rao, Dana H. Ballard
PDF
No Faults in Structure? How to Diagnose Hidden Interactions Claudia Böttcher
PDF
Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems Marcos Vescovi, Adam Farquhar, Yumi Iwasaki
PDF
Oblivious Decision Trees, Graphs, and Top-Down Pruning Ron Kohavi, Chia-Hsin Li
PDF
On Biases in Estimating Multi-Valued Attributes Igor Kononenko
PDF
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents Alexander Bochman
PDF
On Bootstrapping Local Search with Trail-Markers Pang C. Chen
PDF
On Decision-Theoretic Foundations for Defaults Ronen I. Brafman, Nir Friedman
PDF
On Heuristic Reasoning, Reactivity, and Search Susan L. Epstein
PDF
On Specificity in Default Logic Jussi Rintanen
PDF
On the Complexity of Extending Ground Resolution with Symmetry Rules Thierry Boy de la Tour, Stéphane Demri
PDF
On the Relation Between Argumentation and Non-Monotonic Coherence-Based Entailment Claudette Cayrol
PDF
On the Representation of Nonmontonic Relations in the Theory of Evidence Ronald R. Yager
PDF
On the Space-Time Trade-Off in Solving Constraint Satisfaction Problems Roberto J. Bayardo Jr., Daniel P. Miranker
PDF
Optimizing Decision Quality with Contract Algorithms Shlomo Zilberstein
PDF
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF Anselm Blocher, Jörg R. J. Schirra
PDF
Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism Kunio Kashino, Kazuhiro Nakadai, Tomoyoshi Kinoshita, Hidehiko Tanaka
PDF
Oversearching and Layered Search in Empirical Learning J. Ross Quinlan, R. Mike Cameron-Jones
PDF
PeopleFinder: A Multimodal Multimedia Communications Tool for Interconnecting Office Staff Innes A. Ferguson, James D. Davlouros
PDF
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas Byungki Cha, Kazuo Iwama
PDF
Planning Under Uncertainty: Some Key Issues Gregg Collins, Louise Pryor
PDF
Planning with Abstraction Hierarchies Can Be Exponentially Less Efficient Christer Bäckström, Peter Jonsson
PDF
Planning with Primary Effects: Experiments and Analysis Eugene Fink, Qiang Yang
PDF
Planning with Sharable Resource Constraints Philippe Laborie, Malik Ghallab
PDF
Planning, Executing, Sensing, and Replanning for Information Gathering Craig A. Knoblock
PDF
Possibilistic Temporal Reasoning Based on Fuzzy Temporal Constraints Lluís Godo, Lluís Vila
PDF
Possibility Theory as a Basis for Qualitative Decision Theory Didier Dubois, Henri Prade
PDF
Practical PAC Learning Dale Schuurmans, Russell Greiner
PDF
Probabilistic Robot Navigation in Partially Observable Environments Reid G. Simmons, Sven Koenig
PDF
Process-Oriented Planning and Average-Reward Optimality Craig Boutilier, Martin L. Puterman
PDF
Profiling Communication in Distributed Genetic Algorithms Jonathan Maresky, Yuval Davidor, Daniel Gitler, Gad Aharoni, Amnon Barak
PDF
Proposing Measurements in Dynamic Systems Johann Gamper, Wolfgang Nejdl
PDF
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence Qi Zhao, Toyoaki Nishida
PDF
Qualitative Structural Analysis Using Diagrammatic Reasoning Shirley Tessler, Yumi Iwasaki, Kincho H. Law
PDF
Rationality and Intelligence Stuart Russell
PDF
Real-Time Search in Non-Deterministic Domains Sven Koenig, Reid G. Simmons
PDF
Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report Witold Lukaszewicz, Ewa Madalinska-Bugaj
PDF
Reasoning About Actions: Non-Deterministic Effects, Constraints, and Qualification Chitta Baral
PDF
Reasoning About Fluid Motion I: Finding Structures Kenneth Yip
PDF
Reasoning About Noisy Sensors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
PDF
Recovering Problem-Solving Activities from Query Messages Yoshihiko Hayashi
PDF
Relating Belief Revision and Circumscription Paolo Liberatore, Marco Schaerf
PDF
Relational Rippling: A General Approach Alan Bundy, Vincent Lombart
PDF
Remembering to Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems Barry Smyth, Mark T. Keane
PDF
Representation Dependence in Probabilistic Inference Joseph Y. Halpern, Daphne Koller
PDF
Representations for Active Vision Cornelia Fermüller, Yiannis Aloimonos
PDF
RESC: An Approach for Real-Time, Dynamic Agent Tracking Milind Tambe, Paul S. Rosenbloom
PDF
Residue-Driven Architecture for Computational Auditory Scene Analysis Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata
PDF
Revealing Collection Structure Through Information Access Interfaces Marti A. Hearst, Jan O. Pedersen
PDF
Robotic Perception of Material Eric Krotkov
PDF
Rule Induction and Instance-Based Learning: A Unified Approach Pedro M. Domingos
PDF
Scaling up Self-Explanatory Simulators: Polynomial-Time Compilation Kenneth D. Forbus, Brian Falkenhainer
PDF
Scope and Abstraction: Two Criteria for Localized Planning Amy L. Lansky, Lise Getoor
PDF
Second-Order Matching Modulo Evaluation: A Technique for Reusing Proofs Thomas Kolbe, Christoph Walther
PDF
Selecting Tense, Aspect, and Connecting Words in Language Generation Bonnie J. Dorr, Terry Gaasterland
PDF
Self-Organization of Symbolic Processes Through Interaction with the Physical World Jun Tani
PDF
SEM: A System for Enumerating Models Jian Zhang, Hantao Zhang
PDF
Semantic Inference in Natural Language: Validating a Tractable Approach Marc B. Vilain
PDF
Semantics and Complexity of Abduction from Default Theories Thomas Eiter, Georg Gottlob, Nicola Leone
PDF
Situated Verbal Interaction in Virtual Design and Assembly Yong Cao, Bernhard Jung, Ipke Wachsmuth
PDF
SKICAT: Sky Image Cataloging and Analysis Tool Usama M. Fayyad
PDF
Social Dilemmas in Computational Ecosystems Tad Hogg
PDF
Sound and Efficient Non-Monotonic Inference Hector Geffner, Jimena Llopis, Gisela Mendez
PDF
Sparse Constraint Graphs and Exceptionally Hard Problems Barbara M. Smith, Stuart A. Grant
PDF
Specificity and Inheritance in Default Reasoning Sek-Wah Tan, Judea Pearl
PDF
Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora Dekai Wu
PDF
Stochastic Search and Phase Transitions: AI Meets Physics Bart Selman
PDF
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes Karl Branting, David W. Aha
PDF
Syntactic Conditional Closures for Defeasible Reasoning James P. Delgrande
PDF
Synthesizing Plant Controllers Using Real-Time Goals Michel Barbeau, Froduald Kabanza, Richard St-Denis
PDF
Systematic Versus Stochastic Constraint Satisfaction Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang
PDF
Task Allocation via Coalition Formation Among Autonomous Agents Onn Shehory, Sarit Kraus
PDF
Terminological Logics with Modal Operators Franz Baader, Armin Laux
PDF
The Automatic Programming of Agents That Learn Mental Models and Create Simple Plans of Action David Andre
PDF
The BATmobile: Towards a Bayesian Automated Taxi Jeff Forbes, Timothy Huang, Keiji Kanazawa, Stuart Russell
PDF
The Canonical Decomposition of a Weighted Belief Philippe Smets
PDF
The Comparative Linguistics of Knowledge Representation Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman
PDF
The Complexity of Theory Revision Russell Greiner
PDF
The Focussed D* Algorithm for Real-Time Replanning Anthony Stentz
PDF
The Generic Frame Protocol Peter D. Karp, Karen L. Myers, Thomas R. Gruber
PDF
The Logic of Dynamic Systems Michael Thielscher
PDF
The Rationality and Decidability of Fuzzy Implications Xiaochun Cheng, Yunfei Jiang, Xuhua Liu
PDF
The Semantics of Intention Maintenance for Rational Agents Michael P. Georgeff, Anand S. Rao
PDF
The Trailblazer Search with a Hierarchical Abstract mAP Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro
PDF
The Use of Knowledge Preconditions in Language Processing Karen E. Lochbaum
PDF
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability Nobuhiro Yugami
PDF
Topological Inference Michelangelo Grigni, Dimitris Papadias, Christos H. Papadimitriou
PDF
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology Nicholas Asher, Laure Vieu
PDF
Towards Action Prediction Using a Mental-Level Model Ronen I. Brafman, Moshe Tennenholtz
PDF
Towards Efficient Default Reasoning Ilkka Niemelä
PDF
Trading Off the Costs of Inference vs. Probing in Diagnosis Johan de Kleer, Olivier Raiman
PDF
Turing Test Considered Harmful Patrick J. Hayes, Kenneth M. Ford
PDF
Ubiquitous Talker: Spoken Language Interaction with Real World Objects Katashi Nagao, Jun Rekimoto
PDF
Understanding Neural Networks via Rule Extraction Rudy Setiono, Huan Liu
PDF
Unification-Based Glossing Vasileios Hatzivassiloglou, Kevin Knight
PDF
Unique Normal Forms and Confluence of Rewrite Systems: Persistence Rakesh M. Verma
PDF
Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena Sui-ky Ringo Ling
PDF
Using CBR to Drive IR Edwina L. Rissland, Jody J. Daniels
PDF
Using Decision Trees for Coreference Resolution Joseph F. McCarthy, Wendy G. Lehnert
PDF
Using Inference to Reduce Arc Consistency Computation Christian Bessière, Eugene C. Freuder, Jean-Charles Régin
PDF
Using Information Content to Evaluate Semantic Similarity in a Taxonomy Philip Resnik
PDF
Using Introspective Reasoning to Refine Indexing Susan Fox, David B. Leake
PDF
Using Knowledge to Isolate Search in Route Finding Bing Liu
PDF
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention Shumeet Baluja, Dean Pomerleau
PDF
Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes Haim Schweitzer, Janell Straach
PDF
Valued Constraint Satisfaction Problems: Hard and Easy Problems Thomas Schiex, Hélène Fargier, Gérard Verfaillie
PDF
VERY Large Knowledge Bases - Architecture vs Engineering James A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom
PDF
Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis Ian Horswill
PDF
Vive La Difference! Individualised Interaction with Users Judy Kay
PDF
What Has AI in Common with Philosophy? John McCarthy
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets Giuseppe De Giacomo, Maurizio Lenzerini
PDF
WIP: From Multimedia to Intellimedia Elisabeth André, Wolfgang Finkler, Winfried Graf, Karin Harbusch, Jochen Heinsohn, Anne Kilger, Bernhard Nebel, Hans-Jürgen Profitlich, Thomas Rist, Wolfgang Wahlster, Andreas Butz, Anthony Jameson
PDF
Within the Letter of the Law: Open-Textured Planning Kathryn E. Sanders
PDF