15. IJCAI 1997: Nagoya, Japan

VOLUME 1

AI Challenges

Challenge 1

• Ashwin Srinivasan, Ross D. King, Stephen Muggleton, Michael J. E. Sternberg: The Predictive Toxicology Evaluation Challenge. 4-9 BibTeX
• Nir Friedman, Moisés Goldszmidt, David Heckerman, Stuart J. Russell: Challenge: What is the Impact of Bayesian Networks on Learning? 10-15 BibTeX
• Mike Perkowitz, Oren Etzioni: Adaptive Web Sites: an AI Challenge. 16-23 BibTeX

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 BibTeX
• Hiroshi G. Okuno, Tomohiro Nakatani, Takeshi Kawabata: Understanding Three Simultaneous Speeches. 30-35 BibTeX
• Hiroshi Ishiguro: Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation. 36-43 BibTeX

Challenge 3

• Subbarao Kambhampati: Challenges in Bridging Plan Synthesis Paradigms. 44-49 BibTeX
• Bart Selman, Henry A. Kautz, David A. McAllester: Ten Challenges in Propositional Reasoning and Search. 50-54 BibTeX
• James Geller: Challenge: How IJCAI 1999 can Prove Value of AI by Using AI. 55-61 BibTeX

Automated Reasoning

Automated Reasoning 1: Belief Revision

• Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: Qualitative Relevance and Independence: A Roadmap. 62-67 BibTeX
• Paolo Liberatore: The Complexity of Belief Update. 68-73 BibTeX
• Mary-Anne Williams: Anytime Belief Revision. 74-81 BibTeX

Automated Reasoning 2: Belief Revision

• Yan Zhang, Norman Y. Foo: Towards Generalized Rule-based Updates. 82-88 BibTeX
• Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen: Representation Theorems for Multiple Belief Changes. 89-94 BibTeX
• Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li: Nonmonotonic Reasoning and Multiple Belief Revision. 95-101 BibTeX

Automated Reasoning 3: Theorem Proving

• Jörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. 102-107 BibTeX
• David A. Plaisted, Yunshan Zhu: Equational Reasoning using AC Constraints. 108-113 BibTeX
• Andrei Voronkov: Strategies in Rigid-Variable Methods. 114-121 BibTeX

Automated Reasoning 4: Propositional KBS

• Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais: Tractable Cover Compilations. 122-127 BibTeX
• Umberto Straccia: A Four-Valued Fuzzy Propositional Logic. 128-135 BibTeX

Automated Reasoning 5: Description Logic

• Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Autoepistemic Description Logics. 136-141 BibTeX
• Liviu Badea: Reifying Concepts in Description Logics. 142-149 BibTeX

Automated Reasoning 6: Nonmonotonism

• Philippe Besnard, Torsten Schaub: Circumscribing Inconsistency. 150-155 BibTeX
• Xianchang Wang, Jia-Huai You, Li-Yan Yuan: A Default Interpretation of Defeasible Network. 156-161 BibTeX
• Ulrich Junker: A Cumulative-Model Semantics for Dynamic Preferences on Assumptions. 162-167 BibTeX
• James P. Delgrande, Torsten Schaub: Compiling Reasoning with and about Preferences into Default Logic. 168-175 BibTeX

Automated Reasoning 7: Nonmonotonism for Logic Programming

• Katsumi Inoue, Yoshimitsu Kudoh: Learning Extended Logic Programs. 176-181 BibTeX
• Toshiko Wakaki, Ken Satoh: Compiling Prioritized Circumscription into Extended Logic Programs. 182-189 BibTeX

Automated Reasoning 8: Modal Logic

• Philippe Balbiani, Stéphane Demri: Prefixed Tableaux Systems for Modal Logics with Enriched Languages. 190-195 BibTeX
• Angelo Montanari, Alberto Policriti: A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. 196-201 BibTeX
• Ullrich Hustadt, Renate A. Schmidt: On Evaluating Decision Procedures for Modal Logic. 202-209 BibTeX

Automated Reasoning 9

• Jun Arima: Preduction: A Common Form of Induction and Analogy. 210-215 BibTeX
• Gilles Défourneaux, Nicolas Peltier: Analogy and Abduction in Automated Deduction. 216-225 BibTeX

