List of contents of the Proceedings of the

15'th International Joint Conference on Artificial Intelligence, 1997 (IJCAI-97)

c-ijcai-97-4
A. Srinivasan, R. D. King, S. H. Muggleton, and M. J. E. Sternberg:
The Predictive Toxicology Evaluation Challenge.
Pages 4-9.

c-ijcai-97-10
Nir Friedman, Moises Goldszmidt, David Heckerman, and Stuart Russell:
Challenge: What is the Impact of Bayesian Networks on Learning?.
Pages 10-15.

c-ijcai-97-16
Mike Perkowitz and Oren Etzioni:
Adaptive Web Sites: an AI Challenge.
Pages 16-23.

c-ijcai-97-24
Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela Veloso, Silvia Coradeschi, Eiichi Osawa, Hitoshi Matsubara, Itsuki Noda, and Minoru Asada:
The RoboCup Synthetic Agent Challenge 97.
Pages 24-29.

c-ijcai-97-30
Hiroshi G. Okuno, Tomohiro Nakatani, and Takeschi Kawabata:
Understanding Three Simulataneous Speeches.
Pages 30-35.

c-ijcai-97-36
Hiroshi Ishiguro:
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation.
Pages 36-43.

c-ijcai-97-44
Subbarao Kambhampati:
Challenges in bridging plan synthesis paradigms.
Pages 44-49.

c-ijcai-97-50
Bart Selman, Henry Kautz, and David McAllester:
Ten Challanges in Propositional Reasoning and Search.
Pages 50-54.

c-ijcai-97-55
James Geller:
Challenge: How IJCAI 1999 can Prove the Value of AI by Using AI.
Pages 55-61.

c-ijcai-97-62
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, and Henri Prade:
Qualitative Relevance and Independence: A Roadmap.
Pages 62-67.

c-ijcai-97-68
Paolo Liberatore:
The Complexity of Belief Update.
Pages 68-73.

c-ijcai-97-74
Mary-Anne Williams:
Anytime Belief Revision.
Pages 74-81.

c-ijcai-97-82
Yan Zhang and Norman Y. Foo:
Towards Generalized Rule-based Updates.
Pages 82-88.

c-ijcai-97-89
Dongmo Zhang, Shifu Chen, Wujia Zhu, and Zhaoqian Chen:
Representation Theorems for Multiple Belief Changes.
Pages 89-94.

c-ijcai-97-95
Dongmo Zhang, Shifu Chen, Wujia Zhu, and Hongbing Li:
Nonmonotonic Reasoning and Multiple Belief Revision.
Pages 95-101.

c-ijcai-97-102
Jörg Denzinger, Marc Fuchs, and Matthias Fuchs:
High Performance ATP Systems by Combining Several AI Methods.
Pages 102-107.

c-ijcai-97-108
David A. Plaisted and Yunshan Zhu:
Equational Reasoning using AC Constraints.
Pages 108-113.

c-ijcai-97-114
Andrei Voronkov:
Strategies in Rigid-Variable Methods.
Pages 114-121.

c-ijcai-97-122
Yacine Boufkhad, Eric Grégoire, Pierre Marquis, Bertrand Mazure, and Lakhdar Saïs:
Tractable Cover Compilations.
Pages 122-127.

c-ijcai-97-128
Umberto Straccia:
A Four-Valued Fuzzy Propositional Logic.
Pages 128-135.

c-ijcai-97-136
Francesco M. Donini, Daniele Nardi, and Riccardo Rosati:
Autoepistemic Description Logics.
Pages 136-141.

c-ijcai-97-142
Liviu Badea:
Reifying Concepts in Description Logics.
Pages 142-149.

c-ijcai-97-150
Philippe Besnard and Torsten H. Schaub:
Circumscribing Inconsistency.
Pages 150-155.

c-ijcai-97-156
Xianchang Wang, Jia-Huai You, and Li Yan Yuan:
A default interpretation of defeasible network.
Pages 156-161.

c-ijcai-97-162
Ulrich Junker:
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions.
Pages 162-167.

c-ijcai-97-168
James P. Delgrande and Torsten H. Schaub:
Compiling reasoning with and about preferences into default logic.
Pages 168-175.

c-ijcai-97-176
Katsumi Inoue and Yoshimitsu Kudoh:
Learning Extended Logic Programs.
Pages 176-181.

c-ijcai-97-182
Toshiko Wakaki and Ken Satoh:
Compiling Prioritized Circumscription into Extended Logic Programs.
Pages 182-189.

