Login / Signup
TARK
1986
1996
2011
2023
1986
2023
Keyphrases
Publications
2023
Rustam Galimullin
,
Louwe B. Kuijer
-hard.
TARK
(2023)
Ronen Gradwohl
,
Moshe Tennenholtz
Selling Data to a Competitor (Extended Abstract).
TARK
(2023)
Yiwen Ding
,
Krishna Manoorkar
,
Apostolos Tzimoulis
,
Ruoding Wang
,
Xiaolong Wang
Causal Kripke Models.
TARK
(2023)
David Hyland
,
Julian Gutierrez
,
Michael J. Wooldridge
Incentive Engineering for Concurrent Games.
TARK
(2023)
Yotam Gafni
,
Moshe Tennenholtz
Optimal Mechanism Design for Agents with DSL Strategies: The Case of Sybil Attacks in Combinatorial Auctions.
TARK
(2023)
Robert Ganian
,
Thekla Hamm
,
Dusan Knop
,
Sanjukta Roy
,
Simon Schierreich
,
Ondrej Suchý
Maximizing Social Welfare in Score-Based Social Distance Games.
TARK
(2023)
Philippe Balbiani
,
Wiebe van der Hoek
,
Louwe B. Kuijer
Simple Axioms for Local Properties.
TARK
(2023)
Panagiotis Papadamos
,
Nina Gierasimczuk
Cognitive Bias and Belief Revision.
TARK
(2023)
Jeremy Goodman
,
Bernhard Salow
Belief Revision from Probability.
TARK
(2023)
Krzysztof R. Apt
,
Sunil Simon
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games.
TARK
(2023)
Giacomo Bonanno
Characterization of AGM Belief Contraction in Terms of Conditionals.
TARK
(2023)
Minkyung Wang
,
Chisu Kim
Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results.
TARK
(2023)
Peter Hawke
An Acceptance Semantics for Stable Modal Knowledge.
TARK
(2023)
Caspar Oesterheld
,
Abram Demski
,
Vincent Conitzer
A Theory of Bounded Inductive Rationality.
TARK
(2023)
Aldo Ivnn Ramírez Abarca
A Logic-Based Analysis of Responsibility.
TARK
(2023)
Gaia Belardinelli
,
Burkhard C. Schipper
Implicit Knowledge in Unawareness Structures - Extended Abstract.
TARK
(2023)
Sabine Frittella
,
Daniil Kozhemiachenko
,
Bart Verheij
Presumptive Reasoning in a Paraconsistent Setting.
TARK
(2023)
Edoardo Baccini
,
Zoé Christoff
Comparing Social Network Dynamic Operators.
TARK
(2023)
Bernard Sinclair-Desgagné
Mining for Unknown Unknowns.
TARK
(2023)
Saira Khan
Metatickles and Death in Damascus.
TARK
(2023)
Emmanuel J. Genot
A "Game of Like" : Online Social Network Sharing As Strategic Interaction.
TARK
(2023)
Yuanzhe Yang
Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract).
TARK
(2023)
Itai Arieli
,
Ivan Geffner
,
Moshe Tennenholtz
Resilient Information Aggregation.
TARK
(2023)
James Fox
,
Matt MacDermott
,
Lewis Hammond
,
Paul Harrenstein
,
Alessandro Abate
,
Michael J. Wooldridge
On Imperfect Recall in Multi-Agent Influence Diagrams.
TARK
(2023)
Farid Arthaud
,
Martin C. Rinard
Depth-bounded Epistemic Logic.
TARK
(2023)
Carlo Proietti
,
Fernando R. Velázquez-Quesada
,
Antonio Yuste-Ginel
An Abstract Look at Awareness Models and Their Dynamics.
TARK
(2023)
Yanjun Li
Tableaux for the Logic of Strategically Knowing How.
TARK
(2023)
Marta Bílková
,
Igor Sedlár
Epistemic Logics of Structured Intensional Groups.
TARK
(2023)
Nicodemo De Vito
Complete Conditional Type Structures (Extended Abstract).
TARK
(2023)
Adam Bjorndahl
,
Joseph Y. Halpern
Sequential Language-based Decisions.
TARK
(2023)
Armando Castañeda
,
Hans van Ditmarsch
,
David A. Rosenblueth
,
Diego A. Velázquez
Comparing the Update Expressivity of Communication Patterns and Action Models.
TARK
(2023)
Samuel Allen Alexander
,
Arthur Paul Pedersen
Strengthening Consistency Results in Modal Logic.
TARK
(2023)
Yipu Li
,
Yanjing Wang
Epistemic Syllogistic: First Steps.
TARK
(2023)
Daniel Miedema
,
Malvin Gattinger
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.
TARK
(2023)
Marco Garapa
,
Eduardo Fermé
,
Maurício D. Luís Reis
System of Spheres-based Two Level Credibility-limited Revisions.
TARK
(2023)
volume 379, 2023
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023.
TARK
379 (2023)
2021
Weiwei Chen
Collective Argumentation: The Case of Aggregating Support-Relations of Bipolar Argumentation Frameworks.
TARK
(2021)
Carlos Areces
,
Raul Fervari
,
Andrés R. Saravia
,
Fernando R. Velázquez-Quesada
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics.
TARK
(2021)
Gabriel Istrate
Game-Theoretic Models of Moral and Other-Regarding Agents (extended abstract).
TARK
(2021)
Hans van Ditmarsch
,
Tim French
,
Rustam Galimullin
No Finite Model Property for Logics of Quantified Announcements.
TARK
(2021)
Adam Bjorndahl
,
Joseph Y. Halpern
Language-based Decisions.
TARK
(2021)
Marta Bílková
,
Zoé Christoff
,
Olivier Roy
Revisiting Epistemic Logic with Names.
TARK
(2021)
Satoshi Fukuda
Are the Players in an Interactive Belief Model Meta-certain of the Model Itself?
TARK
(2021)
Pavel Naumov
,
Jia Tao
Attainable Knowledge and Omniscience.
TARK
(2021)
Krzysztof R. Apt
,
Sunil Simon
Well-Founded Extensive Games with Perfect Information.
TARK
(2021)
Giorgio Sbardolini
Epistemic Modality and Coordination under Uncertainty.
TARK
(2021)
Diego A. Velázquez
,
Armando Castañeda
,
David A. Rosenblueth
Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems.
TARK
(2021)
R. Ramanujam
Reasoning about Emergence of Collective Memory.
TARK
(2021)
Wesley H. Holliday
,
Eric Pacuit
Measuring Violations of Positive Involvement in Voting.
TARK
(2021)
volume 335, 2021
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021.
TARK
335 (2021)