15. IJCAI 1997:
Nagoya,
Japan
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence,
IJCAI 97,
Nagoya,
Japan,
August 23-29,
1997. Morgan Kaufmann,
1997,
2 Volumes
VOLUME 1
AI Challenges
Challenge 1
Challenge 2
- Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela M. Veloso, Silvia Coradeschi, Eiichi Osawa, Hitoshi Matsubara, Itsuki Noda, Minoru Asada:
The RoboCup Synthetic Agent Challenge 97.
24-30
- Hiroshi G. Okuno, Tomohiro Nakatani, Takeshi Kawabata:
Understanding Three Simultaneous Speeches.
30-35
- Hiroshi Ishiguro:
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation.
36-43
Challenge 3
Automated Reasoning
Automated Reasoning 1:
Belief Revision
Automated Reasoning 2:
Belief Revision
Automated Reasoning 3:
Theorem Proving
Automated Reasoning 4:
Propositional KBS
Automated Reasoning 5:
Description Logic
Automated Reasoning 6:
Nonmonotonism
Automated Reasoning 7:
Nonmonotonism for Logic Programming
Automated Reasoning 8:
Modal Logic
Automated Reasoning 9
Case-Based Reasoning
Case-Based Reasoning 1
Case-Based Reasoning 2
Cognitive Modeling
Cognitive Modeling 1
Cognitive Modeling 2
Cognitive Modeling 3
Computer-Aided Eduction
Constraint Satisfaction
Constraint Satisfaction 1:
Constraint Programming
Constraint Satisfaction 2:
SAT
Constraint Satisfaction 3:
Local Consistency
Constraint Satisfaction 4
Diagnosis and Qualiative Reasoning
Diagnosis 1
Diagnosis 2
Diagnosis 3
Qualiative Reasoning 1:
Modeling Support
Qualiative Reasoning 2:
Perception and Belief
Qualiative Reasoning 3:
Geometric and Spatial Reasoning
Qualiative Reasoning 4:
Causality
Qualiative Reasoning 5
Distributed Artificial Intelligence
Distributed AI 1:
Interagent Communication
Distributed AI 2:
Coordination and Cooperation
Distributed AI 3:
Multiagent Algorithms
Distributed AI 4:
Multiagent Algorithms
Expert Systems
Game Playing
Game Playing 1:
Go
Game Playing 2
Information Retrieval
Information Retrieval Distinguished Paper
Information Retrieval 1
Information Retrieval 2
Information Retrieval 3
Information Retrieval 4
VOLUME 2
Learning
Learing 1
Learing 2:
Reinforcement Learning
Learing 3:
Decision Trees
Learing 4:
Classification
Learing 5:
Applications
Learing 6:
Logic and IPL
Learing 7:
Dynamic Environments
Learing 8
Natural-Language Processing and Graphical Presentatioon
Natural-Language Processing 1:
Generation
Natural-Language Processing 2:
Machine Translation
- Jun-Jie Li, Key-Sun Choi:
Corpus-Based Chinese-Korean Abstracting Translation System.
972-976
- Kiyoshi Yamabana, Shin-ichiro Kamei, Kazunori Muraki, Shinichi Doi, Shinko Tamura, Kenji Satoh:
A Hybrid Approach to Interactive Machine Translation - Integrating Rule-based, Corpus-based, and Example-basedMethod.
977-982
- Hideki Mima, Osamu Furuse, Hitoshi Iida:
Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and Environment.
983-989
Natural-Language Processing 3:
Dialogue and Discourse
- Nikitas M. Sgouros:
Dynamic, User-Centered Resolution in Interactive Stories.
990-995
- Steffen Staab, Udo Hahn:
"Tall", "Good", "High" - Compared to What?
996-1001
- Marc Dymetman:
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity.
1002-1009
Natural-Language Processing 4:
Dialogue and Discourse
Natural-Language Processing 5:
Dialogue and Discourse
- M. David Sadek, Philippe Bretier, E. Panaget:
ARTIMIS: Natural Dialogue Meets Rational Agency.
1030-1035
- Matthias Denecke:
An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction.
1036-1041
- Hervé Blanchon:
Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementatioons for French and English.
1042-1049
Graphics
Neural Networks
Neural Nets 1:
Rule Extractions
Neural Nets 2:
Language and Structure Processing
- Will Lowe:
Meaning and the Mental Lexicon.
1092-1097
- Hiroshi Tsukimoto:
Extracting Propositions from Trained Neural Networks.
1098-1105
- Nigel Collier:
Convergence Time Characteristics of an Associative Memory for Natural Language Processing.
1106-1113
Neural Nets 3:
Neurobiologically Inspired Computation
Neural Nets 4:
Learning Algorithms and Architectures
Planning and Scheduling
Planning 1:
Relations among Techniques
Planning 2:
Reactive Planning
Planning 3:
Planning under Uncertainty
Planning 4:
Reasoning about Plans
Planning 5:
Applications and Support
Scheduling
Probabilistic Reasoning
Probabilistic Reasoning Distinguisted Paper
Probabilistic Reasoning 1:
Efficiency
- David Poole:
Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference.
1284-1291
- John Binder, Kevin P. Murphy, Stuart J. Russell:
Space-Efficient Inference in Dynamic Probabilistic Networks.
1292-1296
- Rina Dechter:
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning.
1297-1303
Probabilistic Reasoning 2:
Causal Discovery
Probabilistic Reasoning 3
Robotics
Robotics 1
Robotics 2
Search
Search 1:
Depth-First Search
Search 2:
Bin Packing
- Ian P. Gent, Toby Walsh:
From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules.
1396-1401
- Ho Soo Lee, Mark Trumbo:
An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem.
1402-1411
Temporal Reasoning
Temporal Reasoning Distinguished Paper
- Fangzhen Lin:
Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator.
1412-1419
Temporal Reasoning 1
Temporal Reasoning 2
Temporal Reasoning 3
Vision
Vision 1
Vision 2:
Stereo Vision
Panel
Videos
Doctoral Consortium Abstracts
- Alessandro Agostini:
Modularity in Computer Assisted Reasoning Systems.
1539
- Sarah Boyd:
Describing Time-Varying Data.
1540
- Mateja Jamnik:
Automation of Diagrammatic Proofs in Mathematics.
1541
- Raymund Sison:
Toward the Automatic Discovery of Misconceptions.
1542
- Hongjun Song:
Control Structures for Software Agents.
1543
- Astro Teller:
Algorithm Evolution for Signal Understanding.
1544
- Francesco Virili:
The Use of Neural Network Approach in Financial Asset Management.
1545
- Hongxue Wang:
Constrainted Object Hierarchy - An Architecture for Intelligent Systems.
1546
Invited Speakers
Awards
- Aravind K. Joshi:
Research Excellence Award: Relationship Between Natural Language Processing and AI.
1651-1652
Copyright © Fri Mar 12 17:16:01 2010
by Michael Ley (ley@uni-trier.de)
