6. PRICAI 2000: Melbourne, Australia

Invited Talks

• Nicholas R. Jennings:
  Automated Haggling: Building Artificial Negotiators. 1
• Shun-ichi Amari:
  Information Geometry of Neural Networks. 2
• Randy Goebel:
  Knowledge Representation, Belief Revision, and the Challenge of Optimality. 3
• Jae Kyu Lee:
  Artificial Intelligence Applications in Electronic Commerce. 4
• Qiang Yang, Hai-Feng Wang, Ji-Rong Wen, Gao Zhang, Ye Lu, Kai-Fu Lee, HongJiang Zhang:
  Towards a Next-Generation Search Engine. 5-15

Logic and Foundations of AI

• Setsuo Ohsuga:
  The Gap between Symbol and Non-symbol Processing - An Attempt to Represent a Database by Predicate Formulae. 16-26
• Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
  Argumentation Semantics for Defeasible Logics. 27-37
• Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak:
  A Unifying Semantics for Causal Ramifications. 38-49
• Paul Wong:
  Inconsistency and Preservation. 50-60

Induction and Logic Programming

• Anthony R. Jansen, David L. Dowe, Graham E. Farr:
  Inductive Inference of Chess Player Strategy. 61-71
• Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai:
  Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation. 72-82
• Takashi Ishikawa, Masayuki Numao, Takao Terano:
  Using Domain Knowledge in ILP to Discover Protein Functional Models. 83-92
• Helmut Prendinger, Mitsuru Ishizuka, Tetsu Yamamoto:
  The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning. 93-103
• Kouzou Ohara, Hideyuki Taka, Noboru Babaguchi, Tadahiro Kitahashi:
  Determination of General Concept in Learning Default Rules. 104-114

Reinforcement Learning

• Shingo Kato, Hiroshi Matsuo:
  A Theory of Profit Sharing in Dynamic Environment. 115-124
• Sachiyo Arai, Katia P. Sycara, Terry R. Payne:
  Experience-Based Reinforcement Learning to Acquire Effective Behavior in a Multi-agent Domain. 125-135
• Toshihiro Matsui, Hiroshi Matsuo, Akira Iwata:
  A Region Selecting Method Which Performs Observation and Action in the Multi-resolution Environment. 136-145

Machine Learning

• Masaaki Hanaoka, Masaki Kobayashi, Haruaki Yamazaki:
  RWS (Random Walk Splitting): A Random Walk Based Discretization of Continuous Attributes. 146-155
• William T. B. Uther, Manuela M. Veloso:
  The Lumberjack Algorithm for Learning Linked Decision Forests. 156-166
• Shinyoung Lim, Kwanyong Lee, Okhwan Byeon, Taiyun Kim:
  Efficient Iris Recognition System by Optimization of Feature Vectors and Classifier. 167-176
• Andrew Skabar, Anthony J. Maeder, Binh Pham:
  A Classifier Fitness Measure Based on Bayesian Likelihoods: An Approach to the Problem of Learning from Positives Only. 177-187
• Choh-Man Teng:
  Evaluating Noise Correction. 188-198
• Hyeyoung Park, Kenji Fukumizu, Shun-ichi Amari, Yillbyung Lee:
  An Efficient Learning Algorithm Using Naturla Gradient and Second Order Information of Error Surface. 199-207

Knowledge Discovery

• Vladimir Estivill-Castro, Jianhua Yang:
  Fast and Robust General Purpose Clustering Algorithms. 208-218
• Hiroshi Sakai, Akimichi Okuma:
  An Algorithm for Checking Dependencies of Attributes in a Table with Non-deterministic Information: A Rough Sets Based Approach. 219-229
• Grace W. Rumantir:
  Tropical Cyclone Intensity Forecasting Model: Balancing Complexity and Goodness of Fit. 230-240

Bayesian Networks

• Ingrid Zukerman, David W. Albrecht, Ann E. Nicholson, Krystyna Doktor:
  Trading Off Granularity against Complexity. 241-251
• Ingrid Zukerman, Nathalie Jitnah, Richard McConachy, Sarah George:
  Recognizing Intentions from Rejoinders in a Bayesian Interactive Argumentation System. 252-263
• Tim A. Wilkin, Ann E. Nicholson:
  Efficient Inference in Dynamic Belief Networks with Variable Temporal Resolution. 264-274

Beliefs and Intentions in Agents

