大葉大學圖書館 |

Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.1
書名/作者:	Logic, rationality, and interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings // edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
其他題名:	LORI 2015
其他作者:	Hoek, Wiebe van der.
團體作者:	Clark Conference
出版者:	Berlin, Heidelberg : : Springer Berlin Heidelberg :, 2015.
面頁冊數:	xi, 439 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Logic
標題:	Computer Science.
標題:	Mathematical Logic and Formal Languages.
標題:	Mathematical Logic and Foundations.
標題:	Discrete Mathematics in Computer Science.
標題:	Symbolic and Algebraic Manipulation.
標題:	Logics and Meanings of Programs.
ISBN:	9783662485613
ISBN:	9783662485606
摘要、提要註:	FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org) The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that has by now become a trademark of the LORI workshop series, where logic interfaces with disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer science and artificial intelligence.
電子資源:	http://dx.doi.org/10.1007/978-3-662-48561-3

Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
Logic, rationality, and interaction5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /[electronic resource] :LORI 2015edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. - Berlin, Heidelberg :Springer Berlin Heidelberg :2015. - xi, 439 p. :ill., digital ;24 cm. - Lecture notes in computer science,93940302-9743 ;. - Lecture notes in computer science ;7103..

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org) The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that has by now become a trademark of the LORI workshop series, where logic interfaces with disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer science and artificial intelligence.

ISBN: 9783662485613

Standard No.: 10.1007/978-3-662-48561-3doiSubjects--Topical Terms:

158066
Logic

LC Class. No.: BC5

Dewey Class. No.: 005.1

Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
LDR:02112nam a2200337 a 4500 001 444071
003 DE-He213
005 20160429103506.0
006 m d
007 cr nn 008maaau
008 160715s2015 gw s 0 eng d
020 $a 9783662485613 $q (electronic bk.)
020 $a 9783662485606 $q (paper)
024 7 $a 10.1007/978-3-662-48561-3 $2 doi
035 $a 978-3-662-48561-3
040 $a GP $c GP
041 0 $a eng
050 4 $a BC5
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a COM051010 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a BC5 $b .L872 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Logic, rationality, and interaction $h [electronic resource] : $b 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / $c edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
246 3 $a LORI 2015
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2015.
300 $a xi, 439 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9394
520 $a FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org) The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that has by now become a trademark of the LORI workshop series, where logic interfaces with disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer science and artificial intelligence.
650 0 $a Logic $3 158066
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 2 4 $a Mathematical Logic and Foundations. $3 464911
650 2 4 $a Discrete Mathematics in Computer Science. $3 464912
650 2 4 $a Symbolic and Algebraic Manipulation. $3 465559
650 2 4 $a Logics and Meanings of Programs. $3 466905
700 1 $a Hoek, Wiebe van der. $3 635234
700 1 $a Holliday, Wesley H. $3 635235
700 1 $a Wang, Wen-fang. $3 635236
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48561-3
950 $a Computer Science (Springer-11645)