000 03097nam a2200445 i 4500
710 2 _aSpringerLink (Online service)
_9106996
999 _c119377
_d119377
001 119377
003 ES-MaUEC
005 20240111050203.0
006 a||||fo|||| 00| 0
007 cr nn nnnaamaa
008 200317s2020 gw a s |||| 0|eng d
020 _a9783030414252
024 7 _a10.1007/978-3-030-41425-2
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
_dES-MaUEC
050 4 _aQ335
_b2020 EB
245 0 0 _aAI Aspects in Reasoning, Languages, and Computation
_cedited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller.
250 _aFirst edition 2020.
264 1 _aCham
_bSpringer International Publishing
_c2020
300 _a1 recurso en línea (VIII, 105 páginas)
_b9 ilustraciones
336 _2rdacontent
_aTexto
_btxt
337 _2rdamedia
_aelectrónico
_bc
338 _2rdacarrier
_arecurso electrónico
_bcr
347 _aArchivo de texto
_bPDF
490 0 _aStudies in Computational Intelligence
_x1860-949X
_v889
490 0 _aIntelligent Technologies and Robotics (Springer-42732)
505 0 _aType-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors -- Refining Algebraic Hierarchy in Mathematical Repository of Mizar -- Extending Formal Topology in Mizar by Uniform Spaces. .
520 3 _aThis book builds on decades of research and provides contemporary theoretical foundations for practical applications to intelligent technologies and advances in artificial intelligence (AI). Reflecting the growing realization that computational models of human reasoning and interactions can be improved by integrating heterogeneous information resources and AI techniques, its ultimate goal is to promote integrated computational approaches to intelligent computerized systems. The book covers a range of interrelated topics, in particular, computational reasoning, language, syntax, semantics, memory, and context information. The respective chapters use and develop logically oriented methods and techniques, and the topics selected are from those areas of logic that contribute to AI and provide its mathematical foundations. The intended readership includes researchers working in the areas of traditional logical foundations, and on new approaches to intelligent computational systems.
988 _aSpringer_Robotics_31032020
650 7 _2embne
_aInteligencia artificial
_9413115
700 1 _aGrabowski, Adam
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLoukanova, Roussanka
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSchwarzweller, Christoph
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
776 0 8 _iPrinted edition:
_z9783030414245
776 0 8 _iPrinted edition:
_z9783030414269
776 0 8 _iPrinted edition:
_z9783030414276
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-41425-2
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
998 _b05/2020
_dz
_ek
_zSI