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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
1114 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 |
Table des matières:
- 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.