c-ijcai-97-190
Philippe Balbiani and Stéphane Demri:
Prefixed Tableaux Systems for Modal Logics with Enriched Languages.
Pages 190-195.

c-ijcai-97-196
A. Montanari and A. Policriti:
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics.
Pages 196-201.

c-ijcai-97-202
Ullrich Hustadt and Renate A. Schmidt:
On evaluating decision procedures for modal logic.
Pages 202-209.

c-ijcai-97-210
Jun Arima:
Preduction: A Common Form of Induction and Analogy.
Pages 210-215.

c-ijcai-97-216
Gilles Défourneaux and Nicolas Peltier:
Analogy and Abduction in Automated Deduction.
Pages 216-225.

c-ijcai-97-226
Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell, and Kenneth Adamson:
How Similar is VERY YOUNG to 43 Years of Age?.
Pages 226-231.

c-ijcai-97-232
Tony Veale and Mark Keane:
The Competence of Sub-Optimal Theories of Structure Mapping on Hard Analogies.
Pages 232-237.

c-ijcai-97-238
Seishi Okamoto and Nobuhiro Yugami:
An Average-Case Analysis of the <e k e>-Nearest Neighbor Classifier for Noisy Domains.
Pages 238-245.

c-ijcai-97-246
David B. Leake, Andrew Kinley, and David Wilson:
Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning.
Pages 246-251.

c-ijcai-97-252
Alfons Schuster, Werner Dubitzky, Philippe Lopes, Kenneth Adamson, David A. Bell, John G. Hughes, and John A. White:
Aggregating Features and Matching Cases on Vague Linguistic Expressions.
Pages 252-257.

c-ijcai-97-258
Tu Bao Ho and Chi Mai Luong:
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results.
Pages 258-267.

c-ijcai-97-268
Masayki Numao, Masashi Kobayashi, and Katsuyuki Sakaniwa:
Acquisition of Human Feelings in Music Arrangement.
Pages 268-273.

c-ijcai-97-274
Raymond Sison, Masayuki Numao, and Masamichi Shimura:
Using Data and Theory in Multistrategy (Mis)Concept(ion) Discovery.
Pages 274-279.

c-ijcai-97-280
Olivier Ferret and Brigitte Grau:
An Aggregation Procedure for Building Episodic Memory.
Pages 280-287.

c-ijcai-97-288
Caroline Clarke Hayes and Michael I. Parzen:
An Achievement Test for Knowledge-Based Systems: QUEM.
Pages 288-293.

c-ijcai-97-294
Sambasiva R. Bhatta and Ashok K. Goel:
A Functional Theory of Design Patterns.
Pages 294-300.

c-ijcai-97-301
Kazuo Hiraki, Akio Sashima, and Steven Phillips:
Mental Tracking: A Computational Method of Spatial Development.
Pages 301-309.

c-ijcai-97-310
Guilherme Bittencourt:
In the Quest of the Missing Link.
Pages 310-315.

c-ijcai-97-316
Michael Fisher:
Implementing BDI-like Systems by Direct Execution.
Pages 316-321.

c-ijcai-97-322
Michael Freed and Roger Remington:
Managing decision resources in plan execution.
Pages 322-328.

c-ijcai-97-329
Ruddy Lelouche and Jean-François Morin:
Use of Abstraction and Complexity Levels in Intelligent Educational Systems Design.
Pages 329-334.

c-ijcai-97-335
Kevin D. Ashley and Vincent Aleven:
Reasoning Symbolically About Partially Matched Cases.
Pages 335-341.

c-ijcai-97-342
Mitsuru Ikeda, Kazuhisa Seta, and Riichiro Mizoguchi:
Task Ontology Makes It Easier To Use Authoring Tools.
Pages 342-351.

c-ijcai-97-352
Stefano Bistarelli, Ugo Montanari, and Francesca Rossi:
Semiring-based Constraint Logic Programming.
Pages 352-357.

c-ijcai-97-358
Gilles Trombettoni and Bertrand Neveu:
Computational Complexity of Multi-way, Dataflow Constraint Problems.
Pages 358-365.

c-ijcai-97-366
Chu Min Li and Anbulagan:
Heuristics Based on Unit Propagation for Satisfiability Problems.
Pages 366-371.

c-ijcai-97-372
Thierry Castell and Michel Cayrol:
Hidden Gold e in Random Generation of SAT Satisfiable Instances.
Pages 372-377.

c-ijcai-97-378
Benjamin W. Wah and Yi Shang:
Discrete Lagrangian-Based Search for Solving MAX-SAT Problems.
Pages 378-383.

c-ijcai-97-384
Jeremy Frank:
Learning Short-Term Weights for GSAT.
Pages 384-391.