Case-Based Reasoning

Case-Based Reasoning 1

• Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell, Kenneth Adamson: How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of Polymorphic Properties. 226-231 BibTeX
• Tony Veale, Mark T. Keane: The Competence of Sub-Optimal Theories of STructure Mapping on Hard Analogies. 232-237 BibTeX
• Seishi Okamoto, Nobuhiro Yugami: An Average-Case Analysis of the k-Nearest Neighbar Classifier for Noisy Domains. 238-245 BibTeX

Case-Based Reasoning 2

• David B. Leake, Andrew Kinley, David C. Wilson: Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning. 246-251 BibTeX
• Alfons Schuster, Werner Dubitzky, Philippe Lopes, Kenneth Adamson, David A. Bell, John G. Hughes, John A. White: Aggregating Features and Matching Cases on Vague Linguistic Expressions. 252-257 BibTeX
• Tu Bao Ho, Chi Main Luong: Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results. 258-267 BibTeX

Cognitive Modeling

Cognitive Modeling 1

• Masayuki Numao, Masashi Kobayashi, Katsuyuki Sakaniwa: Acquisition of Human Feelings in Music Arrangements. 268-273 BibTeX
• Rayond Sison, Masayuki Numao, Masamichi Shimura: Using Data and Theory in Multistretegy (Mis)Concept(ion) Discovery. 274-279 BibTeX
• Olivier Ferret, Brigitte Grau: An Aggregation Procedure for Building Episodic Memory. 280-287 BibTeX

Cognitive Modeling 2

• Caroline C. Hayes, Michael I. Parzen: An Achievement Test for Knowledge-Based Systems: QUEM. 288-293 BibTeX
• Sambasiva R. Bhatta, Ashok K. Goel: A Functional Theory of Design Patterns. 294-300 BibTeX
• Kazuo Hiraki, Akio Sashima, Steven Phillips: Mental Tracking: A Computational Model of Spatial Development. 301-309 BibTeX

Cognitive Modeling 3

• Guilherme Bittencourt: In the Quest of the Missing Link. 310-315 BibTeX
• Michael Fisher: Implementing BDI-like Systems by Direct Execution. 316-321 BibTeX
• Michael Freed, Roger W. Remington: Managing Decision Resources in Plan Execution. 322-328 BibTeX

Computer-Aided Eduction

• Ruddy Lelouche, Jean-François Morin: Use of Abstraction and Complexity Levels in Intelligent Educational System Design. 329-334 BibTeX
• Kevin D. Ashley, Vincent Aleven: Reasoning Symbolically About Partially Matched Cases. 335-341 BibTeX
• Mitsuru Ikeda, Kazuhisa Seta, Riichiro Mizoguchi: Task Ontology Makes It Easier To Use Authoring Tools. 342-351 BibTeX

Constraint Satisfaction

Constraint Satisfaction 1: Constraint Programming

• Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Semiring-based Constraint Logic Programming. 352-357 BibTeX
• Gilles Trombettoni, Bertrand Neveu: Computational Complexity of Multi-way, Dataflow Constraint Problems. 358-365 BibTeX

Constraint Satisfaction 2: SAT

• Chu Min Li, Anbulagan: Heuristics Based on Unit Propagation for Satisfiability Problems. 366-371 BibTeX
• Thierry Castell, Michel Cayrol: Hidden Gold in Random Generation of SAT Satisfiable Instances. 372-377 BibTeX
• Benjamin W. Wah, Yi Shang: Discrete Lagrangian-Based Search for Solving MAX-SAT Problems. 378-383 BibTeX
• Jeremy Frank: Learning Short-Term Weights for GSAT. 384-391 BibTeX

Constraint Satisfaction 3: Local Consistency

• Boi Faltings, Esther Gelle: Local Consistency for Ternary Numeric Constraints. 392-397 BibTeX
• Christian Bessière, Jean-Charles Régin: Arc Consistency for General Constraint Networks: Preliminary Results. 398-404 BibTeX
• Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. 405-411 BibTeX

Constraint Satisfaction 4

