PRICAI'96: Topics in Artificial Intelligence

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A general framework for mechanizing induction using test set
3. Altmetric Badge
   Chapter 2 Inductive equational reasoning
4. Altmetric Badge
   Chapter 3 Cost-sensitive specialization
5. Altmetric Badge
   Chapter 4 Efficient multiple predicate learner based on fast failure mechanism
6. Altmetric Badge
   Chapter 5 Acquiring user preferences for information filtering in interactive multi-media services
7. Altmetric Badge
   Chapter 6 The development of an interactive fault diagnosis expert system for telecommunication applications
8. Altmetric Badge
   Chapter 7 An intelligent education system which supports scientific thinking: Galileo — Philosophy and basic architecture
9. Altmetric Badge
   Chapter 8 A unified approach to handling uncertainty during cooperative consultations
10. Altmetric Badge
    Chapter 9 Declarative program theory with implicit implication
11. Altmetric Badge
    Chapter 10 Knowledge decomposition: An analysis
12. Altmetric Badge
    Chapter 11 The concept classification of a terminology extended by conjunction and disjunction
13. Altmetric Badge
    Chapter 12 Extending partial orders for sort reasoning
14. Altmetric Badge
    Chapter 13 An update procedure for a probabilistic deductive database
15. Altmetric Badge
    Chapter 14 A framework for reasoning about requirements evolution
16. Altmetric Badge
    Chapter 15 An application of hierarchical knowledge integration in hand-written form processing
17. Altmetric Badge
    Chapter 16 AMI: A model of intelligence
18. Altmetric Badge
    Chapter 17 Symbol processing by non-symbol processor
19. Altmetric Badge
    Chapter 18 Fall diagnosis using dynamic belief networks
20. Altmetric Badge
    Chapter 19 Remembrance of discourse based on textual continuity: A spreading activation network
21. Altmetric Badge
    Chapter 20 Lexical access using minimum message length encoding
22. Altmetric Badge
    Chapter 21 Using neural nets to investigate lexical analysis
23. Altmetric Badge
    Chapter 22 Validity of normality assumption in CSP research
24. Altmetric Badge
    Chapter 23 An improved generic arc consistency algorithm and its specializations
25. Altmetric Badge
    Chapter 24 High-level synthesis optimisation with genetic algorithms
26. Altmetric Badge
    Chapter 25 A qualitative reasoning based on an ontology of fluid systems and its evaluation
27. Altmetric Badge
    Chapter 26 Parallel cost-based abductive reasoning for distributed memory systems
28. Altmetric Badge
    Chapter 27 A history-oriented envisioning method
29. Altmetric Badge
    Chapter 28 Team learning of recursive languages
30. Altmetric Badge
    Chapter 29 Combining views on concepts in unsupervised concept learning
31. Altmetric Badge
    Chapter 30 The complexity of batch approaches to reduced error rule set induction
32. Altmetric Badge
    Chapter 31 Learning simple recursive concepts by discovering missing examples
33. Altmetric Badge
    Chapter 32 On semantic resolution with lemmaizing and contraction
34. Altmetric Badge
    Chapter 33 Tableaux for expansion and contraction
35. Altmetric Badge
    Chapter 34 Translating machine-generated resolution proofs into ND-proofs at the assertion level
36. Altmetric Badge
    Chapter 35 Evidential temporal representations and reasoning
37. Altmetric Badge
    Chapter 36 Using artificial neural networks for meteor-burst communications trail prediction
38. Altmetric Badge
    Chapter 37 Modeling commonsense rules in an inference network
39. Altmetric Badge
    Chapter 38 Adaptive SEJONG-NET for on-line Hangul recognition
40. Altmetric Badge
    Chapter 39 A unified algebraic structure for uncertain reasonings
41. Altmetric Badge
    Chapter 40 Exten: A system for computing default logic extensions
42. Altmetric Badge
    Chapter 41 A logic for concurrent events and action failure
43. Altmetric Badge
    Chapter 42 Domain world models represented from variable viewpoints for ICAI systems of high-school chemistry
44. Altmetric Badge
    Chapter 43 Creating theoretical terms for non-deterministic actions
45. Altmetric Badge
    Chapter 44 Conservative expansion concepts for default theories
46. Altmetric Badge
    Chapter 45 On formation of exception hierarchy
47. Altmetric Badge
    Chapter 46 Anytime default inference
48. Altmetric Badge
    Chapter 47 Studying properties of classes of default logics — Preliminary report
49. Altmetric Badge
    Chapter 48 Learning cooperative behavior in multi-agent environment a case study of choice of play-plans in soccer
50. Altmetric Badge
    Chapter 49 CiFi: An intelligent agent for citation finding on the World-Wide Web
51. Altmetric Badge
    Chapter 50 Automatic making of Sokoban problems
52. Altmetric Badge
    Chapter 51 Bringing about rationality: Incorporating plans into a BDI agent architecture
53. Altmetric Badge
    Chapter 52 An architecture for autonomous flying vehicles: A preliminary report
54. Altmetric Badge
    Chapter 53 Face recognition through hough transform for irises extraction and projection procedures for parts localization for facial caricaturing system PICASSO
55. Altmetric Badge
    Chapter 54 Extraction of face region and features based on chromatic properties of human faces
56. Altmetric Badge
    Chapter 55 A fast pattern-matching algorithm using matching candidates for production systems