Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / [electronic resource] : / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada.. — 1st ed. 2017.. — XII, 694 p. 67 illus. : online resource. — (Theoretical Computer Science and General Issues ;) 10455. - Theoretical Computer Science and General Issues ; 10455 .
Agency -- Argumentation and Agreement -- Belief Revision and Belief Merging -- Belief Representation -- Cooperation, Decision Making and Planning -- Natural Language -- Philosophy and Philosophical Logic -- Strategic Reasoning.
Available to subscribing member institutions only. Доступно лише організаціям членам підписки.
Анотація: This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural Language, Philosophy and Philosophical Logic, and Strategic Reasoning. .
9783662556658
10.1007/978-3-662-55665-8 doi
Mathematical logic. Computer science—Mathematics. Computer logic. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Discrete Mathematics in Computer Science. Symbolic and Algebraic Manipulation. Logics and Meanings of Programs.