• Johannes Heidema, Isabella C. Burger:
  Epistemic States Guiding the Rational Dynamics of Information. 275-285
• Thomas Andreas Meyer:
  Merging Epistemic States. 286-296
• Yuefeng Li, Chengqi Zhang:
  Perceiving Environments for Intelligent Agents. 297-307
• Toru Sugimoto:
  A Preference-Based Theory of Intention. 308-317

Autonomous Agents

• Dongmo Zhang, Norman Y. Foo:
  Autonomy of Autonomous Agents. 318-328
• Koichi Moriyama, Masayuki Numao:
  Constructing an Autonomous Agent with an Interdependent Heuristics. 329-339
• Takehisa Yairi, Koichi Hori, Shinichi Nakasuka:
  Unified Criterion of State Generalization for Reactive Autonomous Agents. 340-350
• Alfredo Weitzenfeld:
  From Brain Theory to Autonomous Robotic Agents. 351-361

Agent Systems

• Thorsten Buchheim, Günter Hetzel, G. Kindermann, Paul Levi:
  A Multi-agent Approach for Optical Inspection Technology. 362-372
• Midori Asaka, Takefumi Onabuta, Tadashi Inoue, Shigeki Goto:
  The Use of Mobile Agents in Tracing an Intruder in a Local Area Network. 373-382
• Jean-Christophe Soulié, Pierre Marcenac:
  A Framework to Model Multiple Environments in Multiagent Systems. 383-393
• Renee Elio, Afsaneh Haddadi, Ajit Singh:
  Task Models, Intentions, and Agent Conversation Policies. 394-403

Genetic Algorithms

• Hee-Su Kim, Sung-Bae Cho:
  Genetic Algorithm with Knowledge-Based Encoding. 404-414
• Lou Y. Liang, Russell G. Thompson, David M. Young:
  Designing Wastewater Collection Systems Using Genetic Algorithms. 415-423
• Vladimir Estivill-Castro:
  Hybrid Genetic Algorithms Are Better for Spatial Clustering. 424-434

Genetic Programming

• Sooyol Ok, Kazuo Miyashita, Seiichi Nishihara:
  Improving Performance of GP by Adaptive Terminal Selection. 435-445
• Bret Talko, Linda Stern, Leslie J. Kitchen:
  Evolving Neural Networks for Decomposable Problems Using Genetic Programming. 446-456

Constraint Satisfaction

• Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar:
  Dual Encoding Using Constraint Coverings. 457-468
• Wanlin Pang, Scott D. Goodwin:
  Consistency in General CSPs. 469-479

Neural Networks

• Vishi Karri, Fred Frost:
  Need for Optimisation Techniques to Select Neural Network Algorithms for Process Modelling of Reduction Cell. 480-489
• Fred Frost, Vishi Karri:
  Productivity Improvements through Prediction of Electrolyte Temperature in Aluminium Reduction Cell Using BP Neural Network. 490-499
• Rudy Setiono, Wee Kheng Leow:
  Pruned Neural Networks for Regression. 500-509
• Ajith Abraham, Baikunth Nath:
  Optimal Design of Neural Nets Using Hybrid Algorithms. 510-520

Markov Decision Processes

• Valentina Bayer Zubek, Thomas G. Dietterich:
  A POMDP Approximation Algorithm That Anticipates the Need to Observe. 521-532
• Bernhard Hengst:
  Generating Hierarchical Structure in Reinforcement Learning from State Variables. 533-543

Robotics

• Kazuhiro Nakadai, Hiroshi G. Okuno, Hiroaki Kitano:
  Humanoid Active Audition System Improved by the Cover Acoustics. 544-554
• David Collins, Gordon Wyeth:
  Overcoming the Effects of Sensory Delay by Using a Cerebellar Model. 555-565
• Paul Scerri, Johan Ydrén, Nancy E. Reed:
  Layered Specification of Intelligent Agents. 566-576

Image Processing and Pattern Recognition

• Robert Hanek:
  Sub-pixel Precise Edge Localization: A ML Approach Based on Color Distributions. 577-587
• Masayoshi Kanoh, Shohei Kato, Hidenori Itoh:
  Efficient Joint Detection Considering Complexity of Contours. 588-598
• Wenli Zhang, Yan Guo:
  Feature-Based Face Recognition: Neural Network Using Recognition-by-Recall. 599-607
• Shuyan Zhao, Pengfei Shi:
  Segmentation of Connected Handwritten Chinese Characters Based on Stroke Analysis and Background Thinning. 608-616