• Romuald Debruyne, Christian Bessière: Some Practicable Filtering Techniques for the Constraint Satisfaction Problem. 412-417 BibTeX
• Rainer Weigel, Boi Faltings: Structuring Techniques for Constraint Satisfaction Problems. 418-423 BibTeX
• Javier Larrosa: Merging Constraint Satisfaction Subproblems to Avoid Redundant Search. 424-433 BibTeX

Diagnosis and Qualiative Reasoning

Diagnosis 1

• Christopher Leckie, Michael Dale: Locating Faults in Tree-Structured Networks. 434-439 BibTeX
• Markus Stumptner, Franz Wotawa: Diagnosing Tree Structured Systems. 440-445 BibTeX
• Gianfranco Lamperti, Paolo Pogliano: Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks. 446-453 BibTeX

Diagnosis 2

• Annette ten Teije, Frank van Harmelen: Exploiting Domain Knowledge for Approximate Diagnosis. 454-459 BibTeX
• Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. 460-465 BibTeX
• Peter Fröhlich, Wolfgang Nejdl: A Static Model-Based Engine for Model-Based Reasoning. 466-473 BibTeX

Diagnosis 3

• Etienne Loiez, Patrick Taillibert: Polynomial Temporal Band Sequences for Analog Diagnosis. 474-479 BibTeX
• Peter Struss: Fundamentals of Model-Based Diagnosis of Dynamic Systems. 480-485 BibTeX
• Hidde de Jong, Frank van Raalte: Comparative Analysis of STructurally Different Dynamical Systems. 486-493 BibTeX

Qualiative Reasoning 1: Modeling Support

• Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice: A Web-Based Compositional Modeling System for Sharing of Physical Knowledge. 494-500 BibTeX
• Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi: A Causal Time Ontology for Qualitative Reasoning. 501-507 BibTeX

Qualiative Reasoning 2: Perception and Belief

• Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham: Qualitative Reasoning about Perception and Belief. 508-513 BibTeX
• Pavan Sikka, Brenan J. McCarragher: Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration. 514-521 BibTeX

Qualiative Reasoning 3: Geometric and Spatial Reasoning

• Jochen Renz, Bernhard Nebel: On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. 522-527 BibTeX
• Mateja Jamnik, Alan Bundy, Ian Green: Automation of Diagrammatic Reasoning. 528-533 BibTeX
• Kenneth Yip: Structural Inferences from Massive Datasets. 534-541 BibTeX

Qualiative Reasoning 4: Causality

• Koichi Kurumatani, Mari Nakamura: Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition. 542-548 BibTeX
• Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang: Action Localness, Genericity and Invariants in STRIPS. 549-554 BibTeX
• Hector Geffner: Causality, Constraints and Indirect Effects. 555-561 BibTeX

Qualiative Reasoning 5

• Eleni Stroulia, Ashok K. Goel: Redesigning a Problem-Solver's Operations to Improve Solution Quality. 562-567 BibTeX
• Pieter J. Mosterman, Gautam Biswas: Formal Specifications for Hybrid Dynamical Systems. 568-577 BibTeX

Distributed Artificial Intelligence

Distributed AI 1: Interagent Communication

• Keith Decker, Katia P. Sycara, Mike Williamson: Middle-Agents for the Internet. 578-583 BibTeX
• Yannis Labrou, Timothy W. Finin: Semantics and Conversations for an Agent Communication Language. 584-591 BibTeX
• Takayuki Ito, Toramatsu Shintani: Persuasion among Agents: An Approach to Implementing a Group Decision System Based on Multi-Agent Negotiation. 592-599 BibTeX

Distributed AI 2: Coordination and Cooperation

• Mark d'Inverno, Michael Luck, Michael Wooldridge: Cooperation Structures. 600-605 BibTeX
• David Carmel, Shaul Markovitch: Exploration and Adaptation in Multiagent Systems: A Model-based Approach. 606-611 BibTeX
• Edmund H. Durfee, Young-pa So: The Effects of Runtime Coordination Strategies Within Static Organizations. 612-619 BibTeX

Distributed AI 3: Multiagent Algorithms