c-ijcai-97-392
Boi Faltings and Esther Gelle:
Local consistency for ternary numeric constraints.
Pages 392-397.

c-ijcai-97-398
Christian Bessière and Jean-Charles Régin:
Arc consistency for general constraint networks: preliminary results.
Pages 398-404.

c-ijcai-97-405
Yves Deville, Olivier Barette, and Pascal Van Hentenryck:
Constraint Satisfaction over Connected Row Convex Constraints.
Pages 405-411.

c-ijcai-97-412
Romuald Debruyne and Christian Bessière:
Some Practicable Filtering Techniques for the Constraint Satisfaction Problem.
Pages 412-417.

c-ijcai-97-418
Rainer Weigel and Boi V. Faltings:
Structuring Techniques for Constraint Satisfaction Problems.
Pages 418-423.

c-ijcai-97-424
Javier Larrosa:
Merging constraint satisfaction subproblems to avoid redundant search.
Pages 424-433.

c-ijcai-97-434
Markus Stumptner and Franz Dale:
Locating Faults in Tree-Structured Networks.
Pages 434-439.

c-ijcai-97-440
Markus Stumptner and Franz Wotawa:
Diagnosing Tree Structured Systems.
Pages 440-445.

c-ijcai-97-446
Gianfranco Lamperti and Paolo Pogliano:
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks.
Pages 446-453.

c-ijcai-97-454
Annette ten Teije and Frank van Harmelen:
Exploiting domain knowledge for approximate diagnosis.
Pages 454-459.

c-ijcai-97-460
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl:
Semantically Guided Theorem Proving for Diagnosis Applications.
Pages 460-465.

c-ijcai-97-466
Peter Fröhlich and Wolfgang Nejdl:
A Static Model-Based Engine for Model-Based Reasoning.
Pages 466-473.

c-ijcai-97-474
Etienne Liez and Patrick Taillibert:
Polynomial Temporal Band Sequences for Analog Diagnosis.
Pages 474-479.

c-ijcai-97-480
Peter Struss:
Fundamentals of Model-Based Diagnosis of Dynamic Systems.
Pages 480-485.

c-ijcai-97-486
H. de Jong and F. van Raalte:
Comparative Analysis of Structurally Different Dynamical Systems.
Pages 486-493.

c-ijcai-97-494
Yumi Iwasaki, Adam Farquhar, Richard Fikes, and James Rice:
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge.
Pages 494-500.

c-ijcai-97-501
Yoshinobu Kitamura, Mitsuru Ikeda, and Riichiro Mizoguchi:
A Casual Time Ontology for Qualitative Reasoning.
Pages 501-507.

c-ijcai-97-508
Alvaro del Val, Pedrito Maynard-Reid II, and Yoav Shoham:
Qualitative Reasoning about Perception and Belief.
Pages 508-513.

c-ijcai-97-514
Pavan Sikka and Brenan J. McCarragher:
Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration.
Pages 514-521.

c-ijcai-97-522
Jochen Renz and Bernhard Nebel:
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment on the Region Connection Calculus.
Pages 522-527.

c-ijcai-97-528
Mateja Jamnik, Alan Bundy, and Ian Green:
Automation of Diagrammatic Reasoning.
Pages 528-533.

c-ijcai-97-534
Kenneth Yip:
Structural Inferences from Massive Datasets.
Pages 534-541.

c-ijcai-97-542
Koichi Kurumatani and Mari Nakamura:
Qualitative Analysis of Causal Graphis with Equilibrium Type-Transition.
Pages 542-548.

c-ijcai-97-549
Norman Y. Foo, Abhaya Nayak, Maurice Pagnucco, Pavlos Peppas, and Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS.
Pages 549-554.

c-ijcai-97-555
Hector Geffner:
Causality, Constraints and the Indirect Effects of Actions.
Pages 555-561.

c-ijcai-97-562
Eleni Stroulia and Ashok K. Goel:
Redesigning a Problem-Solver's Operators to Improve Solution Quality.
Pages 562-567.

c-ijcai-97-568
Pieter J. Mosterman and Gautam Biswas:
Formal Specifications for Hybrid Dynamical Systems.
Pages 568-577.

c-ijcai-97-578
Keith Decker, Katia Sycara, and Mike Williams:
Middle-Agents for the Internet.
Pages 578-583.

c-ijcai-97-584
Yannis Labrou and Tim Finin:
Semantics and Conversations for an Agent Communication Language.
Pages 584-591.

