PRICAI'96: Topics in Artificial Intelligence: 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings

A general framework for mechanizing induction using test set....Pages 1-12
Inductive equational reasoning....Pages 13-22
Cost-sensitive specialization....Pages 23-34
Efficient multiple predicate learner based on fast failure mechanism....Pages 35-46
Acquiring user preferences for information filtering in interactive multi-media services....Pages 47-58
The development of an interactive fault diagnosis expert system for telecommunication applications....Pages 59-70
An intelligent education system which supports scientific thinking: Galileo — Philosophy and basic architecture....Pages 71-84
A unified approach to handling uncertainty during cooperative consultations....Pages 85-96
Declarative program theory with implicit implication....Pages 97-108
Knowledge decomposition: An analysis....Pages 109-120
The concept classification of a terminology extended by conjunction and disjunction....Pages 121-131
Extending partial orders for sort reasoning....Pages 132-143
An update procedure for a probabilistic deductive database....Pages 144-156
A framework for reasoning about requirements evolution....Pages 157-168
An application of hierarchical knowledge integration in hand-written form processing....Pages 169-180
AMI: A model of intelligence....Pages 181-192
Symbol processing by non-symbol processor....Pages 193-205
Fall diagnosis using dynamic belief networks....Pages 206-217
Remembrance of discourse based on textual continuity: A spreading activation network....Pages 218-228
Lexical access using minimum message length encoding....Pages 229-240
Using neural nets to investigate lexical analysis....Pages 241-252
Validity of normality assumption in CSP research....Pages 253-263
An improved generic arc consistency algorithm and its specializations....Pages 264-275
High-level synthesis optimisation with genetic algorithms....Pages 276-287
A qualitative reasoning based on an ontology of fluid systems and its evaluation....Pages 288-299
Parallel cost-based abductive reasoning for distributed memory systems....Pages 300-311
A history-oriented envisioning method....Pages 312-323
Team learning of recursive languages....Pages 324-335
Combining views on concepts in unsupervised concept learning....Pages 336-347
The complexity of batch approaches to reduced error rule set induction....Pages 348-359
Learning simple recursive concepts by discovering missing examples....Pages 360-371
On semantic resolution with lemmaizing and contraction....Pages 372-386
Tableaux for expansion and contraction....Pages 387-398
Translating machine-generated resolution proofs into ND-proofs at the assertion level....Pages 399-410
Evidential temporal representations and reasoning....Pages 411-422
Using artificial neural networks for meteor-burst communications trail prediction....Pages 423-434
Modeling commonsense rules in an inference network....Pages 435-446
Adaptive SEJONG-NET for on-line Hangul recognition....Pages 447-458
A unified algebraic structure for uncertain reasonings....Pages 459-470
Exten: A system for computing default logic extensions....Pages 471-482
A logic for concurrent events and action failure....Pages 483-494
Domain world models represented from variable viewpoints for ICAI systems of high-school chemistry....Pages 495-509
Creating theoretical terms for non-deterministic actions....Pages 510-521
Conservative expansion concepts for default theories....Pages 522-533
On formation of exception hierarchy....Pages 534-545
Anytime default inference....Pages 546-557
Studying properties of classes of default logics — Preliminary report....Pages 558-569
Learning cooperative behavior in multi-agent environment a case study of choice of play-plans in soccer....Pages 570-579
CiFi: An intelligent agent for citation finding on the World-Wide Web....Pages 580-591
Automatic making of Sokoban problems....Pages 592-600
Bringing about rationality: Incorporating plans into a BDI agent architecture....Pages 601-612
An architecture for autonomous flying vehicles: A preliminary report....Pages 613-624
Face recognition through hough transform for irises extraction and projection procedures for parts localization for facial caricaturing system PICASSO....Pages 625-636
Extraction of face region and features based on chromatic properties of human faces....Pages 637-645
A fast pattern-matching algorithm using matching candidates for production systems....Pages 646-656