• Aaron A. Armstrong, Edmund H. Durfee: Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems. 620-625 BibTeX
• Yoav Shoham, Katsumi Tanaka: A Dynamic Theory of Incentives in Multi-Agent Systems. 626-631 BibTeX
• Tuomas Sandholm, Fredrik Ygge: On the Gains and Losses of Speculation in Equilibrium Markets. 632-639 BibTeX

Distributed AI 4: Multiagent Algorithms

• M. V. Nagendra Prasad, Victor R. Lesser: The Use of Meta-level Information in Learning Situation-Specific Coordination. 640-646 BibTeX
• Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao: Analysis of Inheritance Mechanisms in Agent-Oriented Programming. 647-654 BibTeX

Expert Systems

• Leora Morgenstern, Moninder Singh: An Expert System Using Nonmonotonic Techniques for Beneefits Inquiry in the Insurance Industry. 655-661 BibTeX
• Stefan Kramer, Hermann Kaindl, Stefan Schlee: Can We Benefit from Metrics in KBS Development? 662-667 BibTeX
• John Kingston, Anna Griffith, Terri Lydiard: Multi-Perspective Modeling of the Air Camaign Planning Process. 668-677 BibTeX

Game Playing

Game Playing 1: Go

• Patrick Ricaud: A Model of Strategy for the Game of Go Using Abstraction Mechanisms. 678-683 BibTeX
• Takuya Kojima, Kazuhiro Ueda, Saburo Nagano: An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go. 684-691 BibTeX

Game Playing 2

• Andreas Junghanns, Jonathan Schaeffer: Search Versus Knowledge in Game-Playing Programs Revisited. 692-697 BibTeX
• Christophe Meyer, Jean-Gabriel Ganascia, Jean-Daniel Zucker: Learning Strategies in Games by Anticipation. 698-707 BibTeX

Information Retrieval

Information Retrieval Distinguished Paper

• Jaime G. Carbonell, Yiming Yang, Robert E. Frederking, Ralf D. Brown, Yibing Geng, Danny Lee: Translingual Information Retrieval: A Comparative Evaluation. 708-715 BibTeX

Information Retrieval 1

• Toshiki Kindo, Hideyuki Yoshida, Tetsuro Morimoto, Taisuke Watanabe: Adaptive Personal Information Filtering System that Organizes Personal Profiles Automatically. 716-721 BibTeX
• Yukio Ohsawa, Masahiko Yachida: An Index Navigator for Understanding and Expressing User's Coherent Interest. 722-728 BibTeX
• Nicholas Kushmerick, Daniel S. Weld, Robert B. Doorenbos: Wrapper Induction for Information Extraction. 729-737 BibTeX

Information Retrieval 2

• Masanori Sugimoto, Norio Katayama, Atsuhiro Takasu: COSPEX: A System for Constructing Private Digital Libraries. 738-744 BibTeX
• Wai Lam, Kon Fan Low, Chao Yang Ho: Using a Bayesian Network Induction Approach for Text Categorization. 745-750 BibTeX
• Scott B. Huffman, Catherine Baudin: Toward Structured Retrieval in Semi-structured Information Spaces. 751-757 BibTeX

Information Retrieval 3

• Daniela Rus, Peter de Santis: The Self-Organizing Desk. 758-763 BibTeX
• Gianni Amati, Fabio Crestani, Flavio Ubaldini: A Learning System for Selective Dissemination of Information. 764-769 BibTeX
• Thorsten Joachims, Dayne Freitag, Tom M. Mitchell: Web Watcher: A Tour Guide for the World Wide Web. 770-777 BibTeX

Information Retrieval 4

• Oliver M. Duschka, Alon Y. Levy: Recursive Plans for Information Gathering. 778-784 BibTeX
• Marc Friedman, Daniel S. Weld: Efficiently Executing Information-Gathering Plans. 785-791 BibTeX

VOLUME 2

Learning

Learing 1

• Tobias Scheffer, Ralf Herbrich: Unbiased Assesment of Learning Algorithms. 798-803 BibTeX
• Gregory Z. Grudic, Peter D. Lawrence: Is Nonparametric Learning Practical in Very High Dimensional Spaces? 804-809 BibTeX
• Takashi Washio, Hiroshi Motoda: Discovering Admissible Models of Complex Systems Based on Scale-Types and Idemtity Constraints. 810-819 BibTeX

Learing 2: Reinforcement Learning

• Takayuki Kohri, Kei Matsubayashi, Mario Tokoro: An Adaptive Architecture for Modular Q-Learning. 820-825 BibTeX
• Rémi Munos: A Convergent Reinforcement Learning Algorithm in the Continuous Case Based on a Finite Difference Method. 826-831 BibTeX
• Devika Subramanian, Peter Druschel, Johnny Chen: Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks. 832-839 BibTeX

Learing 3: Decision Trees

• Paul Davidsson: Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains. 840-845 BibTeX
• Geoffrey I. Webb: Decision Tree Grafting. 846-851 BibTeX
• Johannes Fürnkranz: Noise-Tolerant Windowing. 852-859 BibTeX

Learing 4: Classification

• Lars Asker, Richard Maclin: Ensembles as a Sequence of Classifiers. 860-865 BibTeX
• Kai Ming Ting, Ian H. Witten: Stacked Generalizations: When Does It Work? 866-873 BibTeX

Learing 5: Applications

• Charles X. Ling, Handong Wang: Alignment Algorithms for Learning to Read Aloud. 874-879 BibTeX
• Hideki Asoh, Satoru Hayamizu, Isao Hara, Yoichi Motomura, Shotaro Akaho, Toshihiro Matsui: Socially Embedded Learning of the Office-Conversant Mobil Robot Jijo-2. 880-887 BibTeX

Learing 6: Logic and IPL

• Michèle Sebag, Céline Rouveirol: Tractable Induction and Classification in First Order Logic Via Stochastic Matching. 888-893 BibTeX
• Yutaka Sasaki, Masahiko Haruno: RHB+: A Type-Oriented ILP System Learning from Positive Data. 894-899 BibTeX
• Yannis Dimopoulos, Saso Dzeroski, Antonis C. Kakas: Integrating Explanatory and Descriptive Learning in ILP. 900-907 BibTeX

Learing 7: Dynamic Environments

• G. M. Shiraz, Claude Sammut: Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems. 908-913 BibTeX
• Dorian Suc, Ivan Bratko: Skill Reconstruction as Induction of LQ Controllers with Subgoals. 914-919 BibTeX
• Hagit Shatkay, Leslie Pack Kaelbling: Learning Topological Maps with Weak Local Odometric Information. 920-929 BibTeX

Learing 8

• Bing Liu, Liang-Ping Ku, Wynne Hsu: Discovering Interesting Holes in Data. 930-935 BibTeX
• Tatsuya Nomura: An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size. 936-941 BibTeX
• Ke Wang, Han Chong Goh: Minimum Splits Based Discretization for Continuous Features. 942-951 BibTeX

Natural-Language Processing and Graphical Presentatioon

Natural-Language Processing 1: Generation

• Charles B. Callaway, James C. Lester: Dynamically Imroving Explanations: A Revision-Based Approach to Explanation Generation. 952-958 BibTeX
• Detlef Fehrer, Helmut Horacek: Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. 959-964 BibTeX
• Xiaorong Huang, Armin Fiedler: Proof Verbalization as an Application of NLG. 965-972 BibTeX

Natural-Language Processing 2: Machine Translation

• Jun-Jie Li, Key-Sun Choi: Corpus-Based Chinese-Korean Abstracting Translation System. 972-976 BibTeX
• 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 BibTeX
• Hideki Mima, Osamu Furuse, Hitoshi Iida: Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and Environment. 983-989 BibTeX

Natural-Language Processing 3: Dialogue and Discourse

• Nikitas M. Sgouros: Dynamic, User-Centered Resolution in Interactive Stories. 990-995 BibTeX
• Steffen Staab, Udo Hahn: "Tall", "Good", "High" - Compared to What? 996-1001 BibTeX
• Marc Dymetman: Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity. 1002-1009 BibTeX

Natural-Language Processing 4: Dialogue and Discourse

