Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
tarafından
 
Baltag, Alexandru. editor.

Başlık
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar
Baltag, Alexandru. editor.

ISBN
9783662556658

Edisyon
1st ed. 2017.

Fiziksel Niteleme
XII, 694 p. 67 illus. online resource.

Seri
Theoretical Computer Science and General Issues ; 10455

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

Özet
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. .

Konu Başlığı
Computer science.
 
Logic, Symbolic and mathematical.
 
Computational complexity.
 
Algebra -- Data processing.
 
Logic design.
 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes/M24005
 
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market-codes/I17028
 
Symbolic and Algebraic Manipulation. http://scigraph.springernature.com/things/product-market-codes/I17052
 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X

Yazar Ek Girişi
Baltag, Alexandru.
 
Seligman, Jeremy.
 
Yamada, Tomoyuki.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-662-55665-8


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book223846-1001QA8.9 -QA10.3Springer E-Book Collection