PRICAI '96 : topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 30, 1996 : proceedings
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 conferen...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Άλλοι συγγραφείς: | |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science. Lecture notes in artificial intelligence
1114 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • PRICAI '96, topics in artificial intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996 proceedings, Norman Foo, Randy Goebel, eds, 1996, New York, Springer, 1 vol. (XXI-658 p.), Lecture notes in computer science, 3-540-61532-6 • PRICAI '96: Topics in Artificial Intelligence, Texte imprimé, 9783662205754 |
| LEADER | 06919nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 970148 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155185411 | ||
| 020 | |a 9783540687290 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Foo, Norman Y, |d 19..- | |
| 245 | 1 | 0 | |a PRICAI '96 : |b topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 30, 1996 : proceedings |c [edited by] Norman Foo, Randy Goebel. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1114 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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 unsupervisedconcept 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Apprentissage automatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Représentation des connaissances | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Goebel, Randy, |d 1952- |4 pbd | |
| 711 | 2 | |a Pacific Rim International Conference on Artificial Intelligence |n (04 |d :1996 |c :Cairns, Australie). |4 aut | |
| 776 | 0 | |0 025978292 |t PRICAI '96 |o topics in artificial intelligence |o 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996 proceedings |f Norman Foo, Randy Goebel, eds |d 1996 |c New York |n Springer |p 1 vol. (XXI-658 p.) |s Lecture notes in computer science |z 3-540-61532-6 | |
| 776 | 0 | |t PRICAI '96: Topics in Artificial Intelligence |b Texte imprimé |z 9783662205754 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61532-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-10H45X5Z-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750666307 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61532-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754015467 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61532-6 |z Accès INSA CVL | |
| 997 | |0 970148 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||