• Katja Markert, Udo Hahn: On the Interaction of Metonymies and Anaphora. 1010-1015 BibTeX
• Claire Gardent, Michael Kohlhase: Computing Parallelism in Discourse. 1016-1021 BibTeX
• Chris Reed, Derek Long: Content Ordering in the Generation of Persuasive Discourse. 1022-1029 BibTeX

Natural-Language Processing 5: Dialogue and Discourse

• M. David Sadek, Philippe Bretier, E. Panaget: ARTIMIS: Natural Dialogue Meets Rational Agency. 1030-1035 BibTeX
• Matthias Denecke: An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction. 1036-1041 BibTeX
• Hervé Blanchon: Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementatioons for French and English. 1042-1049 BibTeX

Graphics

• Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh: A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. 1050-1055 BibTeX
• Michelle X. Zhou, Steven Feiner: The Representation and Use of a Visual Lexicon for Automated Graphics Generation. 1056-1065 BibTeX

Neural Networks

Neural Nets 1: Rule Extractions

• Paolo Frasconi, Marco Gori, Alessandro Sperduti: On the Efficient Classification of Data Structures by Neural Networks. 1066-1071 BibTeX
• Jürgen Rahmel, Christian Blum, Peter Hahn: On the Role of Hierarchy for Neural Network Interpretation. 1072-1077 BibTeX
• Kazumi Saito, Ryohei Nakano: Law Discovery using Neural Networks. 1078-1083 BibTeX
• Yoshiteru Ishida: Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor. 1084-1091 BibTeX

Neural Nets 2: Language and Structure Processing

• Will Lowe: Meaning and the Mental Lexicon. 1092-1097 BibTeX
• Hiroshi Tsukimoto: Extracting Propositions from Trained Neural Networks. 1098-1105 BibTeX
• Nigel Collier: Convergence Time Characteristics of an Associative Memory for Natural Language Processing. 1106-1113 BibTeX

Neural Nets 3: Neurobiologically Inspired Computation

• Richard S. Zemel, Peter Dayan: Combining Probabilistic Population Codes. 1114-1119 BibTeX
• Yoonsuck Choe, Risto Miikkulainen: Self-Organization and Segmentation with Laterally Connected Spiking Neurons. 1120-1125 BibTeX
• Kunio Kashino, Hiroshi Murase: A Music Stream Segregation System Based on Adaptive Multi-Agents. 1126-1133 BibTeX

Neural Nets 4: Learning Algorithms and Architectures

• Loo-Nin Teow, Kia-Fock Loe: An Effective Learning Method for Max-Min Neural Networks. 1134-1139 BibTeX
• Ton Weijters, H. Jaap van den Herik, Antal van den Bosch, Eric O. Postma: Avoiding Overfitting with BP-SOM. 1140-1145 BibTeX
• Masahiro Murakawa, Shuji Yoshizawa, Isamu Kajitani, Tetsuya Higuchi: Evolvable Hardware for Generalized Neural Networks. 1146-1155 BibTeX

Planning and Scheduling

Planning 1: Relations among Techniques

• Craig Boutilier, Ronen I. Brafman, Christopher W. Geib: Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning. 1156-1162 BibTeX
• Robert Givan, Thomas Dean: Model Minimization, Regression, and Propositional STRIPS Planning. 1163-1168 BibTeX
• Michael D. Ernst, Todd D. Millstein, Daniel S. Weld: Automatic SAT-Compilation of Planning Problems. 1169-1177 BibTeX

Planning 2: Reactive Planning

• Brian C. Williams, P. Pandurang Nayak: A Reactive Planner for a Model-based Executive. 1178-1185 BibTeX
• Michael D. Howard: Modeling Command Entities. 1186-1193 BibTeX

Planning 3: Planning under Uncertainty

• Jun Miura, Yoshiaki Shirai: Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost. 1194-1200 BibTeX
• Abdel-Illah Mouaddib, Shlomo Zilberstein: Handling Duration Uncertainty in Meta-Level Control of Progressive Processing. 1201-1207 BibTeX

Planning 4: Reasoning about Plans

