Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/lori/lori2017.bht:"
@inproceedings{DBLP:conf/lori/Badie17, author = {Farshad Badie}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {From Concepts to Predicates Within Constructivist Epistemology}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {687--692}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_53}, doi = {10.1007/978-3-662-55665-8\_53}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/lori/Badie17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/BaltagBIO17, author = {Alexandru Baltag and Nick Bezhanishvili and Julia Ilin and Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Quotient Dynamics: The Logic of Abstraction}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {181--194}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_13}, doi = {10.1007/978-3-662-55665-8\_13}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/BaltagBIO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/BaltagL17, author = {Alexandru Baltag and Andr{\'{e}}s Occhipinti Liberman}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Evidence Logics with Relational Evidence}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {17--32}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_2}, doi = {10.1007/978-3-662-55665-8\_2}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/BaltagL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/BaltagOS17, author = {Alexandru Baltag and Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and Ana Lucia Vargas Sandoval}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Topo-Logic as a Dynamic-Epistemic Logic}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {330--346}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_23}, doi = {10.1007/978-3-662-55665-8\_23}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/BaltagOS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/BenthemBE17, author = {Johan van Benthem and Nick Bezhanishvili and Sebastian Enqvist}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Propositional Dynamic Logic for Instantial Neighborhood Models}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {137--150}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_10}, doi = {10.1007/978-3-662-55665-8\_10}, timestamp = {Mon, 01 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/BenthemBE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/BorgFSS17, author = {Annemarie Borg and Daniel Frey and Dunja Seselja and Christian Stra{\ss}er}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {391--406}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_27}, doi = {10.1007/978-3-662-55665-8\_27}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/BorgFSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/CharetonD17, author = {Christophe Chareton and Hans van Ditmarsch}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Strategic Knowledge of the Past in Quantum Cryptography}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {347--361}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_24}, doi = {10.1007/978-3-662-55665-8\_24}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/CharetonD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/ChenM17, author = {Jinsheng Chen and Minghui Ma}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Labelled Sequent Calculus for Inquisitive Logic}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {526--540}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_36}, doi = {10.1007/978-3-662-55665-8\_36}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/ChenM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/ChristoffG17, author = {Zo{\'{e}} Christoff and Davide Grossi}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Stability in Binary Opinion Diffusion}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {166--180}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_12}, doi = {10.1007/978-3-662-55665-8\_12}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/ChristoffG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Chua17, author = {Eugene Chua}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {An Empirical Route to Logical 'Conventionalism'}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {631--636}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_43}, doi = {10.1007/978-3-662-55665-8\_43}, timestamp = {Thu, 21 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Chua17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Ciardelli17, author = {Ivano Ciardelli}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {The Dynamic Logic of Stating and Asking: {A} Study of Inquisitive Dynamic Modalities}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {240--255}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_17}, doi = {10.1007/978-3-662-55665-8\_17}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Ciardelli17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Cina17, author = {Giovanni Cin{\'{a}}}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Characterization Theorem for Trackable Updates}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {94--107}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_7}, doi = {10.1007/978-3-662-55665-8\_7}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Cina17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/CintulaNS17, author = {Petr Cintula and Carles Noguera and Nicholas J. J. Smith}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Logical Framework for Graded Predicates}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {3--16}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_1}, doi = {10.1007/978-3-662-55665-8\_1}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/CintulaNS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Ciuni17, author = {Roberto Ciuni}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Conditional Doxastic Logic with Oughts and Concurrent Upgrades}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {299--313}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_21}, doi = {10.1007/978-3-662-55665-8\_21}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Ciuni17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Cohen17, author = {Michael Cohen}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Note on Belief, Question Embedding and Neg-Raising}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {648--652}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_46}, doi = {10.1007/978-3-662-55665-8\_46}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Cohen17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/CorsiF17, author = {Esther Anna Corsi and Christian G. Ferm{\"{u}}ller}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Logical Argumentation Principles, Sequents, and Nondeterministic Matrices}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {422--437}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_29}, doi = {10.1007/978-3-662-55665-8\_29}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/CorsiF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/DaoustM17, author = {Marc{-}Kevin Daoust and David P. Montminy}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Testing Minimax for Rational Ignorant Agents}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {541--553}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_37}, doi = {10.1007/978-3-662-55665-8\_37}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/DaoustM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/DongR17, author = {Huimin Dong and Olivier Roy}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Dynamic Logic of Power and Immunity}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {123--136}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_9}, doi = {10.1007/978-3-662-55665-8\_9}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/DongR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Fan17, author = {Jie Fan}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Distributed Knowledge Whether - (Extended Abstract)}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {643--647}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_45}, doi = {10.1007/978-3-662-55665-8\_45}, timestamp = {Sat, 19 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Fan17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/FrenchS17, author = {Rohan French and Shawn Standefer}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Non-triviality Done Proof-Theoretically}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {438--450}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_30}, doi = {10.1007/978-3-662-55665-8\_30}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/FrenchS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/FukudaI17, author = {Yosuke Fukuda and Ryosuke Igarashi}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {554--569}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_38}, doi = {10.1007/978-3-662-55665-8\_38}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/FukudaI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/GaleazziT17, author = {Paolo Galeazzi and Zoi Terzopoulou}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Relief Maximization and Rationality}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {670--675}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_50}, doi = {10.1007/978-3-662-55665-8\_50}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/GaleazziT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Georgatos17, author = {Konstantinos Georgatos}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Multi-agent Belief Revision Using Multisets}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {466--479}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_32}, doi = {10.1007/978-3-662-55665-8\_32}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Georgatos17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/GorankoKR17, author = {Valentin Goranko and Antti Kuusisto and Raine R{\"{o}}nnholm}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Rational Coordination with no Communication or Conventions}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {33--48}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_3}, doi = {10.1007/978-3-662-55665-8\_3}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/GorankoKR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/JiangPZ17, author = {Guifei Jiang and Laurent Perrussel and Dongmo Zhang}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {On Axiomatization of Epistemic {GDL}}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {598--613}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_41}, doi = {10.1007/978-3-662-55665-8\_41}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/JiangPZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/JuG17, author = {Fengkui Ju and Gianluca Grilletti}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Dynamic Approach to Temporal Normative Logic}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {512--525}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_35}, doi = {10.1007/978-3-662-55665-8\_35}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/JuG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/KamideO17, author = {Norihiro Kamide and Hitoshi Omori}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {An Extended First-Order Belnap-Dunn Logic with Classical Negation}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {79--93}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_6}, doi = {10.1007/978-3-662-55665-8\_6}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/KamideO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/KapsnerO17, author = {Andreas Kapsner and Hitoshi Omori}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Counterfactuals in Nelson Logic}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {497--511}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_34}, doi = {10.1007/978-3-662-55665-8\_34}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/KapsnerO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/KleinR17, author = {Dominik Klein and Rasmus K. Rendsvig}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Convergence, Continuity and Recurrence in Dynamic Epistemic Logic}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {108--122}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_8}, doi = {10.1007/978-3-662-55665-8\_8}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/KleinR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Kocurek17, author = {Alexander W. Kocurek}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {On the Concept of a Notational Variant}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {284--298}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_20}, doi = {10.1007/978-3-662-55665-8\_20}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Kocurek17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/KoniecznyLM17, author = {S{\'{e}}bastien Konieczny and Jean{-}Marie Lagniez and Pierre Marquis}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Boosting Distance-Based Revision Using {SAT} Encodings}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {480--496}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_33}, doi = {10.1007/978-3-662-55665-8\_33}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/KoniecznyLM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/KoniecznyP17, author = {S{\'{e}}bastien Konieczny and Ram{\'{o}}n Pino P{\'{e}}rez}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Putting More Dynamics in Revision with Memory}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {614--627}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_42}, doi = {10.1007/978-3-662-55665-8\_42}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/KoniecznyP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Lee17, author = {Hanna S. van Lee}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {585--597}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_40}, doi = {10.1007/978-3-662-55665-8\_40}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Lee17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Lin17, author = {Hanti Lin}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Enumerative Induction and Semi-uniform Convergence to the Truth}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {362--376}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_25}, doi = {10.1007/978-3-662-55665-8\_25}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Lin17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/OgnjanovicSS17, author = {Zoran Ognjanovic and Nenad Savic and Thomas Studer}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Justification Logic with Approximate Conditional Probabilities}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {681--686}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_52}, doi = {10.1007/978-3-662-55665-8\_52}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/OgnjanovicSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Omori17, author = {Hitoshi Omori}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Sette's Logics, Revisited}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {451--465}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_31}, doi = {10.1007/978-3-662-55665-8\_31}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Omori17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/OmoriS17, author = {Hitoshi Omori and Dami{\'{a}}n Enrique Szmuc}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Conjunction and Disjunction in Infectious Logics}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {268--283}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_19}, doi = {10.1007/978-3-662-55665-8\_19}, timestamp = {Thu, 14 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/OmoriS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Prenosil17, author = {Adam Prenosil}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Contradictory Information as a Basis for Rational Belief}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {151--165}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_11}, doi = {10.1007/978-3-662-55665-8\_11}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Prenosil17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Proietti17, author = {Carlo Proietti}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {The Dynamics of Group Polarization}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {195--208}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_14}, doi = {10.1007/978-3-662-55665-8\_14}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Proietti17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/PuncocharS17, author = {V{\'{\i}}t Puncoch{\'{a}}r and Igor Sedl{\'{a}}r}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Substructural Logics for Pooling Information}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {407--421}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_28}, doi = {10.1007/978-3-662-55665-8\_28}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/PuncocharS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/PutteTD17, author = {Frederik Van De Putte and Allard M. Tamminga and Hein Duijf}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Doing Without Nature}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {209--223}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_15}, doi = {10.1007/978-3-662-55665-8\_15}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/PutteTD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Sakama17, author = {Chiaki Sakama}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Causal Theory of Speech Acts}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {658--663}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_48}, doi = {10.1007/978-3-662-55665-8\_48}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Sakama17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Sano17, author = {Katsuhiko Sano}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {224--239}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_16}, doi = {10.1007/978-3-662-55665-8\_16}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Sano17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/ShiR17, author = {Chenwei Shi and Olivier Roy}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Reason to Believe}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {676--680}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_51}, doi = {10.1007/978-3-662-55665-8\_51}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/ShiR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Shimamura17, author = {Shuhei Shimamura}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {A Nonmonotonic Modal Relevant Sequent Calculus}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {570--584}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_39}, doi = {10.1007/978-3-662-55665-8\_39}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Shimamura17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/SmetsV17, author = {Sonja Smets and Fernando R. Vel{\'{a}}zquez{-}Quesada}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {How to Make Friends: {A} Logical Approach to Social Group Creation}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {377--390}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_26}, doi = {10.1007/978-3-662-55665-8\_26}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/SmetsV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Su17, author = {Xingchi Su}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Distributed Knowing Whether - (Extended Abstract)}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {653--657}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_47}, doi = {10.1007/978-3-662-55665-8\_47}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Su17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Urbaniak17, author = {Rafal Urbaniak}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Beating the Gatecrasher Paradox with Judiciary Narratives}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {637--642}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_44}, doi = {10.1007/978-3-662-55665-8\_44}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/Urbaniak17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Velazquez-Quesada17, author = {Fernando R. Vel{\'{a}}zquez{-}Quesada}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {On Subtler Belief Revision Policies}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {314--329}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_22}, doi = {10.1007/978-3-662-55665-8\_22}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/Velazquez-Quesada17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Wang17, author = {Wen{-}Fang Wang}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Multi-Path vs. Single-Path Replies to Skepticism}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {65--78}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_5}, doi = {10.1007/978-3-662-55665-8\_5}, timestamp = {Mon, 03 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lori/Wang17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/WronskiG17, author = {Leszek Wronski and Michal Tomasz Godziszewski}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {The Stubborn Non-probabilist - 'Negation Incoherence' and a New Way to Block the Dutch Book Argument}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {256--267}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_18}, doi = {10.1007/978-3-662-55665-8\_18}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/WronskiG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/XiongASZ17, author = {Zuojun Xiong and Thomas {\AA}gotnes and Jeremy Seligman and Rui Zhu}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Towards a Logic of Tweeting}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {49--64}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_4}, doi = {10.1007/978-3-662-55665-8\_4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/XiongASZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lori/Zhen17, author = {Liang Zhen}, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {An Axiomatisation for Minimal Social Epistemic Logic}, booktitle = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, pages = {664--669}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8\_49}, doi = {10.1007/978-3-662-55665-8\_49}, timestamp = {Fri, 01 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/Zhen17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lori/2017, editor = {Alexandru Baltag and Jeremy Seligman and Tomoyuki Yamada}, title = {Logic, Rationality, and Interaction - 6th International Workshop, {LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10455}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55665-8}, doi = {10.1007/978-3-662-55665-8}, isbn = {978-3-662-55664-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lori/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.