c-ijcai-97-592
Takayuki Ito and Toramatsu Shintani:
Persuasion among Agents: An Approach to Implementing a Group Decision Support System Based on Multi-Agent Negotiation.
Pages 592-599.

c-ijcai-97-600
Mark D'Inverno, Michael Luck, and Michael Wooldridge:
Cooperation Structures.
Pages 600-605.

c-ijcai-97-606
David Carmel and Shaul Markovitch:
Exploration and Adaptation in Multiagent Systems: A Model-based Approach.
Pages 606-611.

c-ijcai-97-612
Edmund H. Durfee and Young-pa So:
The Effects of Runtime Coordination Strategies Within Static Organizations.
Pages 612-619.

c-ijcai-97-620
Aaron Armstrong and Edmund Durfee:
Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems.
Pages 620-625.

c-ijcai-97-626
Yoav Shoham and Katsumi Tanaka:
A dynamic theory of incentives in multi-agent systems.
Pages 626-631.

c-ijcai-97-632
Tuomas Sandholm and Fredrik Ygge:
On the Gains and Losses of Speculation in Equilibrium Markets.
Pages 632-639.

c-ijcai-97-640
M. V. Nagendra Prasad and Victor R. Lesser:
The Use of Meta-level Information in Learning Situation-Specific Coordination.
Pages 640-646.

c-ijcai-97-647
Lobel Crnogorac, Anand S. Rao, and Kotagiri Ramamohanarao:
Analysis of Inheritance Mechanisms in Agent-Oriented Programming.
Pages 647-654.

c-ijcai-97-655
Leora Morgenstern and Moninder Singh:
An Expert System Using Nonmonotonic Techniques for Benefits Inquiry in the Insurance Industry.
Pages 655-661.

c-ijcai-97-662
Stefan Kramer, Hermann Kaindl, and Stefan Schlee:
Can We Benefit from Metrics in KBS Development?.
Pages 662-667.

c-ijcai-97-668
John Kingston, Anna Griffith, and Terry Lydiard:
Multi-Perspective Modelling of the Air Campaign Planning process.
Pages 668-677.

c-ijcai-97-684
Takuya Kojima, Kazuhiro Ueda, and Saburo Nagano:
An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go.
Pages 684-691.

c-ijcai-97-692
Andreas Junghanns and Jonathan Schaeffer:
Search Versus Knowledge in Game-Playing Programs Revisited.
Pages 692-697.

c-ijcai-97-698
Christophe Meyer, Jean-Gabriel Ganascia, and Jean-Daniel Zucker:
Learning Strategies in Games by Anticipation.
Pages 698-707.

c-ijcai-97-716
Jaime G. Carbonell, Yiming Yang, Robert E. Frederking, Ralf D. Brown, Yibing Geng, and Danny Lee:
Adaptive Personal Information Filtering System that Organizes Personal Profiles Automatically.
Pages 716-721.

c-ijcai-97-722
Yukio Ohsawa and Masahiko Yachida:
An Index Navigator for Understanding and Expressing User's Coherent Interest.
Pages 722-728.

c-ijcai-97-729
Nicholas Kushmerick, Daniel S. Weld, and Robert Doorenbos:
Wrapper Induction for Information Extraction.
Pages 729-737.

c-ijcai-97-738
Masanori Sugimoto, Norio Katayama, and Atsuhiro Takasu:
COSPEX: A System for Constructing Private Digital Libraries.
Pages 738-744.

c-ijcai-97-745
Wai Lam, Kon Fan Low, and Chao Yang Ho:
Using a Bayesian Network Induction Approach for Text Categorization.
Pages 745-750.

c-ijcai-97-751
Scott B. Huffman and Catherine Baudin:
Toward Structured Retrieval in Semi-structured Information Spaces.
Pages 751-757.

c-ijcai-97-758
Daniela Rus and Peter de Santis:
The Self-Organizing Desk.
Pages 758-763.

c-ijcai-97-764
Gianni Amati, Fabio Crestani, and Flavio Ubaldini:
A Learning System for Selective Dissemination of Information.
Pages 764-769.

c-ijcai-97-770
Thorsten Jachims, Dayne Freitag, and Tom Mitchell:
WebWatcher: A Tour Guide for the World Wide Web.
Pages 770-777.

c-ijcai-97-778
Olivier M. Duschka and Alon Y. Levy:
Recursive Plans for Information Gathering.
Pages 778-784.

c-ijcai-97-785
Marc Friedman and Daniel S. Weld:
Efficiently Executing Information-Gathering Plans.
Pages 785-791.

c-ijcai-97-798
Tobias Scheffer and Ralf Herbrich:
Unbiased Assessment of Learning Algorithms.
Pages 798-803.

