TARK - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 354

2013

Utility-based Decision-making in Distributed Systems ModellingGabrielle Anderson, Matthew Collinson, David J. Pym. tark 2013: [doi]

On the Complexity of Dynamic Epistemic LogicGuillaume Aucher, François Schwarzentruber. tark 2013: [doi]

The Shape of Reactive Coordination TasksIdo Ben-Zvi, Yoram Moses. tark 2013: [doi]

Language-based GamesAdam Bjorndahl, Joseph Y. Halpern, Rafael Pass. tark 2013: [doi]

Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall SemanticsRodica Bozianu, Catalin Dima, Constantin Enea. tark 2013: [doi]

Hybrid-Logical Reasoning in False-Belief TasksTorben Braüner. tark 2013: [doi]

Defeasible ModalitiesKatarina Britz, Ivan José Varzinczak. tark 2013: [doi]

Bounded rationality in a dynamic alternate gameEduardo Espinosa-Avila, Francisco Hernández Quiroz. tark 2013: [doi]

Universal Interactive PreferencesJayant V. Ganguli, Aviad Heifetz. tark 2013: [doi]

Timely Common KnowledgeYannai A. Gonczarowski, Yoram Moses. tark 2013: [doi]

Ceteris Paribus Structure in Logics of Game FormsDavide Grossi, Emiliano Lorini, François Schwarzentruber. tark 2013: [doi]

Game Theory with Translucent PlayersJoseph Y. Halpern, Rafael Pass. tark 2013: [doi]

Deludedly Agreeing to AgreeZiv Hellman. tark 2013: [doi]

The Complexity of Online Manipulation of Sequential ElectionsEdith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. tark 2013: [doi]

Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous SemanticsXiaowei Huang, Ron van der Meyden. tark 2013: [doi]

Epistemic Logic for Communication ChainsJeffrey Kane, Pavel Naumov. tark 2013: [doi]

Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan ExistenceJérôme Lang, Bruno Zanuttini. tark 2013: [doi]

R.E. Axiomatization of Conditional IndependencePavel Naumov, Brittany Nicholls. tark 2013: [doi]

When is an example a counterexample?Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn. tark 2013: [doi]

Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5Tivadar Papai, Henry A. Kautz, Daniel Stefankovic. tark 2013: [doi]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013Burkhard C. Schipper, editor, 2013. [doi]

ForewordBurkhard C. Schipper. tark 2013: [doi]

Facebook and the epistemic logic of friendshipJeremy Seligman, Fenrong Liu, Patrick Girard. tark 2013: [doi]

Agreeing on decisions: an analysis with counterfactualsBassel Tarbush. tark 2013: [doi]

An Epistemic Approach to Compositional Reasoning about Anonymity and PrivacyYasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe. tark 2013: [doi]

Knowledge, awareness, and bisimulationHans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng. tark 2013: [doi]

Strategic voting and the logic of knowledgeHans van Ditmarsch, Jérôme Lang, Abdallah Saffidine. tark 2013: [doi]

PDL as a Multi-Agent Strategy LogicJan van Eijck. tark 2013: [doi]

Logic in the LabRineke Verbrugge. tark 2013: [doi]

2011

Sigma algebras in probabilistic epistemic dynamicsLuca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack. tark 2011: 191-199 [doi]

Abstraction for epistemic model checking of dining cryptographers-based protocolsOmar I. Al-Bataineh, Ron van der Meyden. tark 2011: 247-256 [doi]

Sum of us: strategyproof selection from the selectorsNoga Alon, Felix A. Fischer, Ariel D. Procaccia, Moshe Tennenholtz. tark 2011: 101-110 [doi]

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011Krzysztof R. Apt, editor, ACM, 2011.

Value-based contraction: a representation resultHoracio Arló-Costa, Hailin Liu. tark 2011: 55-64 [doi]

Belief revision as a truth-tracking processAlexandru Baltag, Nina Gierasimczuk, Sonja Smets. tark 2011: 187-190 [doi]

The dynamics of reputation systemsAmir Ban, Nati Linial. tark 2011: 91-100 [doi]

Known unknowns: time bounds and knowledge of ignoranceIdo Ben-Zvi, Yoram Moses. tark 2011: 161-169 [doi]

Reasoning about justified beliefAdam Bjorndahl, Joseph Y. Halpern, Rafael Pass. tark 2011: 221-227 [doi]

AGM belief revision in dynamic gamesGiacomo Bonanno. tark 2011: 37-45 [doi]

Necessary and sufficient conditions for the strategyproofness of irresolute social choice functionsFelix Brandt, Markus Brill. tark 2011: 136-142 [doi]

Compilation and communication protocols for voting rules with a dynamic set of candidatesYann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot. tark 2011: 153-160 [doi]

Agreeing to disagree type results under ambiguityAdam Dominiak, Jean-Philippe Lefort. tark 2011: 131-135 [doi]

The synchronicity of dynamic epistemic logicCédric Dégremont, Benedikt Löwe, Andreas Witzel. tark 2011: 145-152 [doi]

Strategic communicationYossi Feinberg. tark 2011: 1-11 [doi]

A note on a generalization of the Muddy Children puzzleNina Gierasimczuk, Jakub Szymanik. tark 2011: 257-264 [doi]

Questions in decision theoryItzhak Gilboa. tark 2011: 17-27 [doi]

