| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Giacomo Bonanno |
Characterization of AGM Belief Contraction in Terms of Conditionals.  |
TARK  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hyland, Julian Gutierrez 0001, Michael J. Wooldridge |
Incentive Engineering for Concurrent Games. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronen Gradwohl, Moshe Tennenholtz |
Selling Data to a Competitor (Extended Abstract). |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij |
Presumptive Reasoning in a Paraconsistent Setting. |
TARK |
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. |
TARK |
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. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanzhe Yang |
Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract). |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Itai Arieli, Ivan Geffner, Moshe Tennenholtz |
Resilient Information Aggregation. |
TARK |
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. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Miedema, Malvin Gattinger |
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel J. Genot |
A "Game of Like" : Online Social Network Sharing As Strategic Interaction. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Sunil Simon |
Iterated Elimination of Weakly Dominated Strategies in Well-Founded Games. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Baccini, Zoé Christoff |
Comparing Social Network Dynamic Operators. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Sinclair-Desgagné |
Mining for Unknown Unknowns. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Goodman, Bernhard Salow |
Belief Revision from Probability. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Panagiotis Papadamos, Nina Gierasimczuk |
Cognitive Bias and Belief Revision. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang |
Causal Kripke Models. |
TARK |
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. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Caspar Oesterheld, Abram Demski, Vincent Conitzer |
A Theory of Bounded Inductive Rationality. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bjorndahl, Joseph Y. Halpern |
Sequential Language-based Decisions. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawke |
An Acceptance Semantics for Stable Modal Knowledge. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schlögl, Ulrich Schmid 0001 |
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Allen Alexander, Arthur Paul Pedersen |
Strengthening Consistency Results in Modal Logic. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Farid Arthaud, Martin C. Rinard |
Depth-bounded Epistemic Logic. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li |
Tableaux for the Logic of Strategically Knowing How. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Bílková, Igor Sedlár |
Epistemic Logics of Structured Intensional Groups. |
TARK |
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. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustam Galimullin, Louwe B. Kuijer |
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ11-hard. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yipu Li, Yanjing Wang 0001 |
Epistemic Syllogistic: First Steps. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldo Ivnn Ramírez Abarca |
A Logic-Based Analysis of Responsibility. |
TARK |
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. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saira Khan |
Metatickles and Death in Damascus. |
TARK |
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. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Meir Friedenberg, Joseph Y. Halpern |
Joint Behavior and Common Belief. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer |
Simple Axioms for Local Properties. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicodemo De Vito |
Complete Conditional Type Structures (Extended Abstract). |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Minkyung Wang, Chisu Kim |
Aggregating Credences into Beliefs: Agenda Conditions for Impossibility Results. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaia Belardinelli, Burkhard C. Schipper |
Implicit Knowledge in Unawareness Structures - Extended Abstract. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid 0001 |
Fire! |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Cohen, Wen Tang, Yanjing Wang 0001 |
De Re Updates. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfredo Burrieza, Antonio Yuste-Ginel |
An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics. |
TARK |
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. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Goodman, Bernhard Salow |
Knowledge from Probability. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley H. Holliday, Eric Pacuit |
Measuring Violations of Positive Involvement in Voting. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li, Yanjing Wang 0001 |
Knowing How to Plan. |
TARK |
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. |
TARK |
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. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Naumov, Jia Tao 0001 |
Attainable Knowledge and Omniscience. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Sunil Simon |
Well-Founded Extensive Games with Perfect Information. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Sbardolini |
Epistemic Modality and Coordination under Uncertainty. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Bílková, Zoé Christoff, Olivier Roy |
Revisiting Epistemic Logic with Names. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Fukuda |
Are the Players in an Interactive Belief Model Meta-certain of the Model Itself? |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Ramanujam 0001 |
Reasoning about Emergence of Collective Memory. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bjorndahl, Joseph Y. Halpern |
Language-based Decisions. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Istrate |
Game-Theoretic Models of Moral and Other-Regarding Agents (extended abstract). |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Tim French 0002, Rustam Galimullin |
No Finite Model Property for Logics of Quantified Announcements. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiwei Chen |
Collective Argumentation: The Case of Aggregating Support-Relations of Bipolar Argumentation Frameworks. |
TARK |
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. |
TARK |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Fukuda |
On the Consistency among Prior, Posteriors, and Information Sets (Extended Abstract). |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley H. Holliday, Eric Pacuit |
Strategic Voting Under Uncertainty About the Voting Method. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kuznets, Laurent Prosperi, Ulrich Schmid 0001, Krisztina Fruzsa |
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Bonanno |
Credible Information, Allowable Information and Belief Revision - Extended Abstract. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nourhan Ehab, Haythem O. Ismail |
A Unified Algebraic Framework for Non-Monotonicity. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Umberto Grandi |
Social Choice Methods for Database Aggregation. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi |
Aggregation in Value-Based Argumentation Frameworks. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Dominiak, Burkhard C. Schipper |
Common Belief in Choquet Rationality and Ambiguity Attitudes - Extended Abstract. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Malvin Gattinger, Yanjing Wang 0001 |
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, Valentin Cassano, Raul Fervari, Carlos Areces |
An Algebraic Approach for Action Based Default Reasoning. |
TARK |
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. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Dominik Wojtczak |
Open Problems in a Logic of Gossips. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Neth |
Measuring Belief and Risk Attitude. |
TARK |
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. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Soroush Rafiee Rad, Sonja Smets |
Learning Probabilities: Towards a Logic of Statistical Learning. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Ding, Wesley H. Holliday, Cedegao Zhang |
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakov Babichenko, Oren Dean, Moshe Tennenholtz |
Sequential Voting with Confirmation Network. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
The Complexity of Online Bribery in Sequential Elections (Extended Abstract). |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank M. V. Feys, Helle Hvid Hansen |
Arrow's Theorem Through a Fixpoint Argument. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Ivanovska, Marija Slavkovik 0001 |
Aggregating Probabilistic Judgments. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini |
Exploiting Belief Bases for Building Rich Epistemic Structures. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramit Das, R. Ramanujam 0001, Sunil Simon |
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bjorndahl, Aybüke Özgün |
Uncertainty About Evidence. |
TARK |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang 0001 |
A New Modal Framework for Epistemic Logic. |
TARK |
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. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bjorndahl, Joseph Y. Halpern |
From Type Spaces to Probability Frames and Back, via Language. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Nalls, Adam Bjorndahl |
Endogenizing Epistemic Actions. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Rafael Pass |
A Knowledge-Based Analysis of the Blockchain Protocol. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Kishida |
Categories for Dynamic Epistemic Logic. |
TARK |
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. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Burkhard C. Schipper |
Self-confirming Games: Unawareness, Discovery, and Equilibrium. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Mongin |
Bayesian Decision Theory and Stochastic Independence. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada |
Argument-based Belief in Topological Structures. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Dominik Wojtczak |
Common Knowledge in a Logic of Gossips. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella |
An Epistemic Foundation for Authentication Logics (Extended Abstract). |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustam Galimullin, Natasha Alechina |
Coalition and Group Announcement Logic. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Kai Li |
Conditional Belief, Knowledge and Probability. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Lev, Moshe Tennenholtz |
Group Recommendations: Axioms, Impossibilities, and Random Walks. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist |
A New Game Equivalence and its Modal Logic. |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley H. Holliday, Thomas F. Icard III |
Indicative Conditionals and Dynamic Epistemic Logic. |
TARK |
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. |
TARK |
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? |
TARK |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license