• Neal Lesh: Adaptive Goal Recognition. 1208-1214 BibTeX
• Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Plans. 1215-1220 BibTeX
• Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. 1221-1226 BibTeX
• Tara A. Estlin, Raymond J. Mooney: Learning to Improve both Efficiency and Quality of Planning. 1227-1233 BibTeX

Planning 5: Applications and Support

• Barney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, Benjamin D. Smith: Robust Periodic Planning and Execution for Autonomous Spacecraft. 1234-1239 BibTeX
• Susanne Biundo, Werner Stephan: System Assistance in Structured Domain Model Development. 1240-1245 BibTeX
• Leliane Nunes de Barros, James A. Hendler, V. Richard Benjamins: Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems. 1246-1253 BibTeX

Scheduling

• Andrea Schaerf: Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems. 1254-1259 BibTeX
• Robert A. Morris, John L. Bresina, Stuart M. Rodgers: Automatic Generation of Heuristics for Scheduling. 1260-1266 BibTeX
• Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, Kang G. Shin: Development of Iterative Real-time Scheduler to Planner Feedback. 1267-1275 BibTeX

Probabilistic Reasoning

Probabilistic Reasoning Distinguisted Paper

• Timothy Huang, Stuart J. Russell: Object Identification in a Bayesian Context. 1276-1283 BibTeX

Probabilistic Reasoning 1: Efficiency

• David Poole: Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference. 1284-1291 BibTeX
• John Binder, Kevin P. Murphy, Stuart J. Russell: Space-Efficient Inference in Dynamic Probabilistic Networks. 1292-1296 BibTeX
• Rina Dechter: Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning. 1297-1303 BibTeX

Probabilistic Reasoning 2: Causal Discovery

• Honghua Dai, Kevin B. Korb, Chris S. Wallace, Xindong Wu: A Study of Causal Discovery With Weak Links and Small Samples. 1304-1309 BibTeX
• Eric McCreath, Arun Sharma: ILP with Noise and Fixed Example Size: A Bayesian Approach. 1310-1315 BibTeX
• Daphne Koller, Avi Pfeffer: Learning Probabilities for Noisy First-Order Rules. 1316-1323 BibTeX

Probabilistic Reasoning 3

• Yoav Shoham: A Symmetric View of Utilities and Probabilities. 1324-1329 BibTeX
• Taisuke Sato, Yoshitaka Kameya: PRISM: A Language for Symbolic-Statistical Modeling. 1330-1339 BibTeX

Robotics

Robotics 1

• Ioannis M. Rekleitis, Gregory Dudek, Evangelos E. Milios: Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error. 1340-1345 BibTeX
• Wolfram Burgard, Dieter Fox, Sebastian Thrun: Active Mobile Robot Localization. 1346-1352 BibTeX
• Robin R. Murphy, Dale K. Hawkins, Marcel Schoppers: Reactive Combination of Belief Over Time Using Direct Perception. 1353-1359 BibTeX

Robotics 2

• Edward W. Large, Henrik I. Christensen, Ruzena Bajcsy: Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics. 1360-1365 BibTeX
• Manfred Huber, Roderic A. Grupen: Learning to Coordinate Controllers - Reinforcement Learning on a Control Basis. 1366-1371 BibTeX
• Jacques Penders, Peter J. Braspenning: Situated Actions and Cognition. 1372-1381 BibTeX

Search

Search 1: Depth-First Search

• Pedro Meseguer: Interleaved Depth-First Search. 1382-1387 BibTeX
• Toby Walsh: Depth-bounded Discrepancy Search. 1388-1395 BibTeX

Search 2: Bin Packing

• Ian P. Gent, Toby Walsh: From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. 1396-1401 BibTeX
• Ho Soo Lee, Mark Trumbo: An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem. 1402-1411 BibTeX

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 BibTeX

Temporal Reasoning 1

• Marcus Bjäreland, Lars Karlsson: Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change. 1420-1425 BibTeX
• Tom Costello: Change, Change, Change: Three Approaches. 1426-1433 BibTeX

Temporal Reasoning 2

