國立虎尾科技大學 |

AI Aspects in Reasoning, Languages, and Computation

Record Type:	Language materials, printed : Monograph/item
Title/Author:	AI Aspects in Reasoning, Languages, and Computation/ edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller.
other author:	Grabowski, Adam.
Description:	VIII, 105 p. 9 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computational intelligence. -
Online resource:	https://doi.org/10.1007/978-3-030-41425-2
ISBN:	9783030414252

AI Aspects in Reasoning, Languages, and Computation
AI Aspects in Reasoning, Languages, and Computation[electronic resource] /edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller. - 1st ed. 2020. - VIII, 105 p. 9 illus.online resource. - Studies in Computational Intelligence,8891860-949X ;. - Studies in Computational Intelligence,564.

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:

568984
Computational intelligence.

LC Class. No.: Q342

Dewey Class. No.: 006.3

AI Aspects in Reasoning, Languages, and Computation
LDR:02697nam a22004095i 4500 001 1022663
003 DE-He213
005 20200701111919.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030414252 $9 978-3-030-41425-2
024 7 $a 10.1007/978-3-030-41425-2 $2 doi
035 $a 978-3-030-41425-2
050 4 $a Q342
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
245 1 0 $a AI Aspects in Reasoning, Languages, and Computation $h [electronic resource] / $c edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a VIII, 105 p. 9 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Studies in Computational Intelligence, $x 1860-949X ; $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 Computational intelligence. $3 568984
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computational linguistics. $3 555811
650 1 4 $a Computational Intelligence. $3 768837
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computational Linguistics. $3 670080
700 1 $a Grabowski, Adam. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1318450
700 1 $a Loukanova, Roussanka. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1318451
700 1 $a Schwarzweller, Christoph. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1318452
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030414245
776 0 8 $i Printed edition: $z 9783030414269
776 0 8 $i Printed edition: $z 9783030414276
830 0 $a Studies in Computational Intelligence, $x 1860-949X ; $v 564 $3 1253640
856 4 0 $u https://doi.org/10.1007/978-3-030-41425-2
912 $a ZDB-2-INR
912 $a ZDB-2-SXIT
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)
950 $a Intelligent Technologies and Robotics (R0) (SpringerNature-43728)