c-ijcai-97-804
Gregory Z. Grudic and Peter D. Lawrence:
Is Nonparametric Learning Parctical in Very High Dimensional Spaces?.
Pages 804-809.

c-ijcai-97-810
Takashi Washio and Hiroschi Motoda:
Discovering Admissible Models of Complex Systems Based on Scale-Types and Identity Constraints.
Pages 810-819.

c-ijcai-97-820
Takayuki Kohri, Kei Matsubayashi, and Mario Tokoro:
An Adaptive Architecture for Modular Q-Learning.
Pages 820-825.

c-ijcai-97-826
Rémi Munos:
A convergent Reinforcement Learning algorithm in the continuous case based on a Finite Difference method.
Pages 826-831.

c-ijcai-97-832
Devika Subramanian, Peter Druschel, and Johnny Chen:
Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks.
Pages 832-839.

c-ijcai-97-840
Paul Davidsson:
Integrating Models of Discrimination and Characterization for Learning from Exa mples in Open Domains.
Pages 840-845.

c-ijcai-97-846
Geoffrey I. Webb:
Decision Tree Grafting.
Pages 846-851.

c-ijcai-97-852
Johannes Fürnkranz:
Noise-Tolerant Windowing.
Pages 852-859.

c-ijcai-97-860
Lars Asker and Richard Maclin:
Ensembles as a Sequence of Classifiers.
Pages 860-865.

c-ijcai-97-866
Kai Ming Ting and Ian H. Witten:
Stacked Generalization: when does it work?.
Pages 866-873.

c-ijcai-97-874
Charles X. Ling and Handong Wang:
Alignment Algorithms for Learning to Read Aloud.
Pages 874-879.

c-ijcai-97-880
Hideki Asoh, Satoru Hayamizu, Isao Hara, Yoichi Motomura, Shotaro Akaho, and Toshihiro Matsui:
Socially Embedded Learning of the Offic-Conversant Mobile Robot jijo-2 e.
Pages 880-887.

c-ijcai-97-888
Michèle Sebag and Céline Rouveirol:
Tractable Induction and Classification in First Order Logic Via Stochastic Matching.
Pages 888-893.

c-ijcai-97-894
Yutaka Sasaki and Masahiko Haruno:
RHB+:A Type-Oriented ILP System Learning from Positive Data.
Pages 894-899.

c-ijcai-97-900
Yannis Dimopoulus, Saso Dzeroski, and Antonis Kakas:
Integrating Explanatory and Descriptive Learning in ILP.
Pages 900-907.

c-ijcai-97-908
G. M. Shiraz and C. Sammut:
Cobining Knowledge Acquisition and Machine Learning to Control Dynamic Systems.
Pages 908-913.

c-ijcai-97-914
Dorian Suc and Ivan Bratko:
Skill reconstruction as induction of LQ controllers with subgoals.
Pages 914-919.

c-ijcai-97-920
Hagit Shatkay and Leslie Pack Kaelbling:
Learning Topological Maps with Weak Local Odometric Information.
Pages 920-929.

c-ijcai-97-930
Bing Liu, Liang-Ping Ku, and Wynne Hsu:
Discovering Interesting Holes in Data.
Pages 930-935.

c-ijcai-97-936
Tatsuya Nomura:
An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size.
Pages 936-941.

c-ijcai-97-942
Ke Wang and Han Chong Goh:
Minimum Splits Based Discretization for Continuous Features.
Pages 942-951.

c-ijcai-97-952
Charles B. Callaway and James C. Lester:
Dynamically Improving Explanations: A Revision-Based Approach to Explanation Generation.
Pages 952-958.

c-ijcai-97-959
Detlef Fehrer and Helmut Horacek:
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs.
Pages 959-964.

c-ijcai-97-965
Xiaorong Huang and Armin Fiedler:
Proof Verbalization as an Application of NLG.
Pages 965-971.

c-ijcai-97-972
Jun-Jie Li and Key-Sun Choi:
Corpus-Based Chinese-Korean Abstracting.
Pages 972-976.

c-ijcai-97-977
Kiyoshi Yamabana, Shin-ichiro Kamei, Kazunori Muraki, Shinichi Doi, Shinko Tamura, and Kenji Satoh:
A Hybrid Approach to Interactive Machine Translation-Integrating Rule-based, Corpus-based, and Example-based Method.
Pages 977-982.

c-ijcai-97-983
Hideki Mima, Osamu Furuse, and Hitoshi Iida:
Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Information from Context, Situation and Environment.
Pages 983-989.

