• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

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