國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic, rationality, and interaction/ edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
其他題名:	5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
其他題名:	LORI 2015
其他作者:	Wang, Wen-fang.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Berlin, Heidelberg :Imprint: Springer, : 2015.,
面頁冊數:	xi, 439 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Logics and Meanings of Programs. -
電子資源:	http://dx.doi.org/10.1007/978-3-662-48561-3
ISBN:	9783662485613

Logic, rationality, and interaction = 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 :Imprint: Springer,2015. - xi, 439 p. :ill., digital ;24 cm. - Lecture notes in computer science,93940302-9743 ;. - Lecture notes in computer science ;6140..

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:

670058
Logics and Meanings of Programs.

LC Class. No.: BC5

Dewey Class. No.: 005.1

Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
LDR:02112nam a2200337 a 4500 001 838414
003 DE-He213
005 20160429103506.0
006 m d
007 cr nn 008maaau
008 160616s2015 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 Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2015. $b Imprint: Springer, $b Springer Berlin Heidelberg :
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 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 1 4 $a Computer Science. $3 593922
650 0 $a Logic $3 558651
700 1 $a Wang, Wen-fang. $3 1069466
700 1 $a Holliday, Wesley H. $3 1069465
700 1 $a Hoek, Wiebe van der. $3 1069464
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-48561-3
950 $a Computer Science (Springer-11645)