c-ijcai-97-990
Nikitas M. Sgouros:
Dynamic, User-Centered Resolution in Interactive Stories.
Pages 990-995.

c-ijcai-97-996
Steffen Staab and Udo Hahn:
"Tall", "Good", "High"-Compared to What?.
Pages 996-1001.

c-ijcai-97-1002
Marc Dymetman:
Charts, interaction-free grammars, and the compact representation of ambiguity.
Pages 1002-1009.

c-ijcai-97-1010
Katja Markert and Udo Hahn:
On the Interaction of Metonymies and Anaphora.
Pages 1010-1015.

c-ijcai-97-1016
Claire Gardent and Michael Kohlhase:
Computing Parallelism in Discourse.
Pages 1016-1021.

c-ijcai-97-1022
Chris Reed and Derek Long:
Content Ordering in the Generation of Persuasive Discourse.
Pages 1022-1029.

c-ijcai-97-1030
M. D Sadek, P. Bretier, and F. Panaget:
ARTIMIS: Natural Dialogue Meets Rational Agency.
Pages 1030-1035.

c-ijcai-97-1036
Matthias Denecke:
An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction.
Pages 1036-1041.

c-ijcai-97-1042
Hervé Blanchon:
Interactive Disambiguation on Natural Language Input: a Methodology and Two Implementations for French and English.
Pages 1042-1049.

c-ijcai-97-1050
Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, and Hidenori Itoh:
A Method of Generation Calligraphy of Japanese Character using Deformable Contours.
Pages 1050-1055.

c-ijcai-97-1056
Michelle X. Zhou and Steven K. Feiner:
The Representation and Use fo a Visual Lexicon for Automated Graphics Generation.
Pages 1056-1065.

c-ijcai-97-1066
Paolo Frasconi, Marco Gori, and Alessandro Sperduti:
On The Efficient Classificaton of Data Structures by Neural Networks.
Pages 1066-1071.

c-ijcai-97-1072
Ju:rgen Rahmel, Christian Blum, and Peter Hahn:
On the role of Hierarchy for Neural Network Interpretation.
Pages 1072-1077.

c-ijcai-97-1078
Kazumi Saito and Ryohei Nakano:
Law Discovery using Neural Networks.
Pages 1078-1083.

c-ijcai-97-1084
Yoshiteru Ishida:
Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor.
Pages 1084-1091.

c-ijcai-97-1092
Will Lowe:
Meaning and the Mental Lexicon.
Pages 1092-1097.

c-ijcai-97-1098
Hiroshi Tsukimoto:
Extracting Propositions from Trained Neural Networks.
Pages 1098-1105.

c-ijcai-97-1106
Nigel Collier:
Convergence time characteristics of an associative memory for natural language processing.
Pages 1106-1113.

c-ijcai-97-1114
Richard S. Zemel and Peter Dayan:
Combining Probabilistic Population Codes.
Pages 1114-1119.

c-ijcai-97-1120
Yoonsuck Choe and Risto Miikkulainen:
Connected Spiking Neurons.
Pages 1120-1125.

c-ijcai-97-1126
Kunio Kashino and Hiroshi Murase:
A Music Stream Segregation System Based on Adaptive Multi-Agents.
Pages 1126-1133.

c-ijcai-97-1134
Loo-Nin Teow and Kia-Fock Loe:
An effective learning method for max-min neural networks.
Pages 1134-1139.

c-ijcai-97-1140
Ton Weijters, H. Jaap van den Herik, Antal van den Bosch, and Eric Postma:
Avoiding Overfitting with BP-SOM.
Pages 1140-1145.

c-ijcai-97-1146
Masahiro Murakawa, Shuji Yoshizawa, Isamu Kajitani, and Tetsuya Higuchi:
Evolvable Hardware for Generalized Neural Networks.
Pages 1146-1155.

c-ijcai-97-1156
Craig Boutilier, Ronen I. Brafman, and Christoper Geib.:
Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning.
Pages 1156-1162.

c-ijcai-97-1163
Robert Givan and Thomas Dean:
Model Minimization, Regression, and Propositional STRIPS Planning.
Pages 1163-1168.

c-ijcai-97-1169
Michael D. Ernst, Todd D. Millstein, and Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems.
Pages 1169-1177.

c-ijcai-97-1178
Brian C. Williams and P. Pandurang Nayak:
A Reactive Planner for a Model-based Executive.
Pages 1178-1185.

c-ijcai-97-1186
Michael D. Howard:
Modeling Command Entities.
Pages 1186-1193.

c-ijcai-97-1194
Jun Miura and Yoshiaki Shirai:
Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost.
Pages 1194-1200.

