Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (I)
IJCAI-97 Contents Vol 1
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence
Nagoya, Japan August 23-29,1997
CHALLENGE 1
The Predictive Toxicology Evaluation Challenge
A. Srinivasan, R. D. King, S. H. Muggleton, and M.J. E. Sternberg 4
Challenge: What is the Impact of Bayesian Networks on Learning?
Mr Friedman, Moises Goldszmidt, David Heckerman,and Stuart Russell 10
Adaptive Web Sites: an AI Challenge
Mike Perkowitz and Oren Etzioni 16
CHALLENGE 2
The RoboCup Synthetic Agent Challenge 97
Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela Veloso, Silvia Coradeschi, Eiichi Osawa, Hitoshi Matsubara, ltsuki Noda, and Minoru Asada 24
Understanding Three Simultaneous Speeches
Hiroshi G. Okuno, Tomohiro Nakatani, and Takeshi Kawabata 30
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation
Hiroshi Ishiguro 36
CHALLENGE 3
Challenges in bridging plan synthesis paradigms
Subbarao Kambhampati 44
Ten Challenges in Propositional Reasoning and Search
Bart Selman, Henry Kautz, and David McAllester 50
Challenge: How IJCAI 1999 can Prove the Value of AI by Using AI
James Geller 55
AUTOMATED REASONING
AUTOMATED REASONING 1: BELIEF REVISION
Qualitative Relevance and Independence: A Roadmap
Didier Dubois, Luis Farinas del Cerro, Andreas Herzig, and Henri Prade 62
The Complexity of Belief Update
Paolo Liberatore 68
Mary-Anne Williams 74
AUTOMATED REASONING 2: BELIEF REVISION
Towards Generalized Rule-based Updates
Yan Zhang and Norman Y Foo 82
Representation Theorems for Multiple Belief Changes
Dongmo Zhang, Shiju Chen, Wujia Zhu, and Zhaoqian Chen 89
Nonmonotonic Reasoning and Multiple Belief Revision
Dongmo Zhang, Shiju Chen, Wujia Zhu, and Hongbing Li 95
AUTOMATED REASONING 3: THEOREM PROVING
High Performance ATP Systems by Combining Several Al Methods
Jorg Denzinger, Marc Fuchs, and Matthias Fuchs 102
Equational Reasoning using AC Constraints
David A. Plaisted and Yunshan Zhu 108
Strategies in Rigid-Variable Methods
Andrei Voronkov 114
AUTOMATED REASONING 4: PROPOSITIONAL KBS
Yacine Boujkhad, Eric Gregoire, Pierre Marquis, Bertrand Mazure, and Lakhdar Sais 122
A Four-Valued Fuzzy Prepositional Logic
Umberto Straccia 128
AUTOMATED REASONING 5: DESCRIPTION LOGIC
Autoepistemic Description Logics Francesco
M. Donini, Daniele Nardi, and Riccardo Rosati 136
Reifying Concepts in Description Logics
Liviu Badea 142
AUTOMATED REASONING 6: NONMONOTONISM
Philippe Besnard and lorsten H. Schaub 150
A default interpretation of defeasible network
Xianchang Wangjia-Huai You, and Li Yan Yuan 156
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
Ulrich Junker 162
Compiling reasoning with and about preferences into default logic
James P. Delgrande and Torsten H. Schaub 168
AUTOMATED REASONING 7: NONMONOTONISM FOR LOGIC PROGRAMMING
Learning Extended Logic Programs
Katsumi Inoue and Yoshimitsu Kudoh 176
Compiling Prioritized Circumscription into Extended Logic Programs
Toshiko Wakaki and Ken Satoh 182
AUTOMATED REASONING 8: MODAL LOGIC
Prefixed Tableaux Systems for Modal Logics with Enriched Languages
Philippe Balbiani and Stephane Demri 190
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
A. Montanari and A. Policriti 196
On evaluating decision procedures for modal logic
Ullrich Hustadt and Renate A. Schmidt 202
AUTOMATED REASONING 9: ANALOGY
Production: A Common Form of Induction and Analogy
Jun Arima 210
Analogy and Abduction in Automated Deduction Gilles
DEfourneaux and Nicolas Peltier 216
CASE-BASED REASONING
CASE BASED REASONING 1
Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell, and Kenneth Adamson 226
The Competence of Sub-Optimal Theories of Structure Mapping on Hard Analogies
Tony Veale and Mark Keane 232
An Average-Case Analysis of the R-Nearest Neighbor Classifier for Noisy Domains
Seishi Okamoto and Nobuhiro Yugami 238
CASE BASED REASONING 2
Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning
David B. Leake, Andrew Kinley, and David Wilson 246
Aggregating Features and Matching Cases on Vague Linguistic Expressions
Alfons Schuster, Werner Dubitzky, Philippe Lopes,Kenneth Adamson, David A. Bell,John G. Hughes, and John A. White 252
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results
Tu Bao Ho and Chi Mai Luong 258
COGNITIVE MODELING
COGNITIVE MODELING 1
Acquisition of Human Feelings in Music Arrangement
Masayuki Numao, Masashi Kobayashi, and Katsuyuki Sakaniwa 268
Using Data and Theory in Multistrategy (Mis)Concept(ion) Discovery
Raymond Sison, Masayuki Numao, and Masamichi Shimura 274
An Aggregation Procedure for Building Episodic Memory
Olivier Ferret and Brigitte Grau 280
COGNITIVE MODELING 2
An Achievement Test for Knowledge-Based Systems: QUEM
Caroline Clarke Hayes and Michael I. Parzen 288
A Functional Theory of Design Patterns
Sambasiva R. Bhatta and Ashok K. Goel 294
Mental Tracking: A Computational Model of Spatial Development
Kazuo Hiraki, Akio Sashima, and Steven Phillips 301
COGNITIVE MODELING 3
In the Quest of the Missing Link
Guilherme Bittencourt 310
Implementing BDI-like Systems by Direct Execution
Michael Fisher 316
Managing decision resources in plan execution
Michael Freed and Roger Remington 322
COMPUTER-AIDED EDUCATION
Use of Abstraction and Complexity Levels in Intelligent Educational Systems Design
Ruddy Lelouche and Jean-Francois Morin 329
Reasoning Symbolically About Partially Matched Cases
Kevin D. Ashley and Vincent Aleven 335
Task Ontology Makes It Easier To Use Authoring Tools
Mitsuru Ikeda, Kazuhisa Seta, and Riichiro Mizoguchi 342
CONSTRAINT SATISFACTION
CONSTRAINT SATISFACTION 1: CONSTRAINT PROGRAMMING
Semiring-based Constraint Logic Programming
Stefano Bistarelli, Ugo Montanari, and Francesca Rossi 352
Computational Complexity of Multi-way, Dataflow Constraint Problems
Gilles Trombettoni and Bertrand Neveu 358
CONSTRAINT SATISFACTION 2: SAT
Heuristics Based on Unit Propagation for Satisfiability Problems
Chu Min Li and Anbulagan 366
Hidden Gold in Random Generation of SAT Satisfiable Instances
Thierry Castell and Michel Cayrol 372
DISCLAIMER: Please note that IJCAI Organization is the sole copyright owner of all materials published in the Proceedings of its conferences. All rights are reserved. No part of any IJCAI conference Proceedings may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, which is also the IJCAI Organization. Contact information for obtaining written permission can be found here.