Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

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.

List of contents

Agency.- Argumentation and Agreement.- Belief Revision and Belief Merging.- Belief Representation.- Cooperation, Decision Making and Planning.- Natural Language.- Philosophy and Philosophical Logic.- Strategic Reasoning.

Summary

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. 

Product details

• Assisted by: Alexandru Baltag (Editor), Jerem Seligman (Editor), Jeremy Seligman (Editor), Tomoyuki Yamada (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 30.09.2017
• EAN: 9783662556641
• ISBN: 978-3-662-55664-1
• No. of pages: 694
• Dimensions: 155 mm x 38 mm x 234 mm
• Weight: 1054 g
• Illustrations: XII, 694 p. 67 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, mathematische Grundlagen, Mathematik: Logik, Diskrete Mathematik, Mathematik für Informatiker, computer science, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Discrete Mathematics, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Mathematical logic, Mathematical Logic and Foundations, Mathematical foundations, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Computer architecture & logic design, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory