Thomas gotnes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEFM | Towards Resolving Distributed Beliefs. | John Lindqvist, Fernando R. Velzquez-Quesada, Thomas gotnes |
| 2022 | PRIMA | Coalition Logic for Specification and Verification of Smart Contract Upgrades. | Rustam Galimullin, Thomas gotnes |
| 2021 | KR | Somebody Knows. | Thomas gotnes, Y N. Wng |
| 2014 | JELIA | Measuring Dissimilarity between Judgment Sets. | Marija Slavkovik, Thomas gotnes |
| 2014 | PRIMA | Multi-agency Is Coordination and (Limited) Communication. | Piotr Kazmierczak, Thomas gotnes, Wojciech Jamroga |
| 2013 | IJCAI | Verifiable Equilibria in Boolean Games. | Thomas gotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge |
| 2013 | IJCAI | Multi-Agent Subset Space Logic. | Yi Nicholas Wang, Thomas gotnes |
| 2012 | AAMAS | Epistemic coalition logic: completeness and complexity. | Thomas gotnes, Natasha Alechina |
| 2012 | ECAI | Conservative Social Laws. | Thomas gotnes, Wiebe van der Hoek, Michael J. Wooldridge |
| 2012 | PRIMA | Coalitional Public Announcement Games. | Thomas gotnes, Hans van Ditmarsch |
| 2007 | AAAI | Logic for Automated Mechanism Design - A Progress Report. | Michael J. Wooldridge, Thomas gotnes, Paul E. Dunne, Wiebe van der Hoek |
| 2007 | IJCAI | On the Logic of Normative Systems. | Thomas gotnes, Wiebe van der Hoek, Juan A. Rodrguez-Aguilar, Carles Sierra, Michael J. Wooldridge |
| 2007 | IJCAI | Quantified Coalition Logic. | Thomas gotnes, Wiebe van der Hoek, Michael J. Wooldridge |
| 2007 | TARK | Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. | Thomas gotnes, Natasha Alechina |
| 2007 | TARK | Alternating-time temporal logics with irrevocable strategies. | Thomas gotnes, Valentin Goranko, Wojciech Jamroga |
| 2006 | ECAI | Knowing Minimum/Maximum n Formulae. | Thomas gotnes, Natasha Alechina |
| 2006 | KR | Semantics for Dynamic Syntactic Epistemic Logics. | Thomas gotnes, Natasha Alechina |