skip to content
Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings Preview this item
ClosePreview this item
Checking...

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

Author: Patrick Blackburn; Emiliano Lorini; Meiyun Guo
Publisher: Berlin, Germany : Springer, 2019.
Series: Lecture notes in computer science, 11813.; Lecture notes in computer science., Lecture notes in artificial intelligence., FoLLI publications on logic, language and information.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Patrick Blackburn; Emiliano Lorini; Meiyun Guo
ISBN: 9783662602928 366260292X
OCLC Number: 1123171823
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xxi, 441 pages) : illustrations (some color).
Contents: Intro; Preface; Organization; Abstract of Invited Talks; The Dynamics of Group Knowledge and Belief; Argument-Based Paraconsistent Logics; Realism, Simplicity, and Topology; Reasoning in Dynamic Games: From Rationality to Rationalization; Understanding Equilibrium Properties of Multi-agent Systems; Beyond Knowing that: A New Generation of Epistemic Logics; Contents; On the Right Path: A Modal Logic for Supervised Learning; 1 Introduction; 2 Modal Logic of Supervised Learning (SLL); 2.1 Language and Semantics; 2.2 Application: Winning Strategies in SLG; 2.3 Preliminary Observations 3 Expressive Power of SLL3.1 First-Order Translation; 3.2 Bisimulation and Characterization for SLL; 4 Model Checking and Satisfiability for SLL; 5 Conclusion and Future Work; References; Elementary Iterated Revision and the Levi Identity; 1 Introduction; 2 Preliminaries; 2.1 Single-Step Change; 2.2 Iterated Change; 3 Elementary Revision Operators; 4 Extending the Levi Identity; 4.1 A Proposal Involving Rational Closure; 4.2 Nayak et al.'s `New Levi Identity'; 4.3 Rational Closure and the New Levi Identity; 5 Is Iterated Revision Reducible to Iterated Contraction? 6 Conclusions and Further WorkReferences; Undefinability in Inquisitive Logic with Tensor; 1 Introduction; 2 Definability and Eliminability; 3 Inquisitive Logic with Tensor Disjunction; 4 Eliminability; 5 Independence of the Connectives; 5.1 Undefinability of; 5.2 Undefinability of; 6 Conclusion; References; Minimal-Change Counterfactuals in Intuitionistic Logic; 1 Introduction; 2 Counterfactuals in Intuitionistic Kripke Semantics; 3 Minimal Change Conditions; 4 Axiomatization; 5 Canonical Model Construction; 6 Conclusion and Outlook; References Consolidation of Belief in Two Logics of Evidence1 Introduction; 2 A Multi-agent Logic of Evidence; 3 A Consolidation Operation; 3.1 Definitions; 3.2 Examples; 3.3 Properties; 3.4 A Unified Language for Evidence and Beliefs; 4 Equivalence Between Evidence Models; 4.1 From B&P to FVEL Models; 4.2 From FVEL to B&P Models; 4.3 Evaluating the Conversions; 5 Comparing Consolidations; 6 Conclusion; References; From Classical to Non-monotonic Deontic Logic Using ASPIC+; 1 Using ASPIC+ to Design Non-monotonic Deontic Logics; 2 Running Example: Free-Choice Permission 3 Step 1: Arguments Based on Two Monotonic Logics4 Step 2: Preferences Among Arguments; 5 Step 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD
Series Title: Lecture notes in computer science, 11813.; Lecture notes in computer science., Lecture notes in artificial intelligence., FoLLI publications on logic, language and information.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: LORI 2019
Responsibility: Patrick Blackburn, Emiliano Lorini, Meiyun Guo (eds.).

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1123171823> # Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "1123171823" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.loc.gov/authorities/classification/BC5> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9439187649#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/9439187649#Topic/logic> ; # Logic
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:alternateName "LORI 2019" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9439187649#Meeting/lori_workshop_7th_2019_chongqing_china> ; # LORI (Workshop) (7th : 2019 : Chongqing, China)
    schema:datePublished "2019" ;
    schema:description "Intro; Preface; Organization; Abstract of Invited Talks; The Dynamics of Group Knowledge and Belief; Argument-Based Paraconsistent Logics; Realism, Simplicity, and Topology; Reasoning in Dynamic Games: From Rationality to Rationalization; Understanding Equilibrium Properties of Multi-agent Systems; Beyond Knowing that: A New Generation of Epistemic Logics; Contents; On the Right Path: A Modal Logic for Supervised Learning; 1 Introduction; 2 Modal Logic of Supervised Learning (SLL); 2.1 Language and Semantics; 2.2 Application: Winning Strategies in SLG; 2.3 Preliminary Observations"@en ;
    schema:description "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. --"@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9439187649#Person/lorini_emiliano> ; # Emiliano Lorini
    schema:editor <http://experiment.worldcat.org/entity/work/data/9439187649#Person/guo_meiyun> ; # Meiyun Guo
    schema:editor <http://experiment.worldcat.org/entity/work/data/9439187649#Person/blackburn_patrick_1959> ; # Patrick Blackburn
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9439187649> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9439187649#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9439187649#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9439187649#Series/folli_publications_on_logic_language_and_information> ; # FoLLI publications on logic, language and information
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9439187649#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:name "Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings"@en ;
    schema:productID "1123171823" ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=5967981> ;
    schema:url <https://doi.org/10.1007/978-3-662-60292-8> ;
    schema:workExample <http://worldcat.org/isbn/9783662602928> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-662-60292-8> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB9I4525> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1123171823> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9439187649#Meeting/lori_workshop_7th_2019_chongqing_china> # LORI (Workshop) (7th : 2019 : Chongqing, China)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9439187649#Place/chongqing_china> ; # Chongqing, China)
    schema:name "LORI (Workshop) (7th : 2019 : Chongqing, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Person/blackburn_patrick_1959> # Patrick Blackburn
    a schema:Person ;
    schema:birthDate "1959" ;
    schema:familyName "Blackburn" ;
    schema:givenName "Patrick" ;
    schema:name "Patrick Blackburn" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Person/guo_meiyun> # Meiyun Guo
    a schema:Person ;
    schema:familyName "Guo" ;
    schema:givenName "Meiyun" ;
    schema:name "Meiyun Guo" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Person/lorini_emiliano> # Emiliano Lorini
    a schema:Person ;
    schema:familyName "Lorini" ;
    schema:givenName "Emiliano" ;
    schema:name "Emiliano Lorini" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Place/chongqing_china> # Chongqing, China)
    a schema:Place ;
    schema:name "Chongqing, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Series/folli_publications_on_logic_language_and_information> # FoLLI publications on logic, language and information
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1123171823> ; # Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
    schema:name "FoLLI publications on logic, language and information" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1123171823> ; # Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1123171823> ; # Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1123171823> ; # Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/9439187649#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://worldcat.org/isbn/9783662602928>
    a schema:ProductModel ;
    schema:isbn "366260292X" ;
    schema:isbn "9783662602928" ;
    .

<http://www.worldcat.org/title/-/oclc/1123171823>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1123171823> ; # Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
    schema:dateModified "2019-11-15" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.