Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Giacomo Bonanno |
Characterization of AGM Belief Contraction in Terms of Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 142-156, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Hyland, Julian Gutierrez 0001, Michael J. Wooldridge |
Incentive Engineering for Concurrent Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 344-358, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ronen Gradwohl, Moshe Tennenholtz |
Selling Data to a Competitor (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 318-330, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij |
Presumptive Reasoning in a Paraconsistent Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 233-244, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Proietti, Fernando R. Velázquez-Quesada, Antonio Yuste-Ginel |
An Abstract Look at Awareness Models and Their Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 455-469, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis |
System of Spheres-based Two Level Credibility-limited Revisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 287-298, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yuanzhe Yang |
Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 527-544, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Itai Arieli, Ivan Geffner, Moshe Tennenholtz |
Resilient Information Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 31-45, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge |
On Imperfect Recall in Multi-Agent Influence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 201-220, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Miedema, Malvin Gattinger |
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 407-420, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel J. Genot |
A "Game of Like" : Online Social Network Sharing As Strategic Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 299-307, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Sunil Simon |
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 16-30, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Baccini, Zoé Christoff |
Comparing Social Network Dynamic Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 66-81, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Sinclair-Desgagné |
Mining for Unknown Unknowns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 507-517, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Goodman, Bernhard Salow |
Belief Revision from Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 308-317, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Papadamos, Nina Gierasimczuk |
Cognitive Bias and Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 441-454, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang |
Causal Kripke Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 185-200, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, Thekla Hamm, Dusan Knop, Sanjukta Roy, Simon Schierreich, Ondrej Suchý |
Maximizing Social Welfare in Score-Based Social Distance Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 272-286, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Caspar Oesterheld, Abram Demski, Vincent Conitzer |
A Theory of Bounded Inductive Rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 421-440, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl, Joseph Y. Halpern |
Sequential Language-based Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 131-141, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Hawke |
An Acceptance Semantics for Stable Modal Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 331-343, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Schlögl, Ulrich Schmid 0001 |
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 487-506, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Allen Alexander, Arthur Paul Pedersen |
Strengthening Consistency Results in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 4-15, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Farid Arthaud, Martin C. Rinard |
Depth-bounded Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 46-65, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yanjun Li |
Tableaux for the Logic of Strategically Knowing How. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 379-391, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Igor Sedlár |
Epistemic Logics of Structured Intensional Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 113-130, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yotam Gafni, Moshe Tennenholtz |
Optimal Mechanism Design for Agents with DSL Strategies: The Case of Sybil Attacks in Combinatorial Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 245-259, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rustam Galimullin, Louwe B. Kuijer |
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ11-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 260-271, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yipu Li, Yanjing Wang 0001 |
Epistemic Syllogistic: First Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 392-406, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aldo Ivnn Ramírez Abarca |
A Logic-Based Analysis of Responsibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 470-486, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rineke Verbrugge (eds.) |
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Saira Khan |
Metatickles and Death in Damascus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 359-378, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez |
Comparing the Update Expressivity of Communication Patterns and Action Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 157-172, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Meir Friedenberg, Joseph Y. Halpern |
Joint Behavior and Common Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 221-232, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer |
Simple Axioms for Local Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 82-92, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicodemo De Vito |
Complete Conditional Type Structures (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 173-184, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Minkyung Wang, Chisu Kim |
Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 518-526, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gaia Belardinelli, Burkhard C. Schipper |
Implicit Knowledge in Unawareness Structures - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023., pp. 93-112, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid 0001 |
Fire! ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 139-153, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Cohen, Wen Tang, Yanjing Wang 0001 |
De Re Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 103-117, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Burrieza, Antonio Yuste-Ginel |
An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 69-83, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aldo Iván Ramírez Abarca, Jan M. Broersen |
A Deontic Stit Logic Based on Beliefs and Expected Utility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 281-294, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Goodman, Bernhard Salow |
Knowledge from Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 171-186, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wesley H. Holliday, Eric Pacuit |
Measuring Violations of Positive Involvement in Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 189-209, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yanjun Li, Yanjing Wang 0001 |
Knowing How to Plan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 233-247, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Andrés Perea (eds.) |
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diego A. Velázquez, Armando Castañeda, David A. Rosenblueth |
Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 307-321, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Naumov, Jia Tao 0001 |
Attainable Knowledge and Omniscience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 251-265, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Sunil Simon |
Well-Founded Extensive Games with Perfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 7-21, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Sbardolini |
Epistemic Modality and Coordination under Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 295-306, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Zoé Christoff, Olivier Roy |
Revisiting Epistemic Logic with Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 39-54, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Fukuda |
Are the Players in an Interactive Belief Model Meta-certain of the Model Itself? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 155-170, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | R. Ramanujam 0001 |
Reasoning about Emergence of Collective Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 269-280, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl, Joseph Y. Halpern |
Language-based Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 55-67, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Istrate |
Game-Theoretic Models of Moral and Other-Regarding Agents (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 213-227, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hans van Ditmarsch, Tim French 0002, Rustam Galimullin |
No Finite Model Property for Logics of Quantified Announcements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 129-138, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Chen |
Collective Argumentation: The Case of Aggregating Support-Relations of Bipolar Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 87-102, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada |
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021., pp. 23-37, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Fukuda |
On the Consistency among Prior, Posteriors, and Information Sets (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 189-205, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wesley H. Holliday, Eric Pacuit |
Strategic Voting Under Uncertainty About the Voting Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 252-272, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roman Kuznets, Laurent Prosperi, Ulrich Schmid 0001, Krisztina Fruzsa |
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 293-312, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Bonanno |
Credible Information, Allowable Information and Belief Revision - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 82-90, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nourhan Ehab, Haythem O. Ismail |
A Unified Algebraic Framework for Non-Monotonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 155-174, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Umberto Grandi |
Social Choice Methods for Database Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 50-67, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi |
Aggregation in Value-Based Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 313-331, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adam Dominiak, Burkhard C. Schipper |
Common Belief in Choquet Rationality and Ambiguity Attitudes - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 140-154, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Malvin Gattinger, Yanjing Wang 0001 |
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 206-220, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces |
An Algebraic Approach for Action Based Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 91-105, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence S. Moss (eds.) |
Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Dominik Wojtczak |
Open Problems in a Logic of Gossips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 1-18, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sven Neth |
Measuring Belief and Risk Attitude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 354-364, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Rafael Pass |
A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 221-232, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets |
Learning Probabilities: Towards a Logic of Statistical Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 35-49, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yifeng Ding, Wesley H. Holliday, Cedegao Zhang |
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 121-139, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yakov Babichenko, Oren Dean, Moshe Tennenholtz |
Sequential Voting with Confirmation Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 19-34, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
The Complexity of Online Bribery in Sequential Elections (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 233-251, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank M. V. Feys, Helle Hvid Hansen |
Arrow's Theorem Through a Fixpoint Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 175-188, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Ivanovska, Marija Slavkovik 0001 |
Aggregating Probabilistic Judgments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 273-292, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emiliano Lorini |
Exploiting Belief Bases for Building Rich Epistemic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 332-353, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ramit Das, R. Ramanujam 0001, Sunil Simon |
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 106-120, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl, Aybüke Özgün |
Uncertainty About Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019., pp. 68-81, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yanjing Wang 0001 |
A New Modal Framework for Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 515-534, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel |
Relaxing Exclusive Control in Boolean Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 43-56, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl, Joseph Y. Halpern |
From Type Spaces to Probability Frames and Back, via Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 75-87, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Will Nalls, Adam Bjorndahl |
Endogenizing Epistemic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 426-440, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Rafael Pass |
A Knowledge-Based Analysis of the Blockchain Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 324-335, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Kishida |
Categories for Dynamic Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 353-372, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor |
A Formal Approach to the Problem of Logical Non-Omniscience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 221-235, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Burkhard C. Schipper |
Self-confirming Games: Unawareness, Discovery, and Equilibrium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 470-488, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Mongin |
Bayesian Decision Theory and Stochastic Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 415-425, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada |
Argument-based Belief in Topological Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 489-503, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Dominik Wojtczak |
Common Knowledge in a Logic of Gossips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 10-27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella |
An Epistemic Foundation for Authentication Logics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 306-323, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rustam Galimullin, Natasha Alechina |
Coalition and Group Announcement Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 207-220, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan van Eijck, Kai Li |
Conditional Belief, Knowledge and Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 188-206, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Omer Lev, Moshe Tennenholtz |
Group Recommendations: Axioms, Impossibilities, and Random Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 382-397, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist |
A New Game Equivalence and its Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 57-74, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wesley H. Holliday, Thomas F. Icard III |
Indicative Conditionals and Dynamic Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 337-351, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
Toward an Epistemic-Logical Theory of Categorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 167-186, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sujata Ghosh, Aviad Heifetz, Rineke Verbrugge, Harmen de Weerd |
What Drives People's Choices in Turn-Taking Games, if not Game-Theoretic Rationality? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 265-284, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|