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 /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Baltag, Alexandru. (Editor ), Seligman, Jeremy. (Editor ), Yamada, Tomoyuki. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10455
Materias:
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.
Tabla de Contenidos:
  • Agency
  • Argumentation and Agreement
  •  Belief Revision and Belief Merging
  •  Belief Representation
  •  Cooperation, Decision Making and Planning
  •  Natural Language
  •  Philosophy and Philosophical Logic
  •  Strategic Reasoning.

Ejemplares similares