Search dblp for Publications

export results for "toc:db/conf/lori/lori2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lori/0002CFM19,
  author       = {Kees van Berkel and
                  Agata Ciabattoni and
                  Elisa Freschi and
                  Sanjay Modgil},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Evaluating Networks of Arguments: {A} Case Study in M{\={\i}}m{\={a}}{\unicode{7747}}s{\={a}}
                  Dialectics},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {355--369},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_26},
  doi          = {10.1007/978-3-662-60292-8\_26},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/0002CFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/0002L19,
  author       = {Kees van Berkel and
                  Tim Lyon},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {A Neutral Temporal Deontic {STIT} Logic},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {340--354},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_25},
  doi          = {10.1007/978-3-662-60292-8\_25},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/0002L19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/BaltagLP19,
  author       = {Alexandru Baltag and
                  Dazhu Li and
                  Mina Young Pedersen},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {On the Right Path: {A} Modal Logic for Supervised Learning},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_1},
  doi          = {10.1007/978-3-662-60292-8\_1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/BaltagLP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/Chandler019,
  author       = {Jake Chandler and
                  Richard Booth},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Elementary Iterated Revision and the Levi Identity},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {15--28},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_2},
  doi          = {10.1007/978-3-662-60292-8\_2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/Chandler019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/CiardelliB19,
  author       = {Ivano Ciardelli and
                  Fausto Barbero},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Undefinability in Inquisitive Logic with Tensor},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {29--42},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_3},
  doi          = {10.1007/978-3-662-60292-8\_3},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/CiardelliB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/CiardelliL19,
  author       = {Ivano Ciardelli and
                  Xinghan Liu},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Minimal-Change Counterfactuals in Intuitionistic Logic},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {43--56},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_4},
  doi          = {10.1007/978-3-662-60292-8\_4},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/CiardelliL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/DongLMT19,
  author       = {Huimin Dong and
                  Beishui Liao and
                  R{\'{e}}ka Markovich and
                  Leendert W. N. van der Torre},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {From Classical to Non-monotonic Deontic Logic Using ASPIC\({}^{\mbox{+}}\)},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_6},
  doi          = {10.1007/978-3-662-60292-8\_6},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/DongLMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/DuntschO19,
  author       = {Ivo D{\"{u}}ntsch and
                  Ewa Orlowska},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {A Discrete Representation of Lattice Frames},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {86--97},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_7},
  doi          = {10.1007/978-3-662-60292-8\_7},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/DuntschO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/GaleazziRS19,
  author       = {Paolo Galeazzi and
                  Rasmus K. Rendsvig and
                  Marija Slavkovik},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Improving Judgment Reliability in Social Networks via Jury Theorems},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {230--243},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_17},
  doi          = {10.1007/978-3-662-60292-8\_17},
  timestamp    = {Tue, 21 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/GaleazziRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/GalimullinAA19,
  author       = {Rustam Galimullin and
                  Thomas {\AA}gotnes and
                  Natasha Alechina},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Group Announcement Logic with Distributed Knowledge},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {98--111},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_8},
  doi          = {10.1007/978-3-662-60292-8\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/GalimullinAA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/GorankoJ19,
  author       = {Valentin Goranko and
                  Fengkui Ju},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Towards a Logic for Conditional Local Strategic Reasoning},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {112--125},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_9},
  doi          = {10.1007/978-3-662-60292-8\_9},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/GorankoJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/HoekKW19,
  author       = {Wiebe van der Hoek and
                  Louwe B. Kuijer and
                  Y{\`{\i}} N. W{\'{a}}ng},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Who Should Be My Friends? - Social Balance from the Perspective of
                  Game Theory},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {370--384},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_27},
  doi          = {10.1007/978-3-662-60292-8\_27},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/HoekKW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/LiW19,
  author       = {Yanjun Li and
                  Yanjing Wang},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Multi-agent Knowing How via Multi-step Plans: {A} Dynamic Epistemic
                  Planning Based Approach},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {126--139},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_10},
  doi          = {10.1007/978-3-662-60292-8\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/LiW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/LibermanR19,
  author       = {Andr{\'{e}}s Occhipinti Liberman and
                  Rasmus K. Rendsvig},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Dynamic Term-Modal Logic for Epistemic Social Network Dynamics},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {168--182},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_13},
  doi          = {10.1007/978-3-662-60292-8\_13},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/LibermanR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/LinL19,
  author       = {Kaiyang Lin and
                  Zhe Lin},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {The Sequent Systems and Algebraic Semantics of Intuitionistic Tense
                  Logics},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {140--152},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_11},
  doi          = {10.1007/978-3-662-60292-8\_11},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/LinL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/LiuWD19,
  author       = {Jixin Liu and
                  Yanjing Wang and
                  Yifeng Ding},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Weakly Aggregative Modal Logic: Characterization and Interpolation},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_12},
  doi          = {10.1007/978-3-662-60292-8\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/LiuWD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/PedersenSA19,
  author       = {Mina Young Pedersen and
                  Sonja Smets and
                  Thomas {\AA}gotnes},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Analyzing Echo Chambers: {A} Logic of Strong and Weak Ties},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {183--198},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_14},
  doi          = {10.1007/978-3-662-60292-8\_14},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/PedersenSA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/PerrotinGCA19,
  author       = {Elise Perrotin and
                  Rustam Galimullin and
                  Quentin Canu and
                  Natasha Alechina},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Public Group Announcements and Trust in Doxastic Logic},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {199--213},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_15},
  doi          = {10.1007/978-3-662-60292-8\_15},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/PerrotinGCA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/ProiettiGSV19,
  author       = {Carlo Proietti and
                  Davide Grossi and
                  Sonja Smets and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {214--229},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_16},
  doi          = {10.1007/978-3-662-60292-8\_16},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/ProiettiGSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/Santos19,
  author       = {Yuri David Santos},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Consolidation of Belief in Two Logics of Evidence},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {57--70},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_5},
  doi          = {10.1007/978-3-662-60292-8\_5},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/Santos19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/SawasakiSY19,
  author       = {Takahiro Sawasaki and
                  Katsuhiko Sano and
                  Tomoyuki Yamada},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Term-Sequence-Modal Logics},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {244--258},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_18},
  doi          = {10.1007/978-3-662-60292-8\_18},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/SawasakiSY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/SchulzSVX19,
  author       = {Katrin Schulz and
                  Sonja Smets and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada and
                  Kaibo Xie},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {A Logical and Empirical Study of Right-Nested Counterfactuals},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {259--272},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_19},
  doi          = {10.1007/978-3-662-60292-8\_19},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/SchulzSVX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/SedlarPT19,
  author       = {Igor Sedl{\'{a}}r and
                  V{\'{\i}}t Puncoch{\'{a}}r and
                  Andrew Tedder},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {First Degree Entailment with Group Attitudes and Information Updates},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {273--285},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_20},
  doi          = {10.1007/978-3-662-60292-8\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/SedlarPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/Shi19,
  author       = {Chenwei Shi},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Knowledge in Topological Argumentation Models},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {286--296},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_21},
  doi          = {10.1007/978-3-662-60292-8\_21},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/Shi19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/SolakiV19,
  author       = {Anthia Solaki and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Towards a Logical Formalisation of Theory of Mind: {A} Study on False
                  Belief Tasks},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {297--312},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_22},
  doi          = {10.1007/978-3-662-60292-8\_22},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/SolakiV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/SongX19,
  author       = {Pengfei Song and
                  Wei Xiong},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {A Two-Layer Partition Awareness Structure},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {313--325},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_23},
  doi          = {10.1007/978-3-662-60292-8\_23},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/SongX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/SuS19,
  author       = {Youan Su and
                  Katsuhiko Sano},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {First-Order Intuitionistic Epistemic Logic},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {326--339},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_24},
  doi          = {10.1007/978-3-662-60292-8\_24},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/SuS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/Wang19,
  author       = {Xinyu Wang},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Epistemic Logic with Partial Dependency Operator},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {385--398},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_28},
  doi          = {10.1007/978-3-662-60292-8\_28},
  timestamp    = {Tue, 10 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/Wang19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/Wang19a,
  author       = {Xun Wang},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {A Logic of Knowing How with Skippable Plans},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {413--424},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_30},
  doi          = {10.1007/978-3-662-60292-8\_30},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/Wang19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/WangW19,
  author       = {Xinyu Wang and
                  Yanjing Wang},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Knowledge-Now and Knowledge-All},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {399--412},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_29},
  doi          = {10.1007/978-3-662-60292-8\_29},
  timestamp    = {Tue, 10 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lori/WangW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lori/XiongG19,
  author       = {Zuojun Xiong and
                  Meiyun Guo},
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {A Dynamic Hybrid Logic for Followership},
  booktitle    = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  pages        = {425--439},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8\_31},
  doi          = {10.1007/978-3-662-60292-8\_31},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/XiongG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lori/2019,
  editor       = {Patrick Blackburn and
                  Emiliano Lorini and
                  Meiyun Guo},
  title        = {Logic, Rationality, and Interaction - 7th International Workshop,
                  {LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11813},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-662-60292-8},
  doi          = {10.1007/978-3-662-60292-8},
  isbn         = {978-3-662-60291-1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lori/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.