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
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 223846-1001 | QA8.9 -QA10.3 | Springer E-Book Collection |