Advertisement

Table of contents

  1. Front Matter
    PDF
  2. A general framework for mechanizing induction using test set
    Adel Bouhoula
    Pages 1-12
  3. Inductive equational reasoning
    Michael Bulmer
    Pages 13-22
  4. Cost-sensitive specialization
    Geoffrey I. Webb
    Pages 23-34
  5. Efficient multiple predicate learner based on fast failure mechanism
    Xiaolong Zhang, Masayuki Numao
    Pages 35-46
  6. Acquiring user preferences for information filtering in interactive multi-media services
    Bhavani Raskutti, Anthony Beitz
    Pages 47-58
  7. The development of an interactive fault diagnosis expert system for telecommunication applications
    Ming Zhao, Chris Leckie
    Pages 59-70
  8. An intelligent education system which supports scientific thinking: Galileo — Philosophy and basic architecture
    Kumiko Ishino, Katuo Sugai, Riichiro Mizoguchi
    Pages 71-84
  9. A unified approach to handling uncertainty during cooperative consultations
    Bhavani Raskutti, Ingrid Zukerman
    Pages 85-96
  10. Declarative program theory with implicit implication
    Vilas Wuwongse, Ekawit Nantajeewarawat
    Pages 97-108
  11. Knowledge decomposition: An analysis
    John Debenham
    Pages 109-120
  12. The concept classification of a terminology extended by conjunction and disjunction
    Gerd Stumme
    Pages 121-131
  13. Extending partial orders for sort reasoning
    Andrew Fall
    Pages 132-143
  14. An update procedure for a probabilistic deductive database
    Angelo C. Restificar
    Pages 144-156
  15. A framework for reasoning about requirements evolution
    Didar Zowghi, Aditya K. Ghose, Pavlos Peppas
    Pages 157-168
  16. An application of hierarchical knowledge integration in hand-written form processing
    Fon-Lin Lai, Joo-Hwee Lim, Liya Ding, Ah-Hwee Tan, Ho-Chung Lui
    Pages 169-180
  17. AMI: A model of intelligence
    D. B. Hoang, M. R. James
    Pages 181-192
  18. Symbol processing by non-symbol processor
    Setsuo Ohsuga
    Pages 193-205
  19. Fall diagnosis using dynamic belief networks
    A. E. Nicholson
    Pages 206-217
  20. Remembrance of discourse based on textual continuity: A spreading activation network
    Samuel W. K. Chan, James Franklin
    Pages 218-228
  21. Lexical access using minimum message length encoding
    Ian Thomas, Ingrid Zukerman, Jonathan Oliver, Bhavani Raskutti
    Pages 229-240
  22. Using neural nets to investigate lexical analysis
    Malti Patel
    Pages 241-252
  23. Validity of normality assumption in CSP research
    Alvin C. M. Kwan
    Pages 253-263
  24. An improved generic arc consistency algorithm and its specializations
    Bing Liu
    Pages 264-275
  25. High-level synthesis optimisation with genetic algorithms
    Jem Daalder, Peter W. Eklund, Kenji Ohmori
    Pages 276-287
  26. A qualitative reasoning based on an ontology of fluid systems and its evaluation
    Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi
    Pages 288-299
  27. Parallel cost-based abductive reasoning for distributed memory systems
    Shohei Kato, Hirohisa Seki, Hidenori Itoh
    Pages 300-311
  28. A history-oriented envisioning method
    Takashi Washio, Hiroshi Motoda
    Pages 312-323
  29. Team learning of recursive languages
    Sanjay Jain, Arun Sharma
    Pages 324-335
  30. Combining views on concepts in unsupervised concept learning
    TuBao Ho
    Pages 336-347
  31. The complexity of batch approaches to reduced error rule set induction
    Mike Cameron-Jones
    Pages 348-359
  32. Learning simple recursive concepts by discovering missing examples
    Chowdhury Rahman Mofizur, Masayuki Numao
    Pages 360-371
  33. On semantic resolution with lemmaizing and contraction
    Maria Paola Bonacina, Jieh Hsiang
    Pages 372-386
  34. Tableaux for expansion and contraction
    Roderic A. Girle
    Pages 387-398
  35. Translating machine-generated resolution proofs into ND-proofs at the assertion level
    Xiaorong Huang
    Pages 399-410
  36. Evidential temporal representations and reasoning
    Bingning Dai, David A. Bell, John G. Hughes
    Pages 411-422
  37. Using artificial neural networks for meteor-burst communications trail prediction
    Stuart Melville, Geoff Sutcliffe, David Fraser
    Pages 423-434
  38. Modeling commonsense rules in an inference network
    Boon Toh Low
    Pages 435-446
  39. Adaptive SEJONG-NET for on-line Hangul recognition
    Hyeyoung Park, Kwanyong Lee, Hyeran Byun, Yillbyung Lee
    Pages 447-458
  40. A unified algebraic structure for uncertain reasonings
    Xudong Luo, Chengqi Zhang
    Pages 459-470
  41. Exten: A system for computing default logic extensions
    Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo
    Pages 471-482
  42. A logic for concurrent events and action failure
    David Morley, Liz Sonenberg
    Pages 483-494
  43. Domain world models represented from variable viewpoints for ICAI systems of high-school chemistry
    Tatsuhiro Konishi, Yukihiro Itoh
    Pages 495-509
  44. Creating theoretical terms for non-deterministic actions
    Rex Bing Hung Kwok
    Pages 510-521
  45. Conservative expansion concepts for default theories
    G. Antoniou, C. K. MacNish, N. Y. Foo
    Pages 522-533
  46. On formation of exception hierarchy
    Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi
    Pages 534-545
  47. Anytime default inference
    Aditya K. Ghose, Randy Goebel
    Pages 546-557
  48. Studying properties of classes of default logics — Preliminary report
    Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon
    Pages 558-569
  49. Learning cooperative behavior in multi-agent environment a case study of choice of play-plans in soccer
    Noda Itsuki, Matsubara Hitoshi, Hiraki Kazuo
    Pages 570-579
  50. CiFi: An intelligent agent for citation finding on the World-Wide Web
    Seng W. Loke, Andrew Davison, Leon Sterling
    Pages 580-591

Other volumes

  1. PRICAI'96: Topics in Artificial Intelligence
    4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings
  2. Learning and Reasoning with Complex Representations
    PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26–30, 1996 Selected Papers

About these proceedings

Introduction

This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensland, Australia in August 1996.
The 56 revised full papers included in the book were carefully selected for presentation at the conference from a total of 175 submissions. The topics covered are machine learning, interactive systems, knowledge representation, reasoning about change, neural nets and uncertainty, natural language, constraint satisfaction and optimization, qualitative reasoning, automated deduction, nonmonotonic reasoning, intelligent agents, planning, and pattern recognition.

Keywords

Intelligente Agenten Maschinelles Lernen Planungsstrategien agents algorithms automated deduction cognition expert system knowledge representation natural language neural network nonmonotonic reasoning planing reasoning and deduktion uncertain reasoning

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61532-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61532-3
  • Online ISBN 978-3-540-68729-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering