Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
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 2512-2029 ; .
- 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.
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
Machine theory.
Mathematical logic.
Computer science--Mathematics.
Discrete mathematics.
Computer science.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Computer Science Logic and Foundations of Programming.
QA267-268.5
005.131
Agency -- Argumentation and Agreement -- Belief Revision and Belief Merging -- Belief Representation -- Cooperation, Decision Making and Planning -- Natural Language -- Philosophy and Philosophical Logic -- Strategic Reasoning.
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
Machine theory.
Mathematical logic.
Computer science--Mathematics.
Discrete mathematics.
Computer science.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Computer Science Logic and Foundations of Programming.
QA267-268.5
005.131