Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/lori:"
download as .bib file
@inproceedings{DBLP:conf/lori/AgotnesS23,
author = {Thomas {\AA}gotnes and
Chiaki Sakama},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {A Formal Analysis of Hollis' Paradox},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {306--321},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_24},
doi = {10.1007/978-3-031-45558-2\_24},
timestamp = {Thu, 09 Nov 2023 15:01:06 +0100},
biburl = {https://dblp.org/rec/conf/lori/AgotnesS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Bochman23,
author = {Alexander Bochman},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {An Inferential Theory of Causal Reasoning},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {1--16},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_1},
doi = {10.1007/978-3-031-45558-2\_1},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Bochman23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Chu23,
author = {Tianyi Chu},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Indicative Conditionals in Awareness Framework},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {17--30},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_2},
doi = {10.1007/978-3-031-45558-2\_2},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Chu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DasRS23,
author = {Ramit Das and
R. Ramanujam and
Sunil Simon},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {A Logical Description of Priority Separable Games},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {31--46},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_3},
doi = {10.1007/978-3-031-45558-2\_3},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/DasRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Ding23,
author = {Yifeng Ding},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Modal Logics with Non-rigid Propositional Designators},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {47--62},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_4},
doi = {10.1007/978-3-031-45558-2\_4},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Ding23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DitmarschKL23,
author = {Hans van Ditmarsch and
Louwe B. Kuijer and
Mo Liu},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {63--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_5},
doi = {10.1007/978-3-031-45558-2\_5},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/DitmarschKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/EstradaGonzalezT23,
author = {Luis Estrada{-}Gonz{\'{a}}lez and
Miguel {\'{A}}ngel Trejo{-}Huerta},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Connexivity Meets Church and Ackermann},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {77--85},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_6},
doi = {10.1007/978-3-031-45558-2\_6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/EstradaGonzalezT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Fan23,
author = {Jie Fan},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Unknown Truths and Unknowable Truths},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {86--93},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_7},
doi = {10.1007/978-3-031-45558-2\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Fan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/FangZ23,
author = {Jingzhi Fang and
Jiji Zhang},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {A Characterization of Lewisian Causal Models},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {94--108},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_8},
doi = {10.1007/978-3-031-45558-2\_8},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/FangZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Feng23,
author = {Shiguang Feng},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {The Expressive Power of Revised Datalog on Problems with Closure Properties},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {109--125},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_9},
doi = {10.1007/978-3-031-45558-2\_9},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Feng23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Guelev23,
author = {Dimitar P. Guelev},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements,
and Temporal Projection},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {126--134},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_10},
doi = {10.1007/978-3-031-45558-2\_10},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Guelev23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GuoM23,
author = {Juntong Guo and
Minghui Ma},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Epistemic Monadic Boolean Algebras},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {135--148},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_11},
doi = {10.1007/978-3-031-45558-2\_11},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/GuoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Hong23,
author = {Bo Hong},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Knowing the Value of a Predicate},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {149--166},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_12},
doi = {10.1007/978-3-031-45558-2\_12},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Hong23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Hong23a,
author = {Zhengyi Hong},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Metaphor Comprehension in Situations},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {167--175},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_13},
doi = {10.1007/978-3-031-45558-2\_13},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Hong23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiZ23,
author = {Yanjun Li and
Jiajie Zhao},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {A Temporal Logic for Successive Events},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {176--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_14},
doi = {10.1007/978-3-031-45558-2\_14},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/LiZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiuS23,
author = {Sizhuo Liu and
Katsuhiko Sano},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Non-labelled Sequent Calculi of Public Announcement Expansions of
bfK45 and bfS5},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {190--206},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_15},
doi = {10.1007/978-3-031-45558-2\_15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/LiuS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/PengW23,
author = {Yu Peng and
Yiheng Wang},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {On the Finite Model Property of Non-normal Modal Logics},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {207--221},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_16},
doi = {10.1007/978-3-031-45558-2\_16},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/PengW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Song23,
author = {Pengfei Song},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Belief Base: {A} Minimal Logic of Fine-Grained Information Dynamics},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {222--237},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_17},
doi = {10.1007/978-3-031-45558-2\_17},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Song23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Standefer23,
author = {Shawn Standefer},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Hyperintensionality in Relevant Logics},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {238--250},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_18},
doi = {10.1007/978-3-031-45558-2\_18},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Standefer23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/StreitWK23,
author = {David Streit and
Vincent de Wit and
Aleks Knoks},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Reasons in Weighted Argumentation Graphs},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {251--259},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_19},
doi = {10.1007/978-3-031-45558-2\_19},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/StreitWK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Su23,
author = {Xingchi Su},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Making Norms and Following Norms},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {260--268},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_20},
doi = {10.1007/978-3-031-45558-2\_20},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Su23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang23,
author = {Minkyung Wang},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Aggregating Credences into Beliefs: Threshold-Based Approaches},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {269--283},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_21},
doi = {10.1007/978-3-031-45558-2\_21},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Wang23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Xiong23,
author = {Wei Xiong},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Cooperation Mechanisms for the Prisoner's Dilemma with Bayesian Games},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {284--291},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_22},
doi = {10.1007/978-3-031-45558-2\_22},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Xiong23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Zhao23,
author = {Wei Zhao},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Belief Revision with Satisfaction Measure},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {292--305},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_23},
doi = {10.1007/978-3-031-45558-2\_23},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Zhao23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lori/2023,
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2},
doi = {10.1007/978-3-031-45558-2},
isbn = {978-3-031-45557-5},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BazhenovMOM21,
author = {Nikolay Bazhenov and
Manat Mustafa and
Sergei Ospichev and
Luca San Mauro},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {1--13},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_1},
doi = {10.1007/978-3-030-88708-7\_1},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BazhenovMOM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BelardinelliR21,
author = {Gaia Belardinelli and
Rasmus K. Rendsvig},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Epistemic Planning with Attention as a Bounded Resource},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {14--30},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_2},
doi = {10.1007/978-3-030-88708-7\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BelardinelliR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BruniR21,
author = {Riccardo Bruni and
Lorenzo Rossi},
editor = {Sujata Ghosh and
Thomas Icard},
title = {A Unified Approach to Semantic and Soritical Paradoxes},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {31--40},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_3},
doi = {10.1007/978-3-030-88708-7\_3},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/BruniR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DasPR21,
author = {Ramit Das and
Anantha Padmanabha and
R. Ramanujam},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Reasoning in Large Games with Unboundedly Many Players},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {41--57},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_4},
doi = {10.1007/978-3-030-88708-7\_4},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DasPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DingLW21,
author = {Yifeng Ding and
Jixin Liu and
Yanjing Wang},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {58--72},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_5},
doi = {10.1007/978-3-030-88708-7\_5},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DingLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DongLW21,
author = {Huimin Dong and
Xu Li and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Weighted Modal Logic in Epistemic and Deontic Contexts},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {73--87},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_6},
doi = {10.1007/978-3-030-88708-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DongLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GalimullinA21,
author = {Rustam Galimullin and
Thomas {\AA}gotnes},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {88--101},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_7},
doi = {10.1007/978-3-030-88708-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GalimullinA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GrossiKSV21,
author = {Davide Grossi and
Barteld Kooi and
Xingchi Su and
Rineke Verbrugge},
editor = {Sujata Ghosh and
Thomas Icard},
title = {How Knowledge Triggers Obligation - {A} Dynamic Logic of Epistemic
Conditional Obligation},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {201--215},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_17},
doi = {10.1007/978-3-030-88708-7\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GrossiKSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HaglandA21,
author = {Tor Hagland and
Thomas {\AA}gotnes},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Crossing Hands in the Russian Cards Problem},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {102--110},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_8},
doi = {10.1007/978-3-030-88708-7\_8},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/HaglandA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HollidayNP21,
author = {Wesley H. Holliday and
Chase Norman and
Eric Pacuit},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Voting Theory in the Lean Theorem Prover},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {111--127},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_9},
doi = {10.1007/978-3-030-88708-7\_9},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/HollidayNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Li21,
author = {Yanjun Li},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Multi-agent Conformant Planning with Distributed Knowledge},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {128--140},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_10},
doi = {10.1007/978-3-030-88708-7\_10},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Li21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Lin21,
author = {Kaiyang Lin},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Discrete Linear Temporal Logic with Knowing-Value Operator},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {141--148},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_11},
doi = {10.1007/978-3-030-88708-7\_11},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Lin21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/OmoriA21,
author = {Hitoshi Omori and
Jonas R. Becker Arenhart},
editor = {Sujata Ghosh and
Thomas Icard},
title = {A Generalization of Ordered-Pair Semantics},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {149--157},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_12},
doi = {10.1007/978-3-030-88708-7\_12},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/OmoriA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/PedersenSS21,
author = {Mina Young Pedersen and
Marija Slavkovik and
Sonja Smets},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Social Bot Detection as a Temporal Logic Model Checking Problem},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {158--173},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_13},
doi = {10.1007/978-3-030-88708-7\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/PedersenSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/PengLL21,
author = {Yu Peng and
Zhe Lin and
Fei Liang},
editor = {Sujata Ghosh and
Thomas Icard},
title = {On the Finite Model Property of Weak Intuitionistic Tense Logic},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {174--182},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_14},
doi = {10.1007/978-3-030-88708-7\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/PengLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Sbardolini21,
author = {Giorgio Sbardolini},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Assertion, Rejection, and Semantic Universals},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {183--191},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_15},
doi = {10.1007/978-3-030-88708-7\_15},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Sbardolini21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/SedlarT21,
author = {Igor Sedl{\'{a}}r and
Andrew Tedder},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Situated Epistemic Updates},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {192--200},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_16},
doi = {10.1007/978-3-030-88708-7\_16},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/SedlarT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/SuMS21,
author = {Youan Su and
Ryo Murai and
Katsuhiko Sano},
editor = {Sujata Ghosh and
Thomas Icard},
title = {On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded
with Distributed Knowledge},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {216--231},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_18},
doi = {10.1007/978-3-030-88708-7\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/SuMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/TerminePD21,
author = {Alberto Termine and
Giuseppe Primiero and
Fabio Aurelio D'Asaro},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Modelling Accuracy and Trustworthiness of Explaining Agents},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {232--245},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_19},
doi = {10.1007/978-3-030-88708-7\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/TerminePD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang21,
author = {Xun Wang},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Completeness Theorems for {\textdollar}{\textbackslash}exists {\textbackslash}Box
{\textdollar}-Fragment of First-Order Modal Logic},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {246--258},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_20},
doi = {10.1007/978-3-030-88708-7\_20},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Wang21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WenL21,
author = {Xuefeng Wen and
Xincheng Luo},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Representation Results for Non-cumulative Logics},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {259--272},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_21},
doi = {10.1007/978-3-030-88708-7\_21},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/WenL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/XieY21,
author = {Kaibo Xie and
Jialiang Yan},
editor = {Sujata Ghosh and
Thomas Icard},
title = {A Logic for Desire Based on Causal Inference},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {273--287},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_22},
doi = {10.1007/978-3-030-88708-7\_22},
timestamp = {Sat, 17 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/XieY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lori/2021,
editor = {Sujata Ghosh and
Thomas Icard},
title = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7},
doi = {10.1007/978-3-030-88708-7},
isbn = {978-3-030-88707-0},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/lori/AucherBG15,
author = {Guillaume Aucher and
Johan van Benthem and
Davide Grossi},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Sabotage Modal Logic: Some Model and Proof Theoretic Aspects},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {1--13},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_1},
doi = {10.1007/978-3-662-48561-3\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/AucherBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Bakhtiarinoodeh15,
author = {Zeinab Bakhtiarinoodeh and
Umberto Rivieccio},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Epistemic Updates on Bilattices},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {426--428},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_37},
doi = {10.1007/978-3-662-48561-3\_37},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Bakhtiarinoodeh15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Baskent15,
author = {Can Baskent},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Game Theoretical Semantics for Paraconsistent Logics},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {14--26},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_2},
doi = {10.1007/978-3-662-48561-3\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Baskent15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BedrosianPZ15,
author = {Geghard Bedrosian and
Alessandra Palmigiano and
Zhiguang Zhao},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Generalized Ultraproduct and Kirman-Sondermann Correspondence for
Vote Abstention},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {27--39},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_3},
doi = {10.1007/978-3-662-48561-3\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BedrosianPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BenthemEGS15,
author = {Johan van Benthem and
Jan van Eijck and
Malvin Gattinger and
Kaile Su},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Symbolic Model Checking for Dynamic Epistemic Logic},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {366--378},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_30},
doi = {10.1007/978-3-662-48561-3\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BenthemEGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BolanderG15,
author = {Thomas Bolander and
Nina Gierasimczuk},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Learning Actions Models: Qualitative Approach},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {40--52},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_4},
doi = {10.1007/978-3-662-48561-3\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/BolanderG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/ChenR15,
author = {Eddy Keming Chen and
Daniel Rubio},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Great Expectations},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {53--63},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_5},
doi = {10.1007/978-3-662-48561-3\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/ChenR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Cohen15,
author = {Michael Cohen},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Dynamic Epistemic Logic with a Knowability Principle},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {406--410},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_33},
doi = {10.1007/978-3-662-48561-3\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Cohen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/ConradieFPT15,
author = {Willem Conradie and
Sabine Frittella and
Alessandra Palmigiano and
Apostolos Tzimoulis},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Probabilistic Epistemic Updates on Algebras},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {64--76},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_6},
doi = {10.1007/978-3-662-48561-3\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/ConradieFPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/EstebanPZ15,
author = {Mar{\'{\i}}a Esteban and
Alessandra Palmigiano and
Zhiguang Zhao},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {An Abstract Algebraic Logic View on Judgment Aggregation},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {77--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_7},
doi = {10.1007/978-3-662-48561-3\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/EstebanPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/FallensteinTC15,
author = {Benja Fallenstein and
Jessica Taylor and
Paul F. Christiano},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Reflective Oracles: {A} Foundation for Game Theory in Artificial Intelligence},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {411--415},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_34},
doi = {10.1007/978-3-662-48561-3\_34},
timestamp = {Thu, 01 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/FallensteinTC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GaifmanL15,
author = {Haim Gaifman and
Yang Liu},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Context-Dependent Utilities - {A} Solution to the Problem of Constant
Acts in Savage},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {90--101},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_8},
doi = {10.1007/978-3-662-48561-3\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GaifmanL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Georgatos15,
author = {Konstantinos Georgatos},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Graph-Based Belief Merging},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {102--115},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_9},
doi = {10.1007/978-3-662-48561-3\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Georgatos15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GhoshHSV15,
author = {Sujata Ghosh and
Tamoghna Halder and
Khyati Sharma and
Rineke Verbrugge},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive
Models},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {116--128},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_10},
doi = {10.1007/978-3-662-48561-3\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GhoshHSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GhoshV15,
author = {Sujata Ghosh and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Note on Reliability-Based Preference Dynamics},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {129--142},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_11},
doi = {10.1007/978-3-662-48561-3\_11},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GhoshV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HawkeS15,
author = {Peter Hawke and
Shane Steinert{-}Threlkeld},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Informational Dynamics of 'Might' Assertions},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {143--155},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_12},
doi = {10.1007/978-3-662-48561-3\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/HawkeS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HerzigLM15,
author = {Andreas Herzig and
Emiliano Lorini and
Faustine Maffre},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Poor Man's Epistemic Logic Based on Propositional Assignment and
Higher-Order Observation},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {156--168},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_13},
doi = {10.1007/978-3-662-48561-3\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/HerzigLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Hunter15,
author = {Aaron Hunter},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Infinite Ordinals and Finite Improvement},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {416--420},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_35},
doi = {10.1007/978-3-662-48561-3\_35},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Hunter15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/JuCL15,
author = {Fengkui Ju and
Nana Cui and
Shujiao Li},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Trace Semantics for {IPDL}},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {169--181},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_14},
doi = {10.1007/978-3-662-48561-3\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/JuCL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Kamide15,
author = {Norihiro Kamide},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human
Reasoning},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {182--194},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_15},
doi = {10.1007/978-3-662-48561-3\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Kim15,
author = {Brian Kim},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Solving the {HI-LO} Puzzle},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {421--425},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_36},
doi = {10.1007/978-3-662-48561-3\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Kim15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/KleinGR15,
author = {Dominik Klein and
Norbert Gratzl and
Olivier Roy},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Introspection, Normality and Agglomeration},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {195--206},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_16},
doi = {10.1007/978-3-662-48561-3\_16},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/KleinGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Kocurek15,
author = {Alexander W. Kocurek},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {On the Expressivity of First-Order Modal Logic with "Actually"},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {207--219},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_17},
doi = {10.1007/978-3-662-48561-3\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Kocurek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Lee15,
author = {Kok Yong Lee},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Causal Models and the Ambiguity of Counterfactuals},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {220--229},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_18},
doi = {10.1007/978-3-662-48561-3\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Lee15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Li15,
author = {Yanjun Li},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Tableaux for Single-Agent Epistemic {PDL} with Perfect Recall and
No Miracles},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {230--242},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_19},
doi = {10.1007/978-3-662-48561-3\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Li15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiaoH15,
author = {Beishui Liao and
Huaxin Huang},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Formulating Semantics of Probabilistic Argumentation by Characterizing
Subgraphs},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {243--254},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_20},
doi = {10.1007/978-3-662-48561-3\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LiaoH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/MaS15,
author = {Minghui Ma and
Jeremy Seligman},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Algebraic Semantics for Dynamic Dynamic Logic},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {255--267},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_21},
doi = {10.1007/978-3-662-48561-3\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/MaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/MarraK15,
author = {Alessandra Marra and
Dominik Klein},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Logic and Ethics: An Integrated Model for Norms, Intentions and Actions},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {268--281},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_22},
doi = {10.1007/978-3-662-48561-3\_22},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/MarraK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Motoura15,
author = {Shota Motoura},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A General Framework for Modal Correspondence in Dynamic Epistemic
Logic},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {282--294},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_23},
doi = {10.1007/978-3-662-48561-3\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Motoura15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Protopopescu15,
author = {Tudor Protopopescu},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Intuitionistic Epistemology and Modal Logics of Verification},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {295--307},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_24},
doi = {10.1007/978-3-662-48561-3\_24},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Protopopescu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Raleigh15,
author = {Thomas Raleigh},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {An Argument for Permissivism from Safespots},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {308--315},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_25},
doi = {10.1007/978-3-662-48561-3\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Raleigh15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Rendsvig15,
author = {Rasmus K. Rendsvig},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Model Transformers for Dynamical Systems of Dynamic Epistemic Logic},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {316--327},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_26},
doi = {10.1007/978-3-662-48561-3\_26},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Rendsvig15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Ripley15,
author = {David Ripley},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {'Transitivity' of Consequence Relations},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {328--340},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_27},
doi = {10.1007/978-3-662-48561-3\_27},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Ripley15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/SeligmanT15,
author = {Jeremy Seligman and
Declan Thompson},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Boolean Network Games and Iterated Boolean Games},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {353--365},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_29},
doi = {10.1007/978-3-662-48561-3\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/SeligmanT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Sun15,
author = {Xin Sun},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Boolean Game with Prioritized Norms},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {341--352},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_28},
doi = {10.1007/978-3-662-48561-3\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Sun15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/SunA15,
author = {Xin Sun and
Diego Agust{\'{\i}}n Ambrossio},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {On the Complexity of Input/Output Logic},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {429--434},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_38},
doi = {10.1007/978-3-662-48561-3\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/SunA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang15,
author = {Wen{-}Fang Wang},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Three-Valued Plurivaluationism of Vague Predicates},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {379--391},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_31},
doi = {10.1007/978-3-662-48561-3\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Wang15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang15a,
author = {Yanjing Wang},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Logic of Knowing How},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {392--405},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_32},
doi = {10.1007/978-3-662-48561-3\_32},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Wang15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Yang15,
author = {Chi{-}Her Yang},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Translating a Counterpart Theory into a Quantified Modal Language
with Descriptors},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {435--438},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_39},
doi = {10.1007/978-3-662-48561-3\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Yang15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lori/2015,
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3},
doi = {10.1007/978-3-662-48561-3},
isbn = {978-3-662-48560-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/AgotnesHHW13,
author = {Thomas {\AA}gotnes and
Paul Harrenstein and
Wiebe van der Hoek and
Michael J. Wooldridge},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Boolean Games with Epistemic Goals},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {1--14},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_1},
doi = {10.1007/978-3-642-40948-6\_1},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/AgotnesHHW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/AlechinaLL13,
author = {Natasha Alechina and
Fenrong Liu and
Brian Logan},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Minimal Preference Change},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {15--26},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_2},
doi = {10.1007/978-3-642-40948-6\_2},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/AlechinaLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BaltagBOS13,
author = {Alexandru Baltag and
Nick Bezhanishvili and
Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and
Sonja Smets},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {The Topology of Belief, Belief Revision and Defeasible Knowledge},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {27--40},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_3},
doi = {10.1007/978-3-642-40948-6\_3},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BaltagBOS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Chen13,
author = {Hsiang{-}Yun Chen},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {41--53},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_4},
doi = {10.1007/978-3-642-40948-6\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Chen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Chow13,
author = {Ka{-}Fat Chow},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Semantic Model for Interrogatives Based on Generalized Quantifiers
and Bilattices},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {54--67},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_5},
doi = {10.1007/978-3-642-40948-6\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Chow13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/ChristoffH13,
author = {Zo{\'{e}} Christoff and
Jens Ulrik Hansen},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Two-Tiered Formalization of Social Influence},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {68--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_6},
doi = {10.1007/978-3-642-40948-6\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/ChristoffH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/CuiL13,
author = {Jianying Cui and
Xudong Luo},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Unified Epistemic Analysis of Iterated Elimination Algorithms from
Regret Viewpoint},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {82--95},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_7},
doi = {10.1007/978-3-642-40948-6\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/CuiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DitmarschHLS13,
author = {Hans van Ditmarsch and
Andreas Herzig and
Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Listen to Me! Public Announcements to Agents That Pay Attention -
or Not},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {96--109},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_8},
doi = {10.1007/978-3-642-40948-6\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/DitmarschHLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DongL13,
author = {Huimin Dong and
Xiaowu Li},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Deontic Action Logic for Complex Actions},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {311--315},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_24},
doi = {10.1007/978-3-642-40948-6\_24},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DongL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GorankoT13,
author = {Valentin Goranko and
Paolo Turrini},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay
Negotiation Games with Conditional Offers},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {110--123},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_9},
doi = {10.1007/978-3-642-40948-6\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GorankoT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Gratzl13,
author = {Norbert Gratzl},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Sequent Calculi for Multi-modal Logic with Interaction},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {124--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_10},
doi = {10.1007/978-3-642-40948-6\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Gratzl13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GrecoKP13,
author = {Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Dynamic Epistemic Logic Displayed},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {135--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_11},
doi = {10.1007/978-3-642-40948-6\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/GrecoKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GuoS13,
author = {Meiyun Guo and
Jeremy Seligman},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {The Logic of Priori and a Posteriori Rationality in Strategic Games},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {218--227},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_17},
doi = {10.1007/978-3-642-40948-6\_17},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GuoS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HarjesN13,
author = {Kristine Harjes and
Pavel Naumov},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Cellular Games, Nash Equilibria, and Fibonacci Numbers},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {149--161},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_12},
doi = {10.1007/978-3-642-40948-6\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/HarjesN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HerzigLW13,
author = {Andreas Herzig and
Emiliano Lorini and
Dirk Walther},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Reasoning about Actions Meets Strategic Logics},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {162--175},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_13},
doi = {10.1007/978-3-642-40948-6\_13},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/HerzigLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Jensen13,
author = {Martin Holm Jensen},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Planning Using Dynamic Epistemic Logic: Correspondence and Complexity},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {316--320},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_25},
doi = {10.1007/978-3-642-40948-6\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Jensen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/JiangZT13,
author = {Guifei Jiang and
Dongmo Zhang and
Xiaojia Tang},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Judgment Aggregation with Abstentions: {A} Hierarchical Approach},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {321--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_26},
doi = {10.1007/978-3-642-40948-6\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/JiangZT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/JuL13,
author = {Fengkui Ju and
Li Liang},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Dynamic Deontic Logic Based on Histories},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {176--189},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_14},
doi = {10.1007/978-3-642-40948-6\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/JuL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Kuijer13,
author = {Louwe B. Kuijer},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Sequent Systems for Nondeterministic Propositional Logics without
Reflexivity},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {190--203},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_15},
doi = {10.1007/978-3-642-40948-6\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Kuijer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Liu13,
author = {Yang Liu},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Note on Bayesian Games},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {326--331},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_27},
doi = {10.1007/978-3-642-40948-6\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Liu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiuLS13,
author = {Chanjuan Liu and
Fenrong Liu and
Kaile Su},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {A Logic for Extensive Games with Short Sight},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {332--336},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_28},
doi = {10.1007/978-3-642-40948-6\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LiuLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/MaS13,
author = {Minghui Ma and
Katsuhiko Sano},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {How to Update Neighborhood Models},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {204--217},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_16},
doi = {10.1007/978-3-642-40948-6\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/MaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Rendsvig13,
author = {Rasmus K. Rendsvig},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Aggregated Beliefs and Informational Cascades},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {337--341},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_29},
doi = {10.1007/978-3-642-40948-6\_29},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Rendsvig13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Rodenhauser13,
author = {Ben Rodenh{\"{a}}user},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Dynamic Attitudes, Fixed Points and Minimal Change},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {342--346},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_30},
doi = {10.1007/978-3-642-40948-6\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Rodenhauser13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Shi13,
author = {Chenwei Shi},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Logic of Evidence-based Knowledge},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {347--351},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_31},
doi = {10.1007/978-3-642-40948-6\_31},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Shi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Sun13,
author = {Xin Sun},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Proof Theory, Semantics and Algebra for Normative Systems},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {228--238},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_18},
doi = {10.1007/978-3-642-40948-6\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Sun13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Szymanik13,
author = {Jakub Szymanik},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Backward Induction Is PTIME-complete},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {352--356},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_32},
doi = {10.1007/978-3-642-40948-6\_32},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Szymanik13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Velazquez-Quesada13,
author = {Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Explicit and Implicit Knowledge in Neighbourhood Models},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {239--252},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_19},
doi = {10.1007/978-3-642-40948-6\_19},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Velazquez-Quesada13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Velazquez-Quesada13a,
author = {Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Expressivity Hierarchy of Languages for Epistemic Awareness Models},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {253--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_20},
doi = {10.1007/978-3-642-40948-6\_20},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Velazquez-Quesada13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WangA13,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Public Announcements, Private Actions and Common Knowledge in {S5}
Structures},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {267--281},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_21},
doi = {10.1007/978-3-642-40948-6\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/WangA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WenL13,
author = {Xuefeng Wen and
Hu Liu},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Logic Aggregation},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {282--295},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_22},
doi = {10.1007/978-3-642-40948-6\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/WenL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Zhang13,
author = {Shengli Zhang},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {On Fuzzy Propositional Logic with Different Negations},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {357--361},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_33},
doi = {10.1007/978-3-642-40948-6\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Zhang13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/ZhongLEH13,
author = {Qiaoting Zhong and
Xudong Luo and
Frans H. van Eemeren and
Fan Huang},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {The Task Model of Court Investigation in a Multi-agent System of Argumentation
in Court},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {296--310},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_23},
doi = {10.1007/978-3-642-40948-6\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/ZhongLEH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lori/2013,
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6},
doi = {10.1007/978-3-642-40948-6},
isbn = {978-3-642-40947-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BachC11,
author = {Christian W. Bach and
J{\'{e}}r{\'{e}}mie Cabessa},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Agreeing to Disagree with Limit Knowledge},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {51--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_3},
doi = {10.1007/978-3-642-24130-7\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/BachC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Baskent11,
author = {Can Baskent},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {A Logic for Strategy Updates},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {382--383},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_28},
doi = {10.1007/978-3-642-24130-7\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Baskent11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BenthemP11,
author = {Johan van Benthem and
Eric Pacuit},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Logical Dynamics of Evidence},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {1--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_1},
doi = {10.1007/978-3-642-24130-7\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BenthemP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Chow11,
author = {Ka{-}Fat Chow},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and
Supervaluation Theory},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {61--73},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_4},
doi = {10.1007/978-3-642-24130-7\_4},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Chow11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DuHLFL11,
author = {Jianfeng Du and
Yong Hu and
Charles X. Ling and
Ming Fan and
Mei Liu},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Efficient Action Extraction with Many-to-Many Relationship between
Actions and Features},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {384--385},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_29},
doi = {10.1007/978-3-642-24130-7\_29},
timestamp = {Fri, 13 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/DuHLFL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/EijckSS11,
author = {Jan van Eijck and
Floor Sietsma and
Sunil Simon},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Reflections on Vote Manipulation},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {386--387},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_30},
doi = {10.1007/978-3-642-24130-7\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/EijckSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GhoshSV11,
author = {Sujata Ghosh and
Sumit Sourabh and
Rineke Verbrugge},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Playing Extensive Form Negotiation Games: {A} Tool-Based Analysis
(Abstract)},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {388--389},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_31},
doi = {10.1007/978-3-642-24130-7\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GhoshSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Grossi11,
author = {Davide Grossi},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {An Application of Model Checking Games to Abstract Argumentation},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {74--86},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_5},
doi = {10.1007/978-3-642-24130-7\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Grossi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HoekIW11,
author = {Wiebe van der Hoek and
Petar Iliev and
Michael J. Wooldridge},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Knowledge and Action in Semi-public Environments},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {97--110},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_7},
doi = {10.1007/978-3-642-24130-7\_7},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/HoekIW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HollidayHI11,
author = {Wesley H. Holliday and
Tomohiro Hoshi and
Thomas F. Icard III},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Schematic Validity in Dynamic Epistemic Logic: Decidability},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {87--96},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_6},
doi = {10.1007/978-3-642-24130-7\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/HollidayHI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/IsaacH11,
author = {Alistair Isaac and
Tomohiro Hoshi},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Taking Mistakes Seriously: Equivalence Notions for Game Scenarios
with off Equilibrium Play},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {111--124},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_8},
doi = {10.1007/978-3-642-24130-7\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/IsaacH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/JuL11,
author = {Fengkui Ju and
Fenrong Liu},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Update Semantics for Imperatives with Priorities},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {125--138},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_9},
doi = {10.1007/978-3-642-24130-7\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/JuL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/KanekoS11,
author = {Mamoru Kaneko and
Nobu{-}Yuki Suzuki},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {A Measure of Logical Inference and Its Game Theoretical Applications},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {139--150},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_10},
doi = {10.1007/978-3-642-24130-7\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/KanekoS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiangS11,
author = {Liang Zhen and
Jeremy Seligman},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {The Dynamics of Peer Pressure},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {390--391},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_32},
doi = {10.1007/978-3-642-24130-7\_32},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LiangS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiaoH11,
author = {Beishui Liao and
Huaxin Huang},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Partial Semantics of Argumentation},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {151--164},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_11},
doi = {10.1007/978-3-642-24130-7\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LiaoH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Lorini11,
author = {Emiliano Lorini},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and
Its Application to Emotion Modelling},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {165--178},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_12},
doi = {10.1007/978-3-642-24130-7\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Lorini11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LowePW11,
author = {Benedikt L{\"{o}}we and
Eric Pacuit and
Andreas Witzel},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {{DEL} Planning and Some Tractable Cases},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {179--192},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_13},
doi = {10.1007/978-3-642-24130-7\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LowePW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Ma11,
author = {Minghui Ma},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Mathematics of Public Announcements},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {193--205},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_14},
doi = {10.1007/978-3-642-24130-7\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Ma11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/MaG11,
author = {Minghui Ma and
Meiyun Guo},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Logics of Belief over Weighted Structures},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {206--219},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_15},
doi = {10.1007/978-3-642-24130-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/MaG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/NaumovN11,
author = {Pavel Naumov and
Brittany Nicholls},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Game Semantics for the Geiger-Paz-Pearl Axioms of Independence},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {220--232},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_16},
doi = {10.1007/978-3-642-24130-7\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/NaumovN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/PacuitR11,
author = {Eric Pacuit and
Olivier Roy},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {A Dynamic Analysis of Interactive Rationality},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {244--257},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_18},
doi = {10.1007/978-3-642-24130-7\_18},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/PacuitR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Pan11,
author = {Tian{-}Qun Pan},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {On Logic of Belief-Disagreement among Agents},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {392--393},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_33},
doi = {10.1007/978-3-642-24130-7\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Pan11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/PaulR11,
author = {Soumya Paul and
Ramaswamy Ramanujam},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Dynamic Restriction of Choices: Synthesis of Societal Rules},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {28--50},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_2},
doi = {10.1007/978-3-642-24130-7\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/PaulR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Roelofsen11,
author = {Floris Roelofsen},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Algebraic Foundations for Inquisitive Semantics},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {233--243},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_17},
doi = {10.1007/978-3-642-24130-7\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Roelofsen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/SadrzadehPM11,
author = {Mehrnoosh Sadrzadeh and
Alessandra Palmigiano and
Minghui Ma},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Algebraic Semantics and Model Completeness for Intuitionistic Public
Announcement Logic},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {394--395},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_34},
doi = {10.1007/978-3-642-24130-7\_34},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/SadrzadehPM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Schwarzentruber11,
author = {Fran{\c{c}}ois Schwarzentruber},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Seeing, Knowledge and Common Knowledge},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {258--271},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_19},
doi = {10.1007/978-3-642-24130-7\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/Schwarzentruber11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Sun11,
author = {Xin Sun},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Conditional Ought, a Game Theoretical Perspective},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {356--369},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_26},
doi = {10.1007/978-3-642-24130-7\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Sun11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Suzuki11,
author = {Satoru Suzuki},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Measurement-Theoretic Foundations of Probabilistic Model of JND-Based
Vague Predicate Logic},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {272--285},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_20},
doi = {10.1007/978-3-642-24130-7\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Suzuki11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/UridiaW11,
author = {Levan Uridia and
Dirk Walther},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {An Epistemic Logic with Hypotheses},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {286--299},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_21},
doi = {10.1007/978-3-642-24130-7\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/UridiaW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Vuyst11,
author = {Jonas De Vuyst},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Minimal Revision and Classical Kripke Models - First Results},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {300--313},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_22},
doi = {10.1007/978-3-642-24130-7\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Vuyst11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang11,
author = {Yanjing Wang},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {On Axiomatizations of {PAL}},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {314--327},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_23},
doi = {10.1007/978-3-642-24130-7\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Wang11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WangA11,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Public Announcement Logic with Distributed Knowledge},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {328--341},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_24},
doi = {10.1007/978-3-642-24130-7\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/WangA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WenLH11,
author = {Xuefeng Wen and
Hu Liu and
Fan Huang},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {An Alternative Logic for Knowability},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {342--355},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_25},
doi = {10.1007/978-3-642-24130-7\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/WenLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/XiongS11,
author = {Zuojun Xiong and
Jeremy Seligman},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {A Logic of Questions for Rational Choice},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {398--399},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_36},
doi = {10.1007/978-3-642-24130-7\_36},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/XiongS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Xu11,
author = {Zhaoqing Xu},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Capturing Lewis's "Elusive Knowledge"},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {400--401},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_37},
doi = {10.1007/978-3-642-24130-7\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Xu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/YangT11,
author = {Renjie Yang and
Min Tang},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Bayesianism, Elimination Induction and Logical Reliability},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {396--397},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_35},
doi = {10.1007/978-3-642-24130-7\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/YangT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/ZouLZ11,
author = {Chongli Zou and
Kesheng Li and
Lu Zhang},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {The Categorial Logic of Vacuous Components in Natural Language},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {370--381},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_27},
doi = {10.1007/978-3-642-24130-7\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/ZouLZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lori/2011,
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7},
doi = {10.1007/978-3-642-24130-7},
isbn = {978-3-642-24129-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/AlechinaLNR09,
author = {Natasha Alechina and
Brian Logan and
Nguyen Hoang Nga and
Abdur Rakib},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Expressing Properties of Coalitional Ability under Resource Bounds},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {1--14},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_1},
doi = {10.1007/978-3-642-04893-7\_1},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/AlechinaLNR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/AucherGHL09,
author = {Guillaume Aucher and
Davide Grossi and
Andreas Herzig and
Emiliano Lorini},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Dynamic Context Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {15--26},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_2},
doi = {10.1007/978-3-642-04893-7\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/AucherGHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BenthemM09,
author = {Johan van Benthem and
Stefan Minica},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Toward a Dynamic Logic of Questions},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {27--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_3},
doi = {10.1007/978-3-642-04893-7\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/BenthemM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/BoothMS09,
author = {Richard Booth and
Thomas Andreas Meyer and
Chattrakul Sombattheera},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {A General Family of Preferential Belief Removal Operators},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {42--54},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_4},
doi = {10.1007/978-3-642-04893-7\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/BoothMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/CiardelliCGR09,
author = {Ivano Ciardelli and
Irma Cornelisse and
Jeroen Groenendijk and
Floris Roelofsen},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Computing Compliance},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {55--65},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_5},
doi = {10.1007/978-3-642-04893-7\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/CiardelliCGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/CiuniM09,
author = {Roberto Ciuni and
Rosja Mastop},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Attributing Distributed Responsibility in Stit Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {66--75},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_6},
doi = {10.1007/978-3-642-04893-7\_6},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/CiuniM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Cui09,
author = {Xiaohong Cui},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {The Logic of Knowledge-Based Cooperation in the Social Dilemma},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {316},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_25},
doi = {10.1007/978-3-642-04893-7\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Cui09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/CuiGT09,
author = {Jianying Cui and
Meiyun Guo and
Xiaojia Tang},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Characterizations of Iterated Admissibility Based on {PEGL}},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {76--89},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_7},
doi = {10.1007/978-3-642-04893-7\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/CuiGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DegremontG09,
author = {C{\'{e}}dric D{\'{e}}gremont and
Nina Gierasimczuk},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Can Doxastic Agents Learn? On the Temporal Structure of Learning},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_8},
doi = {10.1007/978-3-642-04893-7\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/DegremontG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DegremontK09,
author = {C{\'{e}}dric D{\'{e}}gremont and
Lena Kurzen},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Getting Together: {A} Unified Perspective on Modal Logics for Coalitional
Interaction},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {317--318},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_26},
doi = {10.1007/978-3-642-04893-7\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DegremontK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DegremontR09,
author = {C{\'{e}}dric D{\'{e}}gremont and
Olivier Roy},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Agreement Theorems in Dynamic-Epistemic Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {105--118},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_9},
doi = {10.1007/978-3-642-04893-7\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DegremontR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DuWS09,
author = {Guoping Du and
Hongguang Wang and
Jie Shen},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Oppositional Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {319},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_27},
doi = {10.1007/978-3-642-04893-7\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DuWS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GierasimczukKV09,
author = {Nina Gierasimczuk and
Lena Kurzen and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Learning and Teaching as a Game: {A} Sabotage Approach},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {119--132},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_10},
doi = {10.1007/978-3-642-04893-7\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/GierasimczukKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GrandiE09,
author = {Umberto Grandi and
Ulle Endriss},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {First-Order Logic Formalisation of Arrow's Theorem},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {133--146},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_11},
doi = {10.1007/978-3-642-04893-7\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GrandiE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GrossiV09,
author = {Davide Grossi and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {\emph{Twelve Angry Men}: {A} Study on the Fine-Grain of Announcements},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {147--160},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_12},
doi = {10.1007/978-3-642-04893-7\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/GrossiV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Holliday09,
author = {Wesley H. Holliday},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Dynamic Testimonial Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {161--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_13},
doi = {10.1007/978-3-642-04893-7\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Holliday09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Jia09,
author = {Qing Jia},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Deliberate Contrary-to-Law Action},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {320},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_28},
doi = {10.1007/978-3-642-04893-7\_28},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Jia09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiKZ09,
author = {Li Li and
Robert C. Koons and
Jianjun Zhang},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {From the Logical Point of View: The Chain Store Paradox Revisited},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {180--188},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_14},
doi = {10.1007/978-3-642-04893-7\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LiKZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Liu09,
author = {Hu Liu},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {A Cooperation Logic for Declaration Structures},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {189--197},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_15},
doi = {10.1007/978-3-642-04893-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Liu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Loohuis09,
author = {Loes Olde Loohuis},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Obligations in a Responsible World},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {251--262},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_20},
doi = {10.1007/978-3-642-04893-7\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Loohuis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LoriniDDHM09,
author = {Emiliano Lorini and
Mehdi Dastani and
Hans van Ditmarsch and
Andreas Herzig and
John{-}Jules Ch. Meyer},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Intentions and Assignments},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {198--211},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_16},
doi = {10.1007/978-3-642-04893-7\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LoriniDDHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LoriniSH09,
author = {Emiliano Lorini and
Fran{\c{c}}ois Schwarzentruber and
Andreas Herzig},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences
All Together},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {212--226},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_17},
doi = {10.1007/978-3-642-04893-7\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/LoriniSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Ma09,
author = {Minghui Ma},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Dynamic Epistemic Logic of Finite Identification},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {227--237},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_18},
doi = {10.1007/978-3-642-04893-7\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Ma09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/NiyogiR09,
author = {Rajdeep Niyogi and
Ramaswamy Ramanujam},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {An Epistemic Logic for Planning with Trials},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {238--250},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_19},
doi = {10.1007/978-3-642-04893-7\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/NiyogiR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/RenneSY09,
author = {Bryan Renne and
Joshua Sack and
Audrey Yap},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Dynamic Epistemic Temporal Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {263--277},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_21},
doi = {10.1007/978-3-642-04893-7\_21},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/RenneSY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Sequoiah-Grayson09,
author = {Sebastian Sequoiah{-}Grayson},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Mono-Agent Dynamics},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {321--322},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_29},
doi = {10.1007/978-3-642-04893-7\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Sequoiah-Grayson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Shi09,
author = {Jing Shi},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Modal Expressivity and Definability over Sets},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {323--324},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_30},
doi = {10.1007/978-3-642-04893-7\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Shi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Suzuki09,
author = {Satoru Suzuki},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic
Logic},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {278--291},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_22},
doi = {10.1007/978-3-642-04893-7\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Suzuki09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/TurriniBMM09,
author = {Paolo Turrini and
Jan M. Broersen and
Rosja Mastop and
John{-}Jules Ch. Meyer},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {An Update Operator for Strategic Ability},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {292--301},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_23},
doi = {10.1007/978-3-642-04893-7\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/TurriniBMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Velazquez-Quesada09,
author = {Fernando R. Vel{\'{a}}zquez{-}Quesada},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Dynamic Logics for Explicit and Implicit Information},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {325--326},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_31},
doi = {10.1007/978-3-642-04893-7\_31},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Velazquez-Quesada09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang09,
author = {Zhiyuan Wang},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Existence of Satisfied Alternative and the Occurring of Morph-Dictator},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {327--328},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_32},
doi = {10.1007/978-3-642-04893-7\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Wang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WitzelAZ09,
author = {Andreas Witzel and
Krzysztof R. Apt and
Jonathan A. Zvesper},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Strategy Elimination in Games with Interaction Structures},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {302--315},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_24},
doi = {10.1007/978-3-642-04893-7\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/WitzelAZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lori/2009,
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7},
doi = {10.1007/978-3-642-04893-7},
isbn = {978-3-642-04892-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-26 18:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