• K. Lee, Y. Lee:
  A Framework of Two-Stage Combination of Multiple Recognizers for Handwritten Numerals. 617-626

Natural Language Processing

• António Ribeiro, José Gabriel Pereira Lopes, João Mexia:
  Aligning Portuguese and Chinese Parallel Texts Using Confidence Bands. 627-637
• Satoshi Ono, Yoshinobu Hamada, Yoshitsugu Takagi, Seiichi Nishihara, Kazunori Mizuno:
  Interactive Japanese-to-Braille Translation Using Case-Based Knowledge on the Web. 638-646

Speech and Spoken Language

• Noriko Suzuki, Yugo Takeuchi, Michio Okada:
  Psychological Effects Derived from Mimicry Voice Using Inarticulate Sounds. 647-656
• Naoto Iwahashi:
  Statistical Model Based Approach to Spoken Language Acquisition. 657-667

AI in Web Technology

• Hideaki Takeda, Takeshi Matsuzuka, Yuichiro Taniguchi:
  Discovery of Shared Topics Networks among People - A Simple Approach to Find Community Knowledge from WWW Bookmarks. 668-678
• Koji Miyahara, Michael J. Pazzani:
  Collaborative Filtering with the Simple Bayesian Classifier. 679-689
• Boonserm Kijsirikul, Puay Sasiphongpairoege, Nuanwan Soonthornphisaj, Surapant Meknavin:
  Supervised and Unsupervised Learning Algorithms for Thai Web Pages Identification. 690-700
• Vincent Tam, Keng Teck Ma:
  Solving the Personal Computer Configuration Problems as Discrete Optimization Problems: A Preliminary Report. 701-711

Intelligent Systems

• Pål Skalle, Jostein Sveen, Agnar Aamodt:
  Improved Efficiency of Oil Well Drilling through Case Based Reasoning. 712-722
• Yoshinobu Kitamura, Toshinobu Sano, Riichiro Mizoguchi:
  Functional Understanding Based on an Ontology of Functional Concepts. 723-733
• Kazuo Hashimoto, Kazunori Matsumoto, Norio Shiratori:
  Probabilistic Modeling of Alarm Observation Delay in Network Diagnosis. 734-744
• Tsukasa Hirashima, Akira Nakano, Akira Takeuchi:
  A Diagnosis Functino of Arithmetical Word Problems for Learning by Problem Posing. 745-755
• Sylvie Thiébaux, Peter Lamb:
  Combining Kalman Filtering and Markov Localization in Network-Like Environments. 756-766

AI and Music

• Fran Soddell, Jacques Soddell:
  Microbes and Music. 767-777
• Simon Dixon:
  A Lightweight Multi-agent Musical Beat Tracking System. 778-788

Posters

• Koji Komatsu, Noritaka Nishihara, Shoichi Yokoyama:
  Frame-Structure Logic with Extended Attribute Relations. 789
• Yutaka Matsuo, Mitsuru Ishizuka:
  Fast Hypothetical Reasoning by Parallel Processing. 790
• Lorraine McGinty, Barry Smyth:
  TURAS: A Personalised Route Planning System. 791
• Kazunori Mizuno, Atsuki Hayashimoto, Seiichi Nishihara:
  Analysis of Phase Transitions in Graph-Coloring Problems Based on Constraint Structures. 792
• Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa:
  Minimal Model Generation with Factorization and Constrained Search. 793
• Gleb Beliakov:
  Method of Ideal Solution in Fuzzy Set Theory and Multicriteria Decision Making. 794
• Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
  A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. 795
• Michael J. Sanders:
  Constraint Satisfaction over Shared Multi-set Value Domains. 796
• Kai Song Goh, Andrew Lim:
  Algorithms for Solving the Ship Berthing Problem. 797
• Chris P. Rainsford, John F. Roddick:
  Temporal Interval Logic in Data Mining. 798
• Hongxing He, Hari Koesmarno, Thach Van, Zhexue Huang:
  Data Mining in Disease Management - A Diabetes Case Study. 799
• Yi Zhao, Jianliang Shi, Pengfei Shi:
  A Limited Lattice Structure for Incremental Association Mining. 800
• Alan McCabe:
  Markov Modelling of Simple Directional Features for Effective and Efficient Handwriting Verification. 801
