東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

AI aspects in reasoning, languages, ...

Grabowski, Adam.

Linked to FindBook

Google Book

Amazon

博客來

AI aspects in reasoning, languages, and coomputation

Record Type:	Electronic resources : Monograph/item
Title/Author:	AI aspects in reasoning, languages, and coomputation/ edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller.
other author:	Grabowski, Adam.
Published:	Cham :Springer International Publishing : : 2020.,
Description:	viii, 105 p. :ill., digital ;24 cm.
[NT 15003449]:	Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors -- Reﬁning Algebraic Hierarchy in Mathematical Repository of Mizar -- Extending Formal Topology in Mizar by Uniform Spaces.
Contained By:	Springer eBooks
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-030-41425-2
ISBN:	9783030414252

AI aspects in reasoning, languages, and coomputation
AI aspects in reasoning, languages, and coomputation[electronic resource] /edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller. - Cham :Springer International Publishing :2020. - viii, 105 p. :ill., digital ;24 cm. - Studies in computational intelligence,v.8891860-949X ;. - Studies in computational intelligence ;v.889..

Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors -- Reﬁning Algebraic Hierarchy in Mathematical Repository of Mizar -- Extending Formal Topology in Mizar by Uniform Spaces.

This 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.

ISBN: 9783030414252

Standard No.: 10.1007/978-3-030-41425-2doiSubjects--Topical Terms:

516317
Artificial intelligence.

LC Class. No.: Q335 / .A337 2020

Dewey Class. No.: 006.3

AI aspects in reasoning, languages, and coomputation
LDR:02316nmm a2200337 a 4500 001 2217124
003 DE-He213
005 20200805091804.0
006 m d
007 cr nn 008maaau
008 201120s2020 sz s 0 eng d
020 $a 9783030414252 $q (electronic bk.)
020 $a 9783030414245 $q (paper)
024 7 $a 10.1007/978-3-030-41425-2 $2 doi
035 $a 978-3-030-41425-2
040 $a GP $c GP
041 0 $a eng
050 4 $a Q335 $b .A337 2020
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
090 $a Q335 $b .A288 2020
245 0 0 $a AI aspects in reasoning, languages, and coomputation $h [electronic resource] / $c edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a viii, 105 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in computational intelligence, $x 1860-949X ; $v v.889
505 0 $a Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors -- Reﬁning Algebraic Hierarchy in Mathematical Repository of Mizar -- Extending Formal Topology in Mizar by Uniform Spaces.
520 $a This 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.
650 0 $a Artificial intelligence. $3 516317
650 1 4 $a Computational Intelligence. $3 1001631
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Computational Linguistics. $3 893900
700 1 $a Grabowski, Adam. $3 3450103
700 1 $a Loukanova, Roussanka. $3 3443977
700 1 $a Schwarzweller, Christoph. $3 3450104
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Studies in computational intelligence ; $v v.889. $3 3450105
856 4 0 $u https://doi.org/10.1007/978-3-030-41425-2
950 $a Intelligent Technologies and Robotics (Springer-42732)