Advanced topics in artificial intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers
This book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998. The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many pa...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awdur Corfforaethol: | |
| Awduron Eraill: | |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science. Lecture notes in artificial intelligence
1502 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advanced topics in artificial intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998, Grigoris Antoniou, John Slaney, eds, 1998, New York, Springer, 1 vol. (XI-332 p.), Lecture notes in computer science, 3-540-65138-1 • Advanced Topics in Artificial Intelligence, Texte imprimé, 9783662212097 |
| LEADER | 04744nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 972761 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229532 | ||
| 020 | |a 9783540495611 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Antoniou, Grigoris, |d 1961- | |
| 245 | 1 | 0 | |a Advanced topics in artificial intelligence : |b 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers |c [edited by] Grigoris Antoniou, John Slaney. |
| 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 1502 |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 Why (a kind of) AI can t be done -- Representation by correspondence: An inadequate conception of knowledge for artificial systems -- Genuine representation in artificial systems -- Using fuzzy logic to mitigate the effect of multiple-sclerosis tremors on a wheelchair joystick controller -- Thinking quickly: Agents for modeling air warfare -- Plan execution in a hostile dynamic environment -- A labelled sequent system for tense logic Kt -- Integrating reactive and reflective reasoning by generating rational models -- On the combination of partial action descriptions -- A mechanisation of classical modal tense logics using isabelle -- Constructing an intelligent multi-agent workflow system -- First-order Bayesian reasoning -- Learning intelligent behavior -- A formal embedding of agentspeak(L) in 3APL -- Recurrent neural networks to approximate the semantics of acceptable logic programs -- Computation in recurrent neural networks: From counters to iterated function systems -- Performance of a comprehensive and efficient constraint library based on local search -- Helicopter flight condition recognition: A minimalist approach -- A study of provability in defeasible logic -- Lower bounds on the size of test data sets -- cardT A P: Automated deduction on a smart card -- Constraint resolution within object hierarchies -- The temporal QCM modelling language -- The problem of missing values in decision tree grafting -- Adjusted probability Naive Bayesian induction -- Strategic behaviour-based reasoning with dynamic, Partial information -- Representing defeasible constraints and observations in action theories -- Stochastic Attribute Selection Committees. | |
| 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 book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998. The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many papers accepted for presentation at the conference. Among the topics covered are philosophical issues, fuzzy logic, agent systems, AI logics, planning, knowledge representation, automated deduction, intelligent agents, learning, constraint solving, and neural networks. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Slaney, John K. |4 pbd | |
| 711 | 2 | |a Australian Joint Conference on Artificial Intelligence |n (11 |d :1998 |c :Brisbane, Australia). |4 aut | |
| 776 | 0 | |0 045372322 |t Advanced topics in artificial intelligence |o 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 |f Grigoris Antoniou, John Slaney, eds |d 1998 |c New York |n Springer |p 1 vol. (XI-332 p.) |s Lecture notes in computer science |z 3-540-65138-1 | |
| 776 | 0 | |t Advanced Topics in Artificial Intelligence |b Texte imprimé |z 9783662212097 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0095035 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PLNDG5WG-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750633220 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0095035 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75398962X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0095035 |z Accès INSA CVL | |
| 997 | |0 972761 |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/ | ||