Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th LORI 2021: Xi'ian, China
- Sujata Ghosh, Thomas Icard:
Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. Lecture Notes in Computer Science 13039, Springer 2021, ISBN 978-3-030-88707-0 - Nikolay Bazhenov
, Manat Mustafa, Sergei Ospichev, Luca San Mauro:
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy. 1-13 - Gaia Belardinelli, Rasmus K. Rendsvig:
Epistemic Planning with Attention as a Bounded Resource. 14-30 - Riccardo Bruni, Lorenzo Rossi:
A Unified Approach to Semantic and Soritical Paradoxes. 31-40 - Ramit Das, Anantha Padmanabha, R. Ramanujam:
Reasoning in Large Games with Unboundedly Many Players. 41-57 - Yifeng Ding, Jixin Liu, Yanjing Wang:
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. 58-72 - Huimin Dong, Xu Li, Yì N. Wáng:
Weighted Modal Logic in Epistemic and Deontic Contexts. 73-87 - Rustam Galimullin, Thomas Ågotnes:
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. 88-101 - Tor Hagland, Thomas Ågotnes:
Crossing Hands in the Russian Cards Problem. 102-110 - Wesley H. Holliday, Chase Norman, Eric Pacuit:
Voting Theory in the Lean Theorem Prover. 111-127 - Yanjun Li:
Multi-agent Conformant Planning with Distributed Knowledge. 128-140 - Kaiyang Lin:
Discrete Linear Temporal Logic with Knowing-Value Operator. 141-148 - Hitoshi Omori, Jonas R. Becker Arenhart:
A Generalization of Ordered-Pair Semantics. 149-157 - Mina Young Pedersen, Marija Slavkovik, Sonja Smets:
Social Bot Detection as a Temporal Logic Model Checking Problem. 158-173 - Yu Peng, Zhe Lin, Fei Liang:
On the Finite Model Property of Weak Intuitionistic Tense Logic. 174-182 - Giorgio Sbardolini:
Assertion, Rejection, and Semantic Universals. 183-191 - Igor Sedlár, Andrew Tedder:
Situated Epistemic Updates. 192-200 - Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge:
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. 201-215 - Youan Su, Ryo Murai, Katsuhiko Sano:
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. 216-231 - Alberto Termine, Giuseppe Primiero, Fabio Aurelio D'Asaro:
Modelling Accuracy and Trustworthiness of Explaining Agents. 232-245 - Xun Wang:
Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic. 246-258 - Xuefeng Wen, Xincheng Luo:
Representation Results for Non-cumulative Logics. 259-272 - Kaibo Xie, Jialiang Yan:
A Logic for Desire Based on Causal Inference. 273-287
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.
last updated on 2024-04-19 20:21 CEST 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:
