PRICAI '96: Topics in Artificial Intelligence, Vol. 111 Book

	A General Framework for Mechanizing Induction Using Test Set	1
	Inductive Equational Reasoning	13
	Cost-Sensitive Specialization	23
	Efficient Multiple Predicate Learner Based on Fast Failure Mechanism	35
	Acquiring User Preferences for Information Filtering in Interactive Multi-Media Services	47
	The Development of an Interactive Fault Diagnosis Expert System for Telecommunication Applications	59
	An Intelligent Education System Which Supports Scientific Thinking: Galileo - Philosophy and Basic Architecture	71
	A Unified Approach to Handling Uncertainty During Cooperative Consultations	85
	Declarative Program Theory with Implicit Implication	97
	Knowledge Decomposition: An Analysis	109
	The Concept Classification of a Terminology Extended by Conjunction and Disjunction	121
	Extending Partial Orders for Sort Reasoning	132
	An Update Procedure for A Probabilistic Deductive Database	144
	A Framework for Reasoning About Requirements Evolution	157
	An Application of Hierarchical Knowledge Integration in Hand-Written Form Processing	169
	AMI: A Model of Intelligence	181
	Symbol Processing by Non-Symbol Processor	193
	Fall Diagnosis Using Dynamic Belief Networks	206
	Remembrance of Discourse Based on Textual Continuity: A Spreading Activation Network	218
	Lexical Access Using Minimum Message Length Encoding	229
	Using Neural Nets to Investigate Lexical Analysis	241
	Validity of Normality Assumption in CSP Research	253
	An Improved Genetic Arc Consistency Algorithm and Its Specializations	264
	High-level Synthesis Optimisation with Genetic Algorithms	276
	A Qualitative Reasoning Based on an Ontology of Fluid Systems and Its Evaluation	288
	Parallel Cost-Based Abductive Reasoning for Distributed Memory Systems	300
	A History-Oriented Envisioning Method	312
	Team Learning of Recursive Languages	324
	Combining Views on Concepts in Unsupervised Concept Learning	336
	The Complexity of Batch Approaches to Reduced Error Rule Set Induction	348
	Learning Simple Recursive Concepts by Discovering Missing Examples	360
	On Semantic Resolution with Lemmaizing and Contraction	372
	Tableaux for Expansion and Contraction	387
	Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level	399
	Evidential Temporal Representations and Reasoning	411
	Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction	423
	Modeling Commonsense Rules in an Inference Network	435
	Adaptive SEJONG-NET for On-Line Hangul Recognition	447
	A Unified Algebraic Structure for Uncertain Reasonings	459
	Exten: A System for Computing Default Logic Extensions	471
	A Logic for Concurrent Events and Action Failure	483
	Domain World Models Represented from Variable Viewpoints for ICAI Systems of High-School Chemistry	495
	Creating Theoretical Terms for Non-deterministic Actions	510
	Conservative Expansion Concepts for Default Theories	522
	On Formation of Exception Hierarchy	534
	Anytime Default Inference	546
	Studying Properties of Classes of Default Logics - Preliminary Report	558
	Learning Cooperative Behavior in Multi-agent Environment - A Case Study of Choice of Play-Plans in Soccer	570
	CIFI: An Intelligent Agent for Citation Finding on the World-Wide Web	580
	Automatic Making of Sokoban Problems	592
	Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture	601
	An Architecture for Autonomous Flying Vehicles: A Preliminary Report	613
	Face Recognition Through Hough Transform for Irises Extraction and Projection Procedures for Parts Localization - for Facial Caricaturing System PICASSO	625
	Extraction of Face Region and Features Based on Chromatic Properties of Human Faces	637
	A Fast Pattern-Matching Algorithm Using Matching Candidates for Production Systems	646
	Index	657