c-ijcai-97-1201
Abdel-Illah Mouaddib and Shlomo Zilberstein:
Handling Duration Uncertainty in Meta-Level Control of Progressive Processing.
Pages 1201-1207.

c-ijcai-97-1208
Neal Lesh:
Adaptive goal recognition.
Pages 1208-1214.

c-ijcai-97-1215
Witold Lukaszewicz and Ewa Madalinska-Bugaj:
Reasoning about Plans.
Pages 1215-1220.

c-ijcai-97-1221
Guiseppe De Giacomo, Yves Lespérance, and Hector J. Levesque:
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus.
Pages 1221-1226.

c-ijcai-97-1227
Tara A. Estlin and Raymond J. Mooney:
Learning to Improve both Efficiency and Quality of Planning.
Pages 1227-1233.

c-ijcai-97-1234
Barney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, and Ben Smith:
Robust Periodic Planning and Execution for Autonomous Spacecraft.
Pages 1234-1239.

c-ijcai-97-1240
Susanne Biundo and Werner Stephan:
System Assistance in Structured Domain Model Development.
Pages 1240-1245.

c-ijcai-97-1246
Leliane Nunes de Barros, James Hendler, and V. Richard Benjamins:
Par-KAP:a Knowledge Acquisition Tool for Building Practical Planning Systems.
Pages 1246-1253.

c-ijcai-97-1254
Andrea Schaerf:
Combining lical Search and Look-Ahead for Scheduling and Constraint satisfaction Problems.
Pages 1254-1259.

c-ijcai-97-1260
Robert A Morris, John L. Bresina, and Stuart M. Rodgers:
Automatic Generation of Heuristics for Scheduling.
Pages 1260-1266.

c-ijcai-97-1267
Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, and Kang G. Shin:
Development of Iterative Real-time Scheduler to Planner Feedback.
Pages 1267-1275.

c-ijcai-97-1276
Timothy Huang and Stuart Russell:
Object Identification in a Bayesian Context.
Pages 1276-1283.

c-ijcai-97-1284
David Poole:
Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic in ference.
Pages 1284-1291.

c-ijcai-97-1292
John Binder, Kevin Murphy, and Stuart Russell:
Space-efficient in dynamic probabilistic networks.
Pages 1292-1296.

c-ijcai-97-1297
Rina Dechter:
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning.
Pages 1297-1303.

c-ijcai-97-1304
Honghua Dai, Kevin Korb, Chris Wallace, and Xindong Wu:
A Study of Causal Discovery With Weak Links and Small Samples.
Pages 1304-1309.

c-ijcai-97-1310
Eric McCreath and Arun Sharma:
ILP with Noise and Fixed Example Size: A Bayesian Approach.
Pages 1310-1315.

c-ijcai-97-1316
Daphne Koller and Avi Pfeffer:
Learning probabilities for noisy first-order rules.
Pages 1316-1323.

c-ijcai-97-1324
Yoav Shoham:
A Symmetric View of Utilities and Probabilities.
Pages 1324-1329.

c-ijcai-97-1330
Taisuke Sato and Yoshitaka Kameya:
PRISM: A Language for Symbolic-Statistical Modeling.
Pages 1330-1939.

c-ijcai-97-1340
Ioannis M. Rekleitis, Gregory Dudek, and Evangelos E. Milios:
Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error.
Pages 1340-1345.

c-ijcai-97-1346
Wolfram Burgard, Dieter Fox, and Sebastian Thrun:
Active Mobile Robot Localization.
Pages 1346-1352.

c-ijcai-97-1353
Robin R. Murphy, Dale K. Hawkins, and Marcel J. Schoppers:
Reactive Combination of Belief Over Time Using Direct Perception.
Pages 1353-1359.

c-ijcai-97-1360
Edward W. Large, Heneik I. Christensen, and Ruzena Bajcsy:
Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics.
Pages 1360-1365.

c-ijcai-97-1366
Manfred Huber and Roderic A. Grupen:
Learning to Coordinate Controllers-Reinforcement Learning on a Control Basis.
Pages 1366-1371.

c-ijcai-97-1372
Jacques Penders and Peter J. Braspenning:
Situated Actions and Cognition.
Pages 1372-1381.

c-ijcai-97-1382
Pedro Meseguer:
Interleaved Depth-First Search.
Pages 1382-1387.

c-ijcai-97-1388
Toby Walsh:
Depth-bounded Discrepancy Search.
Pages 1388-1395.

c-ijcai-97-1396
Ian P. Gent and Toby Walsh:
From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules.
Pages 1396-1401.

