國立高雄大學圖資館 |

Language: English

Back

AI aspects in reasoning, languages, ...

Grabowski, Adam.

AI aspects in reasoning, languages, and coomputation

Record Type:	Electronic resources : Monograph/item
Title/Author:	AI aspects in reasoning, languages, and coomputationedited 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.
Contained By:	Springer eBooks
Subject:	Artificial intelligence.
Online resource:	https://doi.org/10.1007/978-3-030-41425-2
ISBN:	9783030414252$q(electronic bk.)

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

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$q(electronic bk.)

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

194058
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 572709
003 DE-He213
005 20200805091804.0
006 m d
007 cr nn 008maaau
008 200925s2020 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 194058
650 1 4 $a Computational Intelligence. $3 338479
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Computational Linguistics. $3 274669
700 1 $a Grabowski, Adam. $3 859877
700 1 $a Loukanova, Roussanka. $3 859878
700 1 $a Schwarzweller, Christoph. $3 859879
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Studies in computational intelligence ; $v v. 216. $3 380871
856 4 0 $u https://doi.org/10.1007/978-3-030-41425-2
950 $a Intelligent Technologies and Robotics (Springer-42732)