• Yukinobu Miyamoto, Mahdad Nouri Shirazi, Kuniaki Uehara:
  Texture Analysis and Classification Using Bottom-Up Tree-Structured Wavelet Transform. 802
• Han-Suh Koo, Chang-Sung Jeong:
  A Stereo Matching Algorithm Using Adaptive Window and Search Range. 803
• Masayuki Ohta, Nobuhiro Ito, Satoshi Tadokoro, Hiroaki Kitano:
  A Design of Rescue Agents for RoboCup-Rescue. 804
• Michael Becht, Reinhard Lafrenz, Norbert Oswald, M. Schulé, Paul Levi:
  A Cooperative Architecture to Control Multi-agent Based Robots. 805
• James Brusey:
  Automatic Development of Robot Behaviour Using Monte Carlo Methods. 806
• Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki:
  Adapting Behavior by Inductive Prediction in Soccer Agents. 807
• Margaret E. Jefferies, Wai K. Yeap, Lyndsay I. Smith:
  Computing the Local Space of a Mobile Robot. 808
• Sebastian Buck, Martin A. Riedmiller:
  Learning Situation Dependent Success Rates of Actions in a RoboCup Scenario. 809
• Takayuki Ito, Naoki Fukuta, Ryota Yamada, Toramatsu Shintani, Katia P. Sycara:
  Cooperative Bidding Mechanisms among Agents in Multiple Online Auctions. 810
• Itsuki Noda:
  Framework of Distributed Simulation System for Multi-agent Environment. 811
• Márcia Ito, Jaime Simão Sichman:
  Dependence Based Coalitions and Contract Net: A Comparative Analysis. 812
• Tadachika Ozono, Toramatsu Shintani:
  A Tracer for Debugging Multi-agent System Based on P-Q Signal Method. 813
• William Magill, Xiaodong Li:
  A Multi-agent Approach for Simulating Bushfire Spread. 814
• Lifeng He, Yuyan Chao, Koji Yamada, Tsuyoshi Nakamura, Hidenori Itoh:
  Multi-agent Cooperative Reasoning Using Common Knowledge and Implicit Knowledge. 815
• Yugo Takeuchi, Toru Takahashi, Yasuhiro Katagiri:
  Life-Like Agent Design Based on Social Interaction. 816
• Abdullah-Al Amin, Michael Winikoff, James Harland:
  Agent-Oriented Programming in Linear Logic: An Example. 817
• Penny Ray, Mark A. Toleman, Dickson Lukose:
  Emotional Intelligence for Intuitive Agents. 818
• Kazunori Iwata, Nobuhiro Ito, Naohiro Ishii:
  Formalization for the Agent Method by Using pi-Calculus. 819
• Michael Paul, Eiichiro Sumita:
  Utilization of Coreferences for the Translation of Utterances Containing Anaphoric Expressions. 820
• Eiichiro Sumita:
  Word Alignment Using a Matrix. 821
• Hiroyuki Shinnou:
  Deterministic Japanese Word Segmentation by Decision List Method. 822
• Hayato Yonezawa, Mitsunori Matsushita, Tsuneaki Kato:
  Criteria to Choose Appropriate Graph-Types. 823
• Xiaoli Li, Jimin Liu, Zhongzhi Shi:
  A Document Classifier Based on Word Semantic Association. 824
• Hiroki Fujitani, Tsunenori Mine, Makoto Amamiya:
  Incorporation of Japanese Information Retrieval Method Using Dependency Relationship into Probabilistic Retrieval. 825
• Akiko Inaba, Thepchai Supnithi, Mitsuru Ikeda, Riichiro Mizoguchi, Jun'ichi Toyoda:
  A Step Towards Integration of Learning Theories to Form an Effective Collaborative Learning Group. 826
• Takumi Aida, Setsuo Ohsuga:
  Model-Based Software Requirements Design. 827
• Hyopil Shin, Spencer Koehler:
  Acquiring Factual Knowledge through Ontological Instantiation. 828
• Jongho Choy, Sung-Bae Cho:
  Intrusion Detection by Combining Multiple Hidden Markov Models. 829
• Hyun-Don Kim, Joon-Hyun Ahn, Sung-Bae Cho:
  Conceptual Classification and Browsing of Internet FAQs Using Self-Organizing Neural Networks. 830
• Akinori Abe:
  The Role of Abduction in Internet-Based Applications. 831
• Juhua Zhou, Jacky Baltes:
  FERRET: An Intelligent Assistant for Internet Searching. 832