c-ijcai-97-1402
Ho Soo Lee and Mark Trumbo:
An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem.
Pages 1402-1411.

c-ijcai-97-1412
Fangzhen Lin:
Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator.
Pages 1412-1419.

c-ijcai-97-1420
Marcus Bjäreland and Lars Karlsson:
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism.
Pages 1420-1425.

c-ijcai-97-1426
Tom Costello:
Change, Change, Change:three approaches.
Pages 1426-1433.

c-ijcai-97-1434
Lars Karlsson:
Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus:.
Pages 1434-1440.

c-ijcai-97-1441
Chitta Baral and Jorge Lobo:
Defeasible Specifications in Action Theories.
Pages 1441-1446.

c-ijcai-97-1447
Thomas Drakengren and Marcus Bjäreland:
Reasoning about Action in Polynomial Time.
Pages 1447-1453.

c-ijcai-97-1454
Isabel Navarrete and Roque Marin:
Qualitative Temporal Reasoning with Points and Durations.
Pages 1454-1459.

c-ijcai-97-1460
Alfonso Gerevini and Matteo Cristani:
On Finding a Solution in Temporal Constraint Satisfaction Problems.
Pages 1460-1465.

c-ijcai-97-1466
Thomas Drakengren and Peter Jonsson:
Towards a Complete Classification of Tractability in Allen's Algrebra.
Pages 1466-1475.

c-ijcai-97-1476
J. Ross Beveridge, Christopher R. Graves, and Jim Steinborn:
Comparing Random Starts Local Search with Key Feature Matching,.
Pages 1476-1481.

c-ijcai-97-1482
Jae-Moon Chung and Noboru Ohnishi:
Chain of Circles for Matching and Recognition of Planar Shapes.
Pages 1482-14887.

c-ijcai-97-1488
Shin'ichi Satoh, Yuichi Nakamura, and Takeo Kanade:
Name-It:Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing.
Pages 1488-1495.

c-ijcai-97-1496
Yuji Iwahori, Wataru Kato, Md. Shoaib Bhuiyan, Robert J. Woodham, and Naohiro Ishii:
Neural network based photometric stereo using illumination planning.
Pages 1496-1501.

c-ijcai-97-1502
Zhengyou Zhang and Gang Xu:
A General Expression of the Fundamental Matrix for Both Perspective and Affine Cameras:.
Pages 1502-1510.

c-ijcai-97-1511
Munindar P. Singh, Daniel G. Bobrow, Michael N. Huhns, Margaret King, Hiroaki Kitano, and Ray Reiter:
The Next Big Thing:Position Statements.
Pages 1511-1524.

c-ijcai-97-1525
J Heizmann and A. Zelinsky:
Robust Real-Time Face Tracking and Gesture Recognition.
Pages 1525-1530.

c-ijcai-97-1531
Lin Padgham and Guy Taylor:
PAC-Personality and Cognition:an interactive system for modelling agent scenarios.
Pages 1531-1538.

c-ijcai-97-1549
W. Bibel:
Let's plan in deductively.
Pages 1549-1562.

c-ijcai-97-1563
Margaret A. Boden:
Creativity and Artificial Intelligence.
Pages 1563-1566.

c-ijcai-97-1567
Cristiano Castelfranchi:
Modeling Social Action for AI Agents.
Pages 1567-1576.

c-ijcai-97-1577
Ernest D. Dickmanns:
Vehicles Capable of Dynamic Vision.
Pages 1577-1592.

c-ijcai-97-1593
Masayuki Inaba:
Remote-Brained Robots.
Pages 1593-1606.

c-ijcai-97-1607
Kathleen R. McKeown:
Generating Multimedia Briefings:Language Generation in a Coordinated Multimedia Environment.
Pages 1607-1612.

c-ijcai-97-1613
Leora Morgenstern:
Inheritance Comes of Age:Applying Nonmonotonic Techniques to Problems in Industry.
Pages 1613-1621.

c-ijcai-97-1622
Hiroshi Motoda and Kenichi Yoshida:
Machine Learning Techniques to Make Computers Easier to Use.
Pages 1622-1631.

c-ijcai-97-1632
Luc Steels:
The Origins of Syntax in Visually Grounded Robotic Agents.
Pages 1632-1641.

c-ijcai-97-1642
Pascal Van Hentenryck:
Numerica:a Modeling Language for Global Optimization.
Pages 1642-1650.

c-ijcai-97-1651
Aravind K. Joshi:
Research Excellence Award:Relationship Between Natural Language Processing and AI.
Pages 1651-1652.

11-Sep-97 17:44