• Lars Karlsson: Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus. 1434-1440 BibTeX
• Chitta Baral, Jorge Lobo: Defeasible Specifications in Action Theories. 1441-1446 BibTeX
• Thomas Drakengren, Marcus Bjäreland: Reasoning about Action in Polynomial Time. 1447-1453 BibTeX

Temporal Reasoning 3

• Isabel Navarrete, Roque Marín: Qualitative Temporal Reasoning with Points and Durations. 1454-1459 BibTeX
• Alfonso Gerevini, Matteo Cristani: On Finding a Solution in Temporal Constraint Satisfaction Problems. 1460-1465 BibTeX
• Thomas Drakengren, Peter Jonsson: Towards a Complete Classification of Tractability in Allen's Algebra. 1466-1475 BibTeX

Vision

Vision 1

• J. Ross Beveridge, Christopher R. Graves, Jim Steinborn: Comparing Random Starts Local Search with Key Feature Matching. 1476-1481 BibTeX
• Jae-Moon Chung, Noboru Ohnishi: Chain of Circles for Matching and Recognition of Planar Shapes. 1482-1487 BibTeX
• Shin'ichi Satoh, Yuichi Nakamura, Takeo Kanade: Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing. 1488-1495 BibTeX

Vision 2: Stereo Vision

• Yuji Iwahori, Wataru Kato, Shoaib Bhuiyab, Robert J. Woodham, Naohiro Ishii: Neural Network Based Photometric Strereo Using Illumination Planning. 1496-1501 BibTeX
• Zhengyou Zhang, Gang Xu: A General Expression of the Fundamental Matrix for Both Perspective and Affine Cameras. 1502-1510 BibTeX

Panel

• Munindar P. Singh, Daniel G. Bobrow, Michael N. Huhns, Margaret King, Hiroaki Kitano: The Next Big Thing: Position Statements. 1511-1524 BibTeX

Videos

• J. Heizmann, Alexander Zelinsky: Robust Real-Time Face Tracking and Gesture Recognition. 1525-1530 BibTeX
• Lin Padgham, Guy Taylor: PAC - Personality and Cognition: An Interactive System for Modelling Agent Scenarios. 1531-1538 BibTeX

Doctoral Consortium Abstracts

• Alessandro Agostini: Modularity in Computer Assisted Reasoning Systems. 1539 BibTeX
• Sarah Boyd: Describing Time-Varying Data. 1540 BibTeX
• Mateja Jamnik: Automation of Diagrammatic Proofs in Mathematics. 1541 BibTeX
• Raymund Sison: Toward the Automatic Discovery of Misconceptions. 1542 BibTeX
• Hongjun Song: Control Structures for Software Agents. 1543 BibTeX
• Astro Teller: Algorithm Evolution for Signal Understanding. 1544 BibTeX
• Francesco Virili: The Use of Neural Network Approach in Financial Asset Management. 1545 BibTeX
• Hongxue Wang: Constrainted Object Hierarchy - An Architecture for Intelligent Systems. 1546 BibTeX

Invited Speakers

• Wolfgang Bibel: Let's Plan It Deductively! 1549-1562 BibTeX
• Margaret A. Boden: Creativity and Artificial Intelligence. 1563-1566 BibTeX
• Cristiano Castelfranchi: Modeling Social Action for AI Agents. 1567-1576 BibTeX
• Ernst D. Dickmanns: Vehicles Capable of Dynamic Vision. 1577-1592 BibTeX
• Masayuki Inaba: Remote-Brained Robots. 1593-1606 BibTeX
• Kathleen McKeown: Generating Multimedia Briefings: Language Generation in a Coordinated Multimedia Environment. 1607-1612 BibTeX
• Leora Morgenstern: Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. 1613-1621 BibTeX
• Hiroshi Motoda, Kenichi Yoshida: Machine Learning Techniques to Make Computers Easier to Use. 1622-1631 BibTeX
• Luc Steels: The Origins of Syntax in Visually Grounded Robotic Agents. 1632-1641 BibTeX
• Pascal Van Hentenryck: Numerica: A Modeling Language for Global Optimization. 1642-1650 BibTeX

Awards

• Aravind K. Joshi: Research Excellence Award: Relationship Between Natural Language Processing and AI. 1651-1652 BibTeX