Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs379.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2210-15181,
  author       = {Yotam Gafni and
                  Moshe Tennenholtz},
  editor       = {Rineke Verbrugge},
  title        = {Optimal Mechanism Design for Agents with {DSL} Strategies: The Case
                  of Sybil Attacks in Combinatorial Auctions},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {245--259},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.20},
  doi          = {10.4204/EPTCS.379.20},
  timestamp    = {Fri, 11 Aug 2023 14:29:27 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-15181.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-07185,
  author       = {Meir Friedenberg and
                  Joseph Y. Halpern},
  editor       = {Rineke Verbrugge},
  title        = {Joint Behavior and Common Belief},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {221--232},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.18},
  doi          = {10.4204/EPTCS.379.18},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-07185.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-15276,
  author       = {Sabine Frittella and
                  Daniil Kozhemiachenko and
                  Bart Verheij},
  editor       = {Rineke Verbrugge},
  title        = {Presumptive Reasoning in a Paraconsistent Setting},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {233--244},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.19},
  doi          = {10.4204/EPTCS.379.19},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-15276.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2304-00389,
  author       = {Thomas Schl{\"{o}}gl and
                  Ulrich Schmid},
  editor       = {Rineke Verbrugge},
  title        = {A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant
                  Distributed Systems},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {487--506},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.37},
  doi          = {10.4204/EPTCS.379.37},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-00389.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05040,
  author       = {Philippe Balbiani and
                  Wiebe van der Hoek and
                  Louwe B. Kuijer},
  editor       = {Rineke Verbrugge},
  title        = {Simple Axioms for Local Properties},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {82--92},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.9},
  doi          = {10.4204/EPTCS.379.9},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05041,
  author       = {Gaia Belardinelli and
                  Burkhard C. Schipper},
  editor       = {Rineke Verbrugge},
  title        = {Implicit Knowledge in Unawareness Structures - Extended Abstract},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {93--112},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.10},
  doi          = {10.4204/EPTCS.379.10},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05043,
  author       = {Yipu Li and
                  Yanjing Wang},
  editor       = {Rineke Verbrugge},
  title        = {Epistemic Syllogistic: First Steps},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {392--406},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.31},
  doi          = {10.4204/EPTCS.379.31},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05049,
  author       = {Carlo Proietti and
                  Fernando R. Vel{\'{a}}zquez{-}Quesada and
                  Antonio Yuste{-}Ginel},
  editor       = {Rineke Verbrugge},
  title        = {An Abstract Look at Awareness Models and Their Dynamics},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {455--469},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.35},
  doi          = {10.4204/EPTCS.379.35},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05049.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05053,
  author       = {Samuel Allen Alexander and
                  Arthur Paul Pedersen},
  editor       = {Rineke Verbrugge},
  title        = {Strengthening Consistency Results in Modal Logic},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {4--15},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.4},
  doi          = {10.4204/EPTCS.379.4},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05054,
  author       = {Itai Arieli and
                  Ivan Geffner and
                  Moshe Tennenholtz},
  editor       = {Rineke Verbrugge},
  title        = {Resilient Information Aggregation},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {31--45},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.6},
  doi          = {10.4204/EPTCS.379.6},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05055,
  author       = {Edoardo Baccini and
                  Zo{\'{e}} Christoff},
  editor       = {Rineke Verbrugge},
  title        = {Comparing Social Network Dynamic Operators},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {66--81},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.8},
  doi          = {10.4204/EPTCS.379.8},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05056,
  author       = {Marta B{\'{\i}}lkov{\'{a}} and
                  Igor Sedl{\'{a}}r},
  editor       = {Rineke Verbrugge},
  title        = {Epistemic Logics of Structured Intensional Groups},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {113--130},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.11},
  doi          = {10.4204/EPTCS.379.11},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05057,
  author       = {Armando Casta{\~{n}}eda and
                  Hans van Ditmarsch and
                  David A. Rosenblueth and
                  Diego A. Vel{\'{a}}zquez},
  editor       = {Rineke Verbrugge},
  title        = {Comparing the Update Expressivity of Communication Patterns and Action
                  Models},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {157--172},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.14},
  doi          = {10.4204/EPTCS.379.14},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05059,
  author       = {James Fox and
                  Matt MacDermott and
                  Lewis Hammond and
                  Paul Harrenstein and
                  Alessandro Abate and
                  Michael J. Wooldridge},
  editor       = {Rineke Verbrugge},
  title        = {On Imperfect Recall in Multi-Agent Influence Diagrams},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {201--220},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.17},
  doi          = {10.4204/EPTCS.379.17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05060,
  author       = {Rustam Galimullin and
                  Louwe B. Kuijer},
  editor       = {Rineke Verbrugge},
  title        = {Satisfiability of Arbitrary Public Announcement Logic with Common
                  Knowledge is {\(\Sigma\)}\({}^{\mbox{1}}\)\({}_{\mbox{1}}\)-hard},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {260--271},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.21},
  doi          = {10.4204/EPTCS.379.21},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05060.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05061,
  author       = {Robert Ganian and
                  Thekla Hamm and
                  Dusan Knop and
                  Sanjukta Roy and
                  Simon Schierreich and
                  Ondrej Such{\'{y}}},
  editor       = {Rineke Verbrugge},
  title        = {Maximizing Social Welfare in Score-Based Social Distance Games},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {272--286},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.22},
  doi          = {10.4204/EPTCS.379.22},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05062,
  author       = {Marco Garapa and
                  Eduardo Ferm{\'{e}} and
                  Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis},
  editor       = {Rineke Verbrugge},
  title        = {System of Spheres-based Two Level Credibility-limited Revisions},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {287--298},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.23},
  doi          = {10.4204/EPTCS.379.23},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05062.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05063,
  author       = {Emmanuel J. Genot},
  editor       = {Rineke Verbrugge},
  title        = {A "Game of Like" : Online Social Network Sharing As Strategic Interaction},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {299--307},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.24},
  doi          = {10.4204/EPTCS.379.24},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05064,
  author       = {Peter Hawke},
  editor       = {Rineke Verbrugge},
  title        = {An Acceptance Semantics for Stable Modal Knowledge},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {331--343},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.27},
  doi          = {10.4204/EPTCS.379.27},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05065,
  author       = {Saira Khan},
  editor       = {Rineke Verbrugge},
  title        = {Metatickles and Death in Damascus},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {359--378},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.29},
  doi          = {10.4204/EPTCS.379.29},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05066,
  author       = {Yanjun Li},
  editor       = {Rineke Verbrugge},
  title        = {Tableaux for the Logic of Strategically Knowing How},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {379--391},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.30},
  doi          = {10.4204/EPTCS.379.30},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05066.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05067,
  author       = {Daniel Miedema and
                  Malvin Gattinger},
  editor       = {Rineke Verbrugge},
  title        = {Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model
                  Checking Dynamic Epistemic Logic},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {407--420},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.32},
  doi          = {10.4204/EPTCS.379.32},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05067.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05068,
  author       = {Caspar Oesterheld and
                  Abram Demski and
                  Vincent Conitzer},
  editor       = {Rineke Verbrugge},
  title        = {A Theory of Bounded Inductive Rationality},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {421--440},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.33},
  doi          = {10.4204/EPTCS.379.33},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05068.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05069,
  author       = {Panagiotis Papadamos and
                  Nina Gierasimczuk},
  editor       = {Rineke Verbrugge},
  title        = {Cognitive Bias and Belief Revision},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {441--454},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.34},
  doi          = {10.4204/EPTCS.379.34},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05069.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05070,
  author       = {Aldo Ivnn Ram{\'{\i}}rez Abarca},
  editor       = {Rineke Verbrugge},
  title        = {A Logic-Based Analysis of Responsibility},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {470--486},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.36},
  doi          = {10.4204/EPTCS.379.36},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05071,
  author       = {Bernard Sinclair{-}Desgagn{\'{e}}},
  editor       = {Rineke Verbrugge},
  title        = {Mining for Unknown Unknowns},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {507--517},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.38},
  doi          = {10.4204/EPTCS.379.38},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05071.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05072,
  author       = {Minkyung Wang and
                  Chisu Kim},
  editor       = {Rineke Verbrugge},
  title        = {Aggregating Credences into Beliefs: Agenda Conditions for Impossibility
                  Results},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {518--526},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.39},
  doi          = {10.4204/EPTCS.379.39},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05072.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05073,
  author       = {Yuanzhe Yang},
  editor       = {Rineke Verbrugge},
  title        = {Knowledge-wh and False Belief Sensitivity: {A} Logical Study (An Extended
                  Abstract)},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {527--544},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.40},
  doi          = {10.4204/EPTCS.379.40},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05073.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05076,
  author       = {David Hyland and
                  Julian Gutierrez and
                  Michael J. Wooldridge},
  editor       = {Rineke Verbrugge},
  title        = {Incentive Engineering for Concurrent Games},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {344--358},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.28},
  doi          = {10.4204/EPTCS.379.28},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05076.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05078,
  author       = {Ronen Gradwohl and
                  Moshe Tennenholtz},
  editor       = {Rineke Verbrugge},
  title        = {Selling Data to a Competitor (Extended Abstract)},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {318--330},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.26},
  doi          = {10.4204/EPTCS.379.26},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05078.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05629,
  author       = {Giacomo Bonanno},
  editor       = {Rineke Verbrugge},
  title        = {Characterization of {AGM} Belief Contraction in Terms of Conditionals},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {142--156},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.13},
  doi          = {10.4204/EPTCS.379.13},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05630,
  author       = {Nicodemo De Vito},
  editor       = {Rineke Verbrugge},
  title        = {Complete Conditional Type Structures (Extended Abstract)},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {173--184},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.15},
  doi          = {10.4204/EPTCS.379.15},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05631,
  author       = {Yiwen Ding and
                  Krishna Manoorkar and
                  Apostolos Tzimoulis and
                  Ruoding Wang and
                  Xiaolong Wang},
  editor       = {Rineke Verbrugge},
  title        = {Causal Kripke Models},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {185--200},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.16},
  doi          = {10.4204/EPTCS.379.16},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05631.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-05632,
  author       = {Jeremy Goodman and
                  Bernhard Salow},
  editor       = {Rineke Verbrugge},
  title        = {Belief Revision from Probability},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {308--317},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.25},
  doi          = {10.4204/EPTCS.379.25},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05632.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-07448,
  author       = {Farid Arthaud and
                  Martin C. Rinard},
  editor       = {Rineke Verbrugge},
  title        = {Depth-bounded Epistemic Logic},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {46--65},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.7},
  doi          = {10.4204/EPTCS.379.7},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-07448.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-07562,
  author       = {Krzysztof R. Apt and
                  Sunil Simon},
  editor       = {Rineke Verbrugge},
  title        = {Iterated Elimination of Weakly Dominated Strategies in Well-Founded
                  Games},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {16--30},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.5},
  doi          = {10.4204/EPTCS.379.5},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-07562.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2307-07563,
  author       = {Adam Bjorndahl and
                  Joseph Y. Halpern},
  editor       = {Rineke Verbrugge},
  title        = {Sequential Language-based Decisions},
  booktitle    = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  pages        = {131--141},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379.12},
  doi          = {10.4204/EPTCS.379.12},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-07563.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2307-04005,
  editor       = {Rineke Verbrugge},
  title        = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
                  and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
  series       = {{EPTCS}},
  volume       = {379},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.379},
  doi          = {10.4204/EPTCS.379},
  timestamp    = {Fri, 11 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-04005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

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