東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic, rationality, and interaction ...

LORI (Workshop) (2019 :)

FindBook

Google Book

Amazon

博客來

Logic, rationality, and interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic, rationality, and interaction/ edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo.
其他題名:	7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings /
其他題名:	LORI 2019
其他作者:	Blackburn, Patrick.
團體作者:	LORI (Workshop)
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2019.,
面頁冊數:	xxi, 441 p. :ill. (some col.), digital ;24 cm.
內容註:	On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership.
Contained By:	Springer Nature eBook
標題:	Logic - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-662-60292-8
ISBN:	9783662602928

Logic, rationality, and interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings /
Logic, rationality, and interaction7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings /[electronic resource] :LORI 2019edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo. - Berlin, Heidelberg :Springer Berlin Heidelberg :2019. - xxi, 441 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,118130302-9743 ;. - Lecture notes in computer science ;11813..

On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the 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.

ISBN: 9783662602928

Standard No.: 10.1007/978-3-662-60292-8doiSubjects--Topical Terms:

892582
Logic
--Congresses.

LC Class. No.: BC5 / .L675 2019

Dewey Class. No.: 005.1

Logic, rationality, and interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings /
LDR:03688nmm a2200373 a 4500 001 2242892
003 DE-He213
005 20200701160325.0
006 m d
007 cr nn 008maaau
008 211207s2019 gw s 0 eng d
020 $a 9783662602928 $q (electronic bk.)
020 $a 9783662602911 $q (paper)
024 7 $a 10.1007/978-3-662-60292-8 $2 doi
035 $a 978-3-662-60292-8
040 $a GP $c GP
041 0 $a eng
050 4 $a BC5 $b .L675 2019
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 005.1 $2 23
090 $a BC5 $b .L872 2019
111 2 $a LORI (Workshop) $n (7th : $d 2019 : $c Chongqing, China) $3 3502554
245 1 0 $a Logic, rationality, and interaction $h [electronic resource] : $b 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019 : proceedings / $c edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo.
246 3 $a LORI 2019
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2019.
300 $a xxi, 441 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11813
490 1 $a Theoretical computer science and general issues
505 0 $a On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership.
520 $a This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the 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.
650 0 $a Logic $v Congresses. $3 892582
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 1 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Computer Appl. in Social and Behavioral Sciences. $3 892702
700 1 $a Blackburn, Patrick. $3 3502555
700 1 $a Lorini, Emiliano. $3 2162802
700 1 $a Guo, Meiyun. $3 3502556
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 11813. $3 3502557
830 0 $a Theoretical computer science and general issues. $3 3382501
856 4 0 $u https://doi.org/10.1007/978-3-662-60292-8
950 $a Computer Science (SpringerNature-11645)