Congestion games with variable demandsTobias Harks, Max Klimm. tark 2011: 111-120 [doi]

Equivalence of the information structure with unawareness to the logic of awarenessSander Heinsalu. tark 2011: 82-90 [doi]

Symbolic model checking of probabilistic knowledgeXiaowei Huang, Cheng Luo, Ron van der Meyden. tark 2011: 177-186 [doi]

Three procedures for inducing honesty in bargainingD. Marc Kilgour, Steven J. Brams, Todd R. Kaplan. tark 2011: 170-176 [doi]

Generalized arrow update logicBarteld P. Kooi, Bryan Renne. tark 2011: 205-211 [doi]

Judgment aggregation rules based on minimizationJérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre. tark 2011: 238-246 [doi]

A ternary knowledge relation on secretsSara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang. tark 2011: 46-54 [doi]

Connections of coalgebra and semantic modelingLawrence S. Moss. tark 2011: 28-36 [doi]

Neighbourhood structure in large gamesSoumya Paul, Ramaswamy Ramanujam. tark 2011: 121-130 [doi]

Weights in stable marriage problems increase manipulation opportunitiesMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. tark 2011: 200-204 [doi]

Message passing in a dynamic epistemic logic settingFloor Sietsma, Jan van Eijck. tark 2011: 212-220 [doi]

Exploring a theory of playJohan van Benthem. tark 2011: 12-16 [doi]

Hidden protocolsHans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang. tark 2011: 65-74 [doi]

Perfect recall of imperfect knowledgeAndreas Witzel. tark 2011: 75-81 [doi]

2009

Common knowledge in interaction structuresKrzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper. tark 2009: 4-13 [doi]

Logical omniscience as a computational complexity problemSergei N. ArtÃ«mov, Roman Kuznets. tark 2009: 14-23 [doi]

Designing markets: economics, computer science and the real worldSusan Athey. tark 2009: 1 [doi]

BMS revisitedGuillaume Aucher. tark 2009: 24-33 [doi]

Group belief dynamics under iterated revision: fixed points and cycles of joint upgradesAlexandru Baltag, Sonja Smets. tark 2009: 41-50 [doi]

Origins of epistemicsAdam Brandenburger. tark 2009: 2 [doi]

Contractual trapsYing-Ju Chen, Xiaojian Zhao. tark 2009: 51-60 [doi]

Deriving epistemic conclusions from agent architectureStephen Chong, Ron van der Meyden. tark 2009: 61-70 [doi]

Generalized inquisitive logic: completeness via intuitionistic Kripke modelsIvano Ciardelli, Floris Roelofsen. tark 2009: 71-80 [doi]

Knowledge, proof and the KnowerWalter Dean, Hidenori Kurokawa. tark 2009: 81-90 [doi]

A computational theory of awareness and decision makingNikhil R. Devanur, Lance Fortnow. tark 2009: 99-107 [doi]

On distance rationalizability of some voting rulesEdith Elkind, Piotr Faliszewski, Arkadii M. Slinko. tark 2009: 108-117 [doi]

The shield that never was: societies with single-peaked preferences are more open to manipulation and controlPiotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, JÃ¶rg Rothe. tark 2009: 118-127 [doi]

Program equilibria and discounted computation timeLance Fortnow. tark 2009: 128-133 [doi]

The context of the gameAmanda Friedenberg, Martin Meier. tark 2009: 134-135 [doi]

Syntactic foundations for unawareness of theoremsSpyros Galanis. tark 2009: 136-145 [doi]

Reasoning about knowledge of unawareness revisitedJoseph Y. Halpern, Leandro Chaves RÃªgo. tark 2009: 166-173 [doi]

A logical characterization of iterated admissibilityJoseph Y. Halpern, Rafael Pass. tark 2009: 146-155 [doi]

An epistemic characterization of zero knowledgeJoseph Y. Halpern, Rafael Pass, Vasumathi Raman. tark 2009: 156-165 [doi]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009Aviad Heifetz, editor, 2009.

K-SNCC: group deviations in subsidized non-cooperative computingAndrey Klinger, Moshe Tennenholtz. tark 2009: 174-183 [doi]

Foundations of non-commutative probability theoryDaniel Lehmann. tark 2009: 193-200 [doi]

Rationality and the speed of decision-makingMichael Mandler. tark 2009: 201-207 [doi]

On interdependence of secrets in collaboration networksSara Miner More, Pavel Naumov. tark 2009: 208-217 [doi]

Projective expected utility: a subjective formulationPierfrancesco La Mura. tark 2009: 184-192 [doi]

Dynamic restriction of choices: a preliminary logical reportSoumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon. tark 2009: 218-226 [doi]

Evidence elimination in multi-agent justification logicBryan Renne. tark 2009: 227-236 [doi]

Considerations on the logic of intentionYoav Shoham. tark 2009: 3 [doi]

A logic of propositional control for truthful implementationsNicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. tark 2009: 237-246 [doi]

Solutions of strategic games under common belief of sure-thing principleMichael Trost. tark 2009: 247-256 [doi]

Verifying epistemic protocols under common knowledgeYanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck. tark 2009: 257-266 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

TARK (tark)

Viewing Publication 1 - 100 from 354

2013

2011

2009

2007

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

TARK (tark)

Viewing Publication 1 - 100 from 354

2013

2011

2009

2007

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1