Chambéry, France
Edited by Ruzena Bajcsy
No papers match this filter.
Automated Reasoning
Critical Reasoning
Pages 18–22
A New Logical framework for Deductive Planning
Pages 32–37
Extending the Resolution Method with Sorts
Pages 60–64
Proving Theorems in a Multi-Source Environment
Pages 66–72
Automatic Case Analysis in Proof by Induction
Pages 88–93
Combining Induction Axioms by Machine
Pages 95–100
Bottom-up Abduction by Model Generation
Pages 102–107
SCOTT: A Model-Guided Theorem Prover
Pages 109–114
Difference Unification
Pages 116–121
On the Polynomial Transparency of Resolution
Pages 123–130
Explanation in the Situation Calculus
Pages 160–164
Situation Recognition: Representation and Algorithms
Pages 166–173
Cognitive Modeling
ANTLIMA - A Listener Model with Mental Images
Pages 175–179
Perception and Experience in Problem Solving
Pages 181–186
AI Models as a Variety of Psychological Explanation
Pages 188–192
Constraint Satisfaction Problems
Consistency Techniques for Numeric CSPs
Pages 232–237
Optimistic Parallel biscrete Relaxation
Pages 268–274
Distributed AI
Agents Habitats and Routine Behavior
Pages 305–309
Learning to Coordinate Actions in Multi-Agent-Systems
Pages 311–316
Provably Bounded Optimal Agents
Pages 338–344
Collaborative Plans for Group Activities
Pages 367–374
Epistemic Extension of Propositional Preference Logics
Pages 382–388
A Representationalist Theory of Intention
Pages 390–394
Oz - A Programming Language for Multi-Agent Systems
Pages 404–408
A Domain Theory for Task Oriented Negotiation
Pages 416–421
Intelligent Tutoring Systems
PHI - A Logic-Based Tool for Intelligent Help Systems
Pages 460–465
Knowledge Base Technology
Test Case Generation using KBS Strategy
Pages 483–488
Off-line Reasoning for On-line Efficiency
Pages 490–494
Knowledge Representation
Revision Sequences and Nested Conditionals
Pages 519–524
Connections Between the ATMS and AGM Belief Revision
Pages 534–538
Syntactic Characterizations of Belief Change Operators
Pages 540–546
Non-Omniscient Belief as Context-Based Resoning
Pages 548–553
Notes on Formalizing Context
Pages 555–561
Statistical Foundations for Default Reasoning
Pages 563–568
On the Semantics of Supernormal Defaults
Pages 578–582
Preference-Based Semantics for Nonmonotonic Logics
Pages 584–590
Generalization of the Dempster-Shafer Theory
Pages 592–596
On the Hardness of Approximate Reasoning
Pages 613–618
Second Order Measures for Uncertainty Processing
Pages 626–632
Efficient Temporal Reasoning through Timegraphs
Pages 648–653
Path Consistency in a Network of Non-Convex Intervals
Pages 655–660
More Notes on "A Clash of Intuitions"
Pages 682–688
Using Classification as a Programming Language
Pages 696–702
Reasoning About Persistence: A Theory of Actions
Pages 718–722
Invited Speakers
AI Adventures Worth Writing Home About
Pages 747–749
Artificial Thought and Emergent Mind
Pages 758–765
The Logic of Cognitive Action
Pages 810–811
Awards
Logic Programming
A Language for Implementing Arbitrary Logics
Pages 839–843
Machine Learning
Average-Case Analysis of a Nearest Neighbor Algorithm
Pages 889–893
Estimating the Accuracy of Learned Concepts
Pages 895–900
Abstraction via Approximate Symmetry
Pages 916–920
SMART+: A Multi-Strategy Learning Tool
Pages 937–944
Evolutionary Learning Strategy using Bug-Based Search
Pages 960–965
Induction of Oblique Decision Trees
Pages 1002–1006
TDIS : an Algebraic Formalization
Pages 1008–1014
Decision Trees in Numerical Attribute Spaces
Pages 1016–1020
Constructive Inductive Logic Programming
Pages 1030–1035
Multiple Predicate Learning
Pages 1037–1042
An Interactive System to Learn Functional Logic Programs
Pages 1044–1048
Avoiding Pitfalls When Learning Recursive Theories
Pages 1050–1056
A Theory of Clausal Discovery
Pages 1058–1062
HYDRA: A Noise-tolerant Relational Concept Learning Algorithm
Pages 1064–1070
Rule-Based Regression
Pages 1072–1077
The Statistical Learning of Accurate Heuristics
Pages 1079–1086
Learning to Achieve Goals
Pages 1094–1098
Combining FOIL and EBG to Speed-up Logic Programs
Pages 1106–1112
Recurrent Neural Networks for Sequence Production
Pages 1114–1118
Sequence Extrapolation
Pages 1120–1126
Symbolic Revision of Theories with M-of-N Rules
Pages 1135–1141
Natural Language
A Symbolic Model for Learning the Past-Tenses of English Verbs
Pages 1143–1148
Verbal Case Frame Acquisition from Bilingual Corpora
Pages 1150–1156
Generating Concise Discourse that Addresses a Users Inferences
Pages 1202–1206
Preferences for Model Selection in Explanation
Pages 1208–1214
For an Incremental Computation of Intrasentential Coreference
Pages 1216–1220
Tense and Aspect: A Mereological Approach
Pages 1222–1228
Interpretation as Exception Minimization
Pages 1310–1317
Neural Networks
Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL
Pages 1332–1337
Spatial Reasoning and Connectionist Inference
Pages 1352–1358
Heuristically Expanding Knowledge-Based Neural Networks
Pages 1360–1364
Planning
Characterizing Subgoal Interactions for Planning
Pages 1388–1392
Planning Using Multiple Execution Architectures
Pages 1394–1400
Reaction-First Search
Pages 1408–1414
Complexity Results for SAS+ Planning
Pages 1430–1434
Qualitative Reasoning and Naive Physics
Compositional Model-Based Design
Pages 1445–1449
Computer-Aided Creative Mechanism Design
Pages 1451–1458
Theory Diagnoses: A Concise Characterization of Faulty Systems
Pages 1466–1472
Model-Based Diagnosis Meets Error Diagnosis in Logic Programs
Pages 1494–1500
Symbolic Reasoning with Relative Orders of Magnitude
Pages 1509–1514
Prioritising Behaviours in Qualitative Simulation
Pages 1523–1528
Fuzzy Causal Simulation in Process Engineering
Pages 1536–1542
Orientation and Qualitative Angle for Spatial Reasoning
Pages 1544–1548
Towards an Integrated Logic of Space, Time and Motion
Pages 1550–1556
Qualitative Modeling of RNA Structure
Pages 1558–1562
Robotics and Vision
Active Color Image Analysis for Recognizing Shadows
Pages 1573–1577
Selective Attention in Dynamic Vision
Pages 1579–1584
Homing Using Combinations of Model Views
Pages 1586–1590
Qualitative Recognition of Ongoing Human Action Sequences
Pages 1600–1608
Rule-Structured Facial Animation System
Pages 1610–1616
Recognizing 3-D Motion
Pages 1624–1630
Making Cognitive Map of Outdoor Environment
Pages 1632–1637
Map Validation and Self-location in a Graph-like World
Pages 1648–1652
Memory-Based Navigation
Pages 1654–1659
Panels
AI Multimedia and Education
Pages 1667–1671
Fuzzy Logic and AI
Pages 1673–1675
Grand Challenge AI Applications
Pages 1677–1682
Instructions: Language and Behavior
Pages 1684–1688
TELECOM and AI: The Emperors New Clothes?
Pages 1690–1691
The Use of Geons for Generic 3D Object Recognition
Pages 1693–1701
Videos
Spoken Language Translation System
Pages 1705–-1
ALEPS: The Automated Logistics Element Planning System
Pages 1706–-1
Other papers
Front matter, copyright and publication details
SPONSORED BY THE INTERNATIONAL JOINT CONFERENCES ON ARTIFICIAL INTELLIGENCE, INC.
COSPONSORED AND HOSTED BY THE ASSOCIATION FRAN CAISE POUR L'INTELLIGENCE ARTIFICIELLE
Copyright© 1993 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 USA
Secretary-Treasurer: Donald E. Walker
Bell core, 445 South Street, MRE 2A379, Morristown, NJ 07960 USA
ISBN 1-55860-309-3
