000 04222nam a22005295i 4500
001 978-3-540-49561-1
003 DE-He213
005 20240423132532.0
007 cr nn 008mamaa
008 121227s1998 gw | s |||| 0|eng d
020 _a9783540495611
_9978-3-540-49561-1
024 7 _a10.1007/BFb0095035
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aAdvanced Topics in Artificial Intelligence
_h[electronic resource] :
_b11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers /
_cedited by Grigoris Antoniou, John Slaney.
250 _a1st ed. 1998.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1998.
300 _aXIV, 342 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v1502
505 0 _aWhy (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.
520 _aThis 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 0 _aArtificial intelligence.
650 1 4 _aArtificial Intelligence.
700 1 _aAntoniou, Grigoris.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSlaney, John.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540651383
776 0 8 _iPrinted edition:
_z9783662212097
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v1502
856 4 0 _uhttps://doi.org/10.1007/BFb0095035
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188844
_d188844