Bild från Syndetics
Logic, Rationality, and Interaction [electronic resource] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada.
Materialtyp:
TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Utgåva: 1st ed. 2017Beskrivning: XII, 694 p. 67 illus. online resourceInnehållstyp: - text
- computer
- online resource
- 9783662556658
- 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
- Machine theory
- Mathematical logic
- Computer science -- Mathematics
- Discrete mathematics
- Computer science
- 005.131 23
Innehåll:
Sammanfattning: 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. .
Agency -- Argumentation and Agreement -- Belief Revision and Belief Merging -- Belief Representation -- Cooperation, Decision Making and Planning -- Natural Language -- Philosophy and Philosophical Logic -- Strategic Reasoning.
Inga fysiska exemplar för denna post
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. .
Licensed e-book