Montréal, Québec, Canada
Edited by Chris S. Mellish
No papers match this filter.
Action and Perception
Representations for Active Vision
Pages 20–25
Animate Vision in a Rich Environment
Pages 27–34
An Architecture for Vision and Action
Pages 72–80
Robotic Perception of Material
Pages 88–94
Using Knowledge to Isolate Search in Route Finding
Pages 119–124
Logic Programming for Robot Control
Pages 150–156
Automated Reasoning
Relational Rippling: A General Approach
Pages 175–180
A Model of Analogy-Driven Proof-Plan Construction
Pages 182–188
A Semantic Theory of Abstractions
Pages 196–202
Abductive Framework for Nonmonotonic Theory Change
Pages 204–209
Model-Based Diagnosis using Causal Networks
Pages 211–218
k-Best: A New Method for Real-Time Decision Making
Pages 227–234
How to Use Limited Memory in Heuristic Search
Pages 236–241
Experimenting with Revisits in Game Tree Search
Pages 243–250
On Bootstrapping Local Search with Trail-Markers
Pages 252–257
Best-First Fixed-Depth Game-Tree Search in Practice
Pages 273–280
SEM: a System for Enumerating Models
Pages 298–302
Towards Efficient Default Reasoning
Pages 312–317
Default-Reasoning with Models
Pages 319–326
Case Based Reasoning
Using Introspective Reasoning to Refine Indexing
Pages 391–398
Using CBR to Drive IR
Pages 400–406
Within the Letter of the Law: Open-Textured Planning
Pages 408–415
Cognitive Modelling
Forgetting and Compacting data in Concept Learning
Pages 432–437
On Heuristic Reasoning, Reactivity, and Search
Pages 454–462
Action and Perception in Man-Made Environments
Pages 464–471
Connectionist Models
Understanding Neural Networks via Rule Extraction
Pages 480–486
A Hybrid Fuzzy-Neural Expert System for Diagnosis
Pages 494–500
A Novelty Detection Approach to Classification
Pages 518–522
A Model for Hormonal Modulation of Learning
Pages 532–539
Constraint Satisfaction
Extracting Constraint Satisfaction Subproblems
Pages 548–556
Constraint Satisfaction as Global Optimization
Pages 579–584
Using Inference to Reduce Arc Consistency Computation
Pages 592–598
Limited Discrepancy Search
Pages 607–614
GSAT and Local Consistency
Pages 616–622
Constraint Solving over Semirings
Pages 624–629
Composition in Hierarchical CLP
Pages 640–644
Distributed AI
Coalition Formation among Bounded Rational Agents
Pages 662–670
Matchmaking for Information Agents
Pages 672–677
Flexible Social Laws
Pages 688–692
Social Dilemmas in Computational Ecosystems
Pages 711–717
Genetic Algorithms
A Genetic Prototype Learner
Pages 725–732
Knowledge Base Technology
Knowledge Representation in the Large
Pages 751–757
The Generic Frame Protocol
Pages 768–773
Knowledge-Based Anytime Computation
Pages 775–782
Proposing Measurements in Dynamic Systems
Pages 784–789
Synthesizing Plant Controllers Using Real-time Goals
Pages 791–799
Knowledge Representation
Terminological Logics with Modal Operators
Pages 808–814
Explaining Subsumption in Description Logics
Pages 816–820
Determining Explanations using Transmutations
Pages 822–828
An Analysis of Approximate Knowledge Compilation
Pages 830–835
Knowledge Compilation Using Theory Prime Implicates
Pages 837–844
A Logical Account of Relevance
Pages 853–860
Inter-diagrammatic Reasoning
Pages 878–883
Topological Inference
Pages 901–906
A Qualitative Discretization for Two-Body Contacts
Pages 915–922
Letizia: An Agent That Assists Web Browsing
Pages 924–928
Invited Speakers
Agents on Stage: Advancing the State of the Art of AI
Pages 967–970
Turing Test Considered Harmful
Pages 972–976
Stochastic Search and Phase Transitions: AI Meets Physics
Pages 998–1001
Modeling Living Systems for Computer Vision
Pages 1003–1012
Learning
Oversearching and Layered Search in Empirical Learning
Pages 1019–1023
Lookahead and Pathology in Decision Tree Induction
Pages 1025–1032
On Biases in Estimating Multi-Valued Attributes
Pages 1034–1039
Flexibly Exploiting Prior Knowledge in Empirical Learning
Pages 1041–1048
Using Decision Trees for Coreference Resolution
Pages 1050–1054
Intermediate Decision Trees
Pages 1056–1062
Constructing Nominal X-of-N Attributes
Pages 1064–1069
Oblivious Decision Trees, Graphs, and Top-Down Pruning
Pages 1071–1078
Process-Oriented Planning and Average-Reward Optimality
Pages 1096–1102
Exploiting Structure in Policy Construction
Pages 1104–1112
A Reinforcement Learning Approach to job-shop Scheduling
Pages 1114–1119
Decomposition Techniques for Planning in Stochastic Domains
Pages 1121–1128
Local Learning in Probabilistic Networks with Hidden Variables
Pages 1146–1151
The Complexity of Theory Revision
Pages 1162–1167
Practical PAC Learning
Pages 1169–1176
Learning to Reason: The Non-Monotonic Case
Pages 1178–1183
Generating and Solving Imperfect Information Games
Pages 1185–1192
AILP: Abductive Inductive Logic Programming
Pages 1201–1208
Building Theories into Instantiation
Pages 1210–1215
Learning One More Thing
Pages 1217–1224
Rule Induction and Instance-Based Learning: A Unified Approach
Pages 1226–1231
Multiresolution Instance-Based Learning
Pages 1233–1241
Natural Language
The Use of Knowledge Preconditions in Language Processing
Pages 1260–1265
Integrating Gricean and Attentional Constraints
Pages 1267–1274
Generating Explanatory Captions for Information Graphics
Pages 1276–1282
Dynamic Semantics for Tense and Aspect
Pages 1292–1297
CRYSTAL: Inducing a Conceptual Dictionary
Pages 1314–1320
Discourse as a Knowledge Resource for Sentence Disambiguation
Pages 1360–1366
A WordNet-based Algorithm for Word Sense Disambiguation
Pages 1368–1373
Analogy in the Large
Pages 1375–1380
Unification-Based Glossing
Pages 1382–1388
A Support Tool for Writing Multilingual Instructions
Pages 1398–1403
Dialogue Actions for Natural Language Interfaces
Pages 1405–1412
An Efficient Algorithm for Surface Generation
Pages 1414–1418
Non-monotonic Reasoning
How to Infer from Inconsisent Beliefs without Revising?
Pages 1449–1456
On Decision-Theoretic Foundations for Defaults
Pages 1458–1464
Allowed Arguments
Pages 1466–1472
On Specificity in Default Logic
Pages 1474–1478
Specificity and Inheritance in Default Reasoning
Pages 1480–1486
Syntactic Conditional Closures for Defeasible Reasoning
Pages 1488–1493
Sound and Efficient Non-monotonic Inference
Pages 1495–1500
Computing Circumscription Revisited: Preliminary Report
Pages 1502–1507
Constrained and Rational Default Logics
Pages 1509–1516
Belief Revision, Revised
Pages 1534–1539
Iterated Theory Base Change: A Computational Model
Pages 1541–1548
Planning
Planning Under Uncertainty: Some Key Issues
Pages 1567–1574
Optimizing Decision Quality with Contract Algorithms
Pages 1576–1581
Expected Solution Quality
Pages 1583–1590
A Critical Look at Critics in HTN Planning
Pages 1592–1597
Planning with Primary Effects: Experiments and Analysis
Pages 1606–1610
Scope and Abstraction: Two Criteria for Localized Planning
Pages 1612–1618
Fast Planning Through Planning Graph Analysis
Pages 1636–1641
Planning with Sharable Resource Constraints
Pages 1643–1650
The Focussed D* Algorithm for Real-Time Replanning
Pages 1662–1668
Real-Time Search in Non-Deterministic Domains
Pages 1660–1668
Hierarchical Plan Merging with Application to Process Planning
Pages 1677–1684
Abstraction by Interchangeability in Resource Allocation
Pages 1694–1702
A Sound and Fast Goal Recognizer
Pages 1704–1709
Recovering Problem-Solving Activities from Query Messages
Pages 1711–1719
Reasoning Under Uncertainty
Minimum Cross-Entropy Reasoning: A Statistical Justification
Pages 1847–1851
Representation Dependence in Probabilistic Inference
Pages 1853–1860
Models and Algorithms for Probabilistic and Bayesian Logic
Pages 1862–1867
Ignorant Influence Diagrams
Pages 1869–1876
The BATmobile: Towards a Bayesian Automated Taxi
Pages 1878–1884
The Canonical Decomposition of a Weighted Belief
Pages 1896–1900
The Rationality and Decidability of Fuzzy Implications
Pages 1910–1914
Possibility Theory as a Basis for Qualitative Decision Theory
Pages 1924–1931
Qualitative Reasoning and Diagnosis
No Faults in Structure? How to Diagnose Hidden Interactions
Pages 1728–1734
Trading off the Costs of Inference vs. Probing in Diagnosis
Pages 1736–1740
Diagnosing Tree-Decomposable Circuits
Pages 1742–1748
Case-based Modeling with Qualitative Indices
Pages 1757–1764
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?
Pages 1773–1780
Reasoning about Fluid Motion I: Finding Structures
Pages 1782–1787
Device Representation and Reasoning with Affective Relations
Pages 1814–1819
Determining the Loci of Anomalies Using Minimal Causal Models
Pages 1821–1828
FBRL: A Function and Behavior Representation Language
Pages 1830–1835
Temporal Reasoning
Reasoning about Noisy Sensors in the Situation Calculus
Pages 1933–1939
A Logic for Acting, Sensing and Planning
Pages 1941–1948
The Logic of Dynamic Systems
Pages 1956–1962
Dependent Fluents
Pages 1964–1968
A Simple Formalization of Actions Using Circumscription
Pages 1970–1976
A Causal Theory of Ramifications and Qualifications
Pages 1978–1983
Computing Ramifications by Postprocessing
Pages 1994–1999
How to Progress a Database II: The STRIPS Connection
Pages 2001–2008
Towards Action Prediction Using a Mental-Level Model
Pages 2010–2015
Panels
Systematic Versus Stochastic Constraint Satisfaction
Pages 2027–2031
VERY Large Knowledge Bases - Architecture vs Engineering
Pages 2033–2035
A Philosophical Encounter
Pages 2037–2039
What has AI in Common with Philosophy?
Pages 2041–2043
Videos
Description Logic in Practice: A CLASSIC Application
Pages 2045–2045
WIP: From Multimedia to Intellimedia
Pages 2053–2053
Computer-Aided Creative Mechanism Design
Pages 2055–2055
Learning University Mathematics
Pages 2057–2057
Situated Verbal Interaction in Virtual Design and Assembly
Pages 2061–2061
Multiple Perspective Interactive Video
Pages 2063–2063
GRASPER: A Permissive Planning Robot
Pages 2065–2065
SKICAT: Sky Image Cataloging and Analysis Tool
Pages 2067–2067
A Case-Based Approach to Knowledge Navigation
Pages 2071–2071
Modeling Interactive Agents in ALIVE
Pages 2073–2073
Other papers
Relating Belief Revision and Circumscription
Pages 1557–1565
Front matter, copyright and publication details
Sponsored by the
International Joint Conferences on Artificial Intelligence, Inc. (IJCAII)
American Association for Artificial Intelligence
Canadian Society for Computational Studies of Intelligence
Societe Canadienne pour I' etude de !'intelligence par ordinateur
Copyright © 1995 International Joint Conferences on Artificial Intelligence, Inc.
All rights reserved
Distributed by
Morgan Kaufmann Publishers, Inc.
2929 Campus Drive, Suite 260
San Mateo, California 94403
Secretary-Treasurer: Ronald J. Brachman, AT&T Bell Laboratories
600 Mountain Avenue, 2T-416, Murray Hill, NJ 0797 4 USA
Executive Director: Carol McKenna Hamilton
ISBN 1-55860-388-3
