06281nam 22005175 450 99646529560331620200705171613.03-540-68729-710.1007/3-540-61532-6(CKB)1000000000234494(SSID)ssj0000325811(PQKBManifestationID)11297452(PQKBTitleCode)TC0000325811(PQKBWorkID)10265030(PQKB)10270874(DE-He213)978-3-540-68729-0(PPN)155185411(EXLCZ)99100000000023449420121227d1996 u| 0engurnn|008mamaatxtccrPRICAI '96: Topics in Artificial Intelligence[electronic resource] 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 - 30, 1996, Proceedings /edited by Norman Foo, Randy Goebel1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (XXI, 658 p.) Lecture Notes in Artificial Intelligence ;1114Bibliographic Level Mode of Issuance: Monograph3-540-61532-6 A general framework for mechanizing induction using test set -- Inductive equational reasoning -- Cost-sensitive specialization -- Efficient multiple predicate learner based on fast failure mechanism -- Acquiring user preferences for information filtering in interactive multi-media services -- The development of an interactive fault diagnosis expert system for telecommunication applications -- An intelligent education system which supports scientific thinking: Galileo — Philosophy and basic architecture -- A unified approach to handling uncertainty during cooperative consultations -- Declarative program theory with implicit implication -- Knowledge decomposition: An analysis -- The concept classification of a terminology extended by conjunction and disjunction -- Extending partial orders for sort reasoning -- An update procedure for a probabilistic deductive database -- A framework for reasoning about requirements evolution -- An application of hierarchical knowledge integration in hand-written form processing -- AMI: A model of intelligence -- Symbol processing by non-symbol processor -- Fall diagnosis using dynamic belief networks -- Remembrance of discourse based on textual continuity: A spreading activation network -- Lexical access using minimum message length encoding -- Using neural nets to investigate lexical analysis -- Validity of normality assumption in CSP research -- An improved generic arc consistency algorithm and its specializations -- High-level synthesis optimisation with genetic algorithms -- A qualitative reasoning based on an ontology of fluid systems and its evaluation -- Parallel cost-based abductive reasoning for distributed memory systems -- A history-oriented envisioning method -- Team learning of recursive languages -- Combining views on concepts in unsupervised concept learning -- The complexity of batch approaches to reduced error rule set induction -- Learning simple recursive concepts by discovering missing examples -- On semantic resolution with lemmaizing and contraction -- Tableaux for expansion and contraction -- Translating machine-generated resolution proofs into ND-proofs at the assertion level -- Evidential temporal representations and reasoning -- Using artificial neural networks for meteor-burst communications trail prediction -- Modeling commonsense rules in an inference network -- Adaptive SEJONG-NET for on-line Hangul recognition -- A unified algebraic structure for uncertain reasonings -- Exten: A system for computing default logic extensions -- A logic for concurrent events and action failure -- Domain world models represented from variable viewpoints for ICAI systems of high-school chemistry -- Creating theoretical terms for non-deterministic actions -- Conservative expansion concepts for default theories -- On formation of exception hierarchy -- Anytime default inference -- Studying properties of classes of default logics — Preliminary report -- Learning cooperative behavior in multi-agent environment a case study of choice of play-plans in soccer -- CiFi: An intelligent agent for citation finding on the World-Wide Web -- Automatic making of Sokoban problems -- Bringing about rationality: Incorporating plans into a BDI agent architecture -- An architecture for autonomous flying vehicles: A preliminary report -- Face recognition through hough transform for irises extraction and projection procedures for parts localization for facial caricaturing system PICASSO -- Extraction of face region and features based on chromatic properties of human faces -- A fast pattern-matching algorithm using matching candidates for production systems.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.Lecture Notes in Artificial Intelligence ;1114Artificial intelligenceArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Artificial intelligence.Artificial Intelligence.006.3Foo Normanedthttp://id.loc.gov/vocabulary/relators/edtGoebel Randyedthttp://id.loc.gov/vocabulary/relators/edtPacific Rim International Conference on Artificial IntelligenceBOOK996465295603316PRICAI '96: Topics in Artificial Intelligence2831286UNISA