Nagoya, Japan
Edited by Martha E. Pollack
No papers match this filter.
AI Challenges
Adaptive Web Sites: an AI Challenge
Pages 16–22
The RoboCup Synthetic Agent Challenge 97
Pages 24–29
Understanding Three Simultaneous Speeches
Pages 30–34
Automated Reasoning
The Complexity of Belief Update
Pages 68–72
Anytime Belief Revision
Pages 74–80
Towards Generalized Rule-based Updates
Pages 82–87
Equational Reasoning using AC Constraints
Pages 108–112
Strategies in Rigid-Variable Methods
Pages 114–120
Tractable Cover Compilations
Pages 122–126
A Four-Valued Fuzzy Propositional Logic
Pages 128–134
Autoepistemic Description Logics
Pages 136–140
Reifying Concepts in Description Logics
Pages 142–148
Circumscribing Inconsistency
Pages 150–154
A Default Interpretation of Defeasible Network
Pages 156–160
Learning Extended Logic Programs
Pages 176–180
On Evaluating Decision Procedures for Modal Logic
Pages 202–208
Preduction: A Common Form of Induction and Analogy
Pages 210–214
Analogy and Abduction in Automated Deduction
Pages 216–224
Case-based Reasoning
Cognitive Modeling
Acquisition of Human Feelings in Music Arrangements
Pages 268–272
An Aggregation Procedure for Building Episodic Memory
Pages 280–286
An Achievement Test for Knowledge-Based Systems: QUEM
Pages 288–292
A Functional Theory of Design Patterns
Pages 294–299
In the Quest of the Missing Link
Pages 310–314
Implementing BDI-like Systems by Direct Execution
Pages 316–320
Managing Decision Resources in Plan Execution
Pages 322–327
Computer-aided Education
Reasoning Symbolically About Partially Matched Cases
Pages 335–340
Task Ontology Makes It Easier To Use Authoring Tools
Pages 342–350
Constraint Satisfaction
Semiring-based Constraint Logic Programming
Pages 352–356
Learning Short-Term Weights for GSAT
Pages 384–390
Local Consistency for Ternary Numeric Constraints
Pages 392–396
Diagnosis and Qualitative Reasoning
Locating Faults in Tree-Structured Networks
Pages 434–438
Diagnosing Tree Structured Systems
Pages 440–444
Exploiting Domain Knowledge for Approximate Diagnosis
Pages 454–458
A Static Model-Based Engine for Model-Based Reasoning
Pages 466–472
A Causal Time Ontology for Qualitative Reasoning
Pages 501–506
Qualitative Reasoning about Perception and Belief
Pages 508–512
Automation of Diagrammatic Reasoning
Pages 528–532
Structural Inferences from Massive Datasets
Pages 534–540
Action Localness, Genericity and Invariants in STRIPS
Pages 549–553
Causality, Constraints and Indirect Effects
Pages 555–560
Formal Specifications for Hybrid Dynamical Systems
Pages 568–576
Distributed Artificial Intelligence
Middle-Agents for the Internet
Pages 578–582
Cooperation Structures
Pages 600–604
A Dynamic Theory of Incentives in Multi-Agent Systems
Pages 626–630
Expert Systems
Can We Benefit from Metrics in KBS Development?
Pages 662–666
Game Playing
Learning Strategies in Games by Anticipation
Pages 698–706
Information Retrieval
Wrapper Induction for Information Extraction
Pages 729–736
The Self-Organizing Desk
Pages 758–762
Web Watcher: A Tour Guide for the World Wide Web
Pages 770–776
Recursive Plans for Information Gathering
Pages 778–783
Efficiently Executing Information-Gathering Plans
Pages 785–790
Learning
Unbiased Assesment of Learning Algorithms
Pages 798–802
An Adaptive Architecture for Modular Q-Learning
Pages 820–824
Decision Tree Grafting
Pages 846–850
Noise-Tolerant Windowing
Pages 852–858
Ensembles as a Sequence of Classifiers
Pages 860–864
Stacked Generalizations: When Does It Work?
Pages 866–872
Alignment Algorithms for Learning to Read Aloud
Pages 874–878
Discovering Interesting Holes in Data
Pages 930–934
Natural-language Processing and Graphical Presentation
Proof Verbalization as an Application of NLG
Pages 965–971
"Tall", "Good", "High" - Compared to What?
Pages 996–1000
On the Interaction of Metonymies and Anaphora
Pages 1010–1014
Computing Parallelism in Discourse
Pages 1016–1020
Content Ordering in the Generation of Persuasive Discourse
Pages 1022–1028
ARTIMIS: Natural Dialogue Meets Rational Agency
Pages 1030–1034
Neural Networks
On the Role of Hierarchy for Neural Network Interpretation
Pages 1072–1076
Law Discovery using Neural Networks
Pages 1078–1082
Meaning and the Mental Lexicon
Pages 1092–1096
Extracting Propositions from Trained Neural Networks
Pages 1098–1104
Combining Probabilistic Population Codes
Pages 1114–1118
An Effective Learning Method for Max-Min Neural Networks
Pages 1134–1138
Avoiding Overfitting with BP-SOM
Pages 1140–1144
Evolvable Hardware for Generalized Neural Networks
Pages 1146–1154
Planning and Scheduling
Automatic SAT-Compilation of Planning Problems
Pages 1169–1176
A Reactive Planner for a Model-based Executive
Pages 1178–1184
Modeling Command Entities
Pages 1186–1192
Adaptive Goal Recognition
Pages 1208–1213
Reasoning about Plans
Pages 1215–1219
Learning to Improve both Efficiency and Quality of Planning
Pages 1227–1232
System Assistance in Structured Domain Model Development
Pages 1240–1244
Automatic Generation of Heuristics for Scheduling
Pages 1260–1265
Probabilistic Reasoning
Object Identification in a Bayesian Context
Pages 1276–1282
Space-Efficient Inference in Dynamic Probabilistic Networks
Pages 1292–1295
A Study of Causal Discovery With Weak Links and Small Samples
Pages 1304–1308
ILP with Noise and Fixed Example Size: A Bayesian Approach
Pages 1310–1314
Learning Probabilities for Noisy First-Order Rules
Pages 1316–1322
A Symmetric View of Utilities and Probabilities
Pages 1324–1328
PRISM: A Language for Symbolic-Statistical Modeling
Pages 1330–1338
Robotics
Active Mobile Robot Localization
Pages 1346–1351
Situated Actions and Cognition
Pages 1372–1380
Search
Interleaved Depth-First Search
Pages 1382–1386
Depth-bounded Discrepancy Search
Pages 1388–1394
Temporal Reasoning
Change, Change, Change: Three Approaches
Pages 1426–1432
Defeasible Specifications in Action Theories
Pages 1441–1445
Reasoning about Action in Polynomial Time
Pages 1447–1452
Qualitative Temporal Reasoning with Points and Durations
Pages 1454–1458
Vision
Comparing Random Starts Local Search with Key Feature Matching
Pages 1476–1480
Chain of Circles for Matching and Recognition of Planar Shapes
Pages 1482–1486
Panel
The Next Big Thing: Position Statements
Pages 1511–1523
Videos
Robust Real-Time Face Tracking and Gesture Recognition
Pages 1525–1529
Doctoral Consortium Abstracts
Modularity in Computer Assisted Reasoning Systems
Pages 1539–-1
Describing Time-Varying Data
Pages 1540–-1
Automation of Diagrammatic Proofs in Mathematics
Pages 1541–-1
Toward the Automatic Discovery of Misconceptions
Pages 1542–-1
Control Structures for Software Agents
Pages 1543–-1
Algorithm Evolution for Signal Understanding
Pages 1544–-1
Invited Speakers
Let's Plan It Deductively!
Pages 1549–1561
Creativity and Artificial Intelligence
Pages 1563–1565
Modeling Social Action for AI Agents
Pages 1567–1575
Vehicles Capable of Dynamic Vision
Pages 1577–1591
Remote-Brained Robots
Pages 1593–1605
Machine Learning Techniques to Make Computers Easier to Use
Pages 1622–1630
The Origins of Syntax in Visually Grounded Robotic Agents
Pages 1632–1640
Numerica: A Modeling Language for Global Optimization
Pages 1642–1649
Front matter, copyright and publication details
Sponsored by the
International Joint Conferences on Artificial Intelligence, Inc. (IJCAII)
Japanese Society for Artificial Intelligence
Copyright © 1997 International Joint Conferences on Artificial Intelligence, Inc.
All rights reserved.
Distributed by
Morgan Kaufmann Publishers, Inc.
340 Pine Street, 6th Floor
San Francisco, CA 941 04
http:// www.mkp.com
Secretary-Treasurer: Ronald J. Brachman, AT&T Labs-Research, 180 Park Avenue
P.O. Box 971, Florham Park, NJ 07932-0971 USA
ISBN 1-55860-480-4
