


Остановите войну!
for scientists:


default search action
Wiebe van der Hoek
Person information

- affiliation: University of Liverpool, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j94]Davide Grossi
, Wiebe van der Hoek, Louwe B. Kuijer
:
Reasoning about general preference relations. Artif. Intell. 313: 103793 (2022) - [j93]Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
:
Who Should Be My Friends? Social Balance from the Perspective of Game Theory. J. Log. Lang. Inf. 31(2): 189-211 (2022) - 2021
- [j92]Wiebe van der Hoek, Bastien Maubert, Aniello Murano
, Sasha Rubin:
Preface. Inf. Comput. 276: 104551 (2021) - 2020
- [j91]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
The logic of gossiping. Artif. Intell. 286: 103306 (2020) - [j90]Pierpaolo Battigalli, Giacomo Bonanno, Wiebe van der Hoek:
Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13). Games Econ. Behav. 123: 207-209 (2020) - [j89]Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arrow update synthesis. Inf. Comput. 275: 104544 (2020) - [c142]Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng:
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. IJCAI 2020: 210-216 - [c141]Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer:
Logics of Preference when There Is No Best. KR 2020: 455-464
2010 – 2019
- 2019
- [j88]Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek:
Introduction to the special issue. J. Log. Comput. 29(7): 1011-1013 (2019) - [j87]Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge:
Program models and semi-public environments. J. Log. Comput. 29(7): 1071-1097 (2019) - [j86]Giacomo Bonanno
, Wiebe van der Hoek, Andrés Perea:
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12). Stud Logica 107(3): 451-455 (2019) - [c140]Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng:
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. LORI 2019: 370-384 - 2018
- [j85]Francesco Belardinelli
, Wiebe van der Hoek, Louwe B. Kuijer:
Second-order propositional modal logic: Expressiveness and completeness results. Artif. Intell. 263: 3-45 (2018) - [j84]Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. J. Log. Comput. 28(2): 265-267 (2018) - [j83]Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Logic, rationality and interaction (LORI-5): introduction to the special issue. Synth. 195(10): 4201-4204 (2018) - [c139]Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek:
When Are Two Gossips the Same? LPAR 2018: 36-55 - [i11]Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arrow Update Synthesis. CoRR abs/1802.00914 (2018) - [i10]Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek:
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols. CoRR abs/1807.05283 (2018) - 2017
- [j82]Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arbitrary arrow update logic. Artif. Intell. 242: 80-106 (2017) - [j81]Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair decomposition of group obligations. J. Log. Comput. 27(7): 2043-2062 (2017) - [j80]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. 693: 1-12 (2017) - [c138]Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes:
Non-Determinism and the Dynamics of Knowledge. IJCAI 2017: 1053-1059 - [c137]Francesco Belardinelli
, Hans van Ditmarsch, Wiebe van der Hoek:
A Logic for Global and Local Announcements. TARK 2017: 28-42 - [i9]Agneau Belanyek, Davide Grossi, Wiebe van der Hoek:
A Note on Nesting in Dyadic Deontic Logic. CoRR abs/1710.03481 (2017) - 2016
- [j79]Nils Bulling, Wiebe van der Hoek:
Special Issue on Logical Aspects of Multi-Agent Systems. Stud Logica 104(4): 593-595 (2016) - [j78]Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek:
Introduction to the special issue. Synth. 193(3): 659-662 (2016) - [c136]Francesco Belardinelli
, Wiebe van der Hoek:
A Semantical Analysis of Second-Order Propositional Modal Logic. AAAI 2016: 886-892 - [c135]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
Fully Arbitrary Public Announcements. Advances in Modal Logic 2016: 252-267 - [c134]Francesco Belardinelli
, Hans van Ditmarsch, Wiebe van der Hoek:
Second-order Propositional Announcement Logic. AAMAS 2016: 635-643 - [i8]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
The Undecidability of Arbitrary Arrow Update Logic. CoRR abs/1609.05686 (2016) - 2015
- [c133]Daniel Claes, Philipp Robbel, Frans A. Oliehoek, Karl Tuyls, Daniel Hennes, Wiebe van der Hoek:
Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks. AAMAS 2015: 881-890 - [c132]Francesco Belardinelli
, Wiebe van der Hoek:
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. IJCAI 2015: 2748-2754 - [c131]Krzysztof R. Apt, Davide Grossi
, Wiebe van der Hoek:
Epistemic Protocols for Distributed Gossiping. TARK 2015: 51-66 - [e11]Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings. Lecture Notes in Computer Science 9394, Springer 2015, ISBN 978-3-662-48560-6 [contents] - [i7]Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi:
An Introduction to Logics of Knowledge and Belief. CoRR abs/1503.00806 (2015) - 2014
- [j77]Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen:
Introduction. IGTR 16(1) (2014) - [j76]Hans van Ditmarsch, David Fernández-Duque
, Wiebe van der Hoek:
On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. 24(6): 1209-1227 (2014) - [j75]Joshua Sack
, Wiebe van der Hoek:
A Modal Logic for Mixed Strategies. Stud Logica 102(2): 339-360 (2014) - [c130]Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev:
Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic 2014: 139-157 - [c129]Wiebe van der Hoek, Petar Iliev:
On the relative succinctness of modal logics with union, intersection and quantification. AAMAS 2014: 341-348 - [c128]Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair Allocation of Group Tasks According to Social Norms. CLIMA 2014: 19-34 - [c127]Maduka Attamah, Hans van Ditmarsch, Davide Grossi
, Wiebe van der Hoek:
Knowledge and Gossip. ECAI 2014: 21-26 - [c126]Maduka Attamah, Hans van Ditmarsch, Davide Grossi
, Wiebe van der Hoek:
A Framework for Epistemic Gossip Protocols. EUMAS 2014: 193-209 - [c125]Davide Grossi, Wiebe van der Hoek:
Justified Beliefs by Justified Arguments. KR 2014 - [p4]Nick Bezhanishvili
, Wiebe van der Hoek:
Structures for Epistemic Logic. Johan van Benthem on Logic and Information Dynamics 2014: 339-380 - [i6]Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge:
Reasoning About the Transfer of Control. CoRR abs/1401.3825 (2014) - 2013
- [j74]Tim French
, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
On the succinctness of some modal logics. Artif. Intell. 197: 56-85 (2013) - [j73]Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan:
Connecting dynamic epistemic and temporal epistemic logics. Log. J. IGPL 21(3): 380-403 (2013) - [j72]Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek, Jérôme Lang:
Introduction to the special issue. Int. J. Game Theory 42(3): 563-566 (2013) - [j71]Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge:
Program equilibrium - a program reasoning approach. Int. J. Game Theory 42(3): 639-671 (2013) - [j70]Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek:
Editorial Introduction to the Special Issue LOFT Sevilla. J. Philos. Log. 42(6): 795-798 (2013) - [j69]Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge:
Building and using social structures: A case study using the agent ART testbed. ACM Trans. Intell. Syst. Technol. 4(2): 25:1-25:20 (2013) - [c124]Wiebe van der Hoek, Nicolas Troquard
, Michael J. Wooldridge:
Reasoning about Choice. AT 2013: 4-18 - [c123]Wiebe van der Hoek:
Control and Delegation. ICAART (1) 2013: IS-17 - [c122]Davide Grossi, Wiebe van der Hoek:
Audience-Based Uncertainty in Abstract Argument Games. IJCAI 2013: 143-149 - [c121]Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge:
Verifiable Equilibria in Boolean Games. IJCAI 2013: 689-695 - [c120]Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge:
Boolean Games with Epistemic Goals. LORI 2013: 1-14 - 2012
- [j68]Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Local properties in modal logic. Artif. Intell. 187: 133-155 (2012) - [j67]Wiebe van der Hoek, Michael J. Wooldridge:
Logics for Multiagent Systems. AI Mag. 33(3): 92-105 (2012) - [j66]Cilia Witteman
, Wiebe van der Hoek:
Introduction chapter. Synth. 189(Supplement-1): 1-3 (2012) - [j65]Cilia Witteman
, Wiebe van der Hoek:
Erratum to: Introduction chapter. Synth. 189(Supplement-1): 185 (2012) - [c119]Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge:
A logic of revelation and concealment. AAMAS 2012: 1115-1122 - [c118]Koen V. Hindriks
, Wiebe van der Hoek, John-Jules Ch. Meyer:
GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action 2012: 196-219 - [c117]Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. CiE 2012: 323-333 - [c116]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Conservative Social Laws. ECAI 2012: 49-54 - [e10]Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff:
International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). IFAAMAS 2012 [contents] - 2011
- [j64]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. 22(1): 4-30 (2011) - [j63]Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek:
Foreword. J. Appl. Non Class. Logics 21(3-4): 263-264 (2011) - [j62]Nicolas Troquard
, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning About Social Choice Functions. J. Philos. Log. 40(4): 473-498 (2011) - [c115]Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge:
Decomposing constraint systems: equivalences and computational properties. AAMAS 2011: 149-156 - [c114]Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Reasoning about local properties in modal logic. AAMAS 2011: 711-718 - [c113]Wiebe van der Hoek, Nicolas Troquard, Michael J. Wooldridge:
Knowledge and control. AAMAS 2011: 719-726 - [c112]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Scientia potentia est. AAMAS 2011: 735-742 - [c111]Elisabetta Erriquez, Wiebe van der Hoek, Michael J. Wooldridge:
An abstract framework for reasoning about trust. AAMAS 2011: 1085-1086 - [c110]Hans van Ditmarsch, David Fernández-Duque
, Wiebe van der Hoek:
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA 2011: 74-87 - [c109]Wiebe van der Hoek:
Control and Delegation. DALT 2011: 1-2 - [c108]Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
Succinctness of Epistemic Languages. IJCAI 2011: 881-886 - [c107]Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge:
Knowledge and Action in Semi-public Environments. LORI 2011: 97-110 - [c106]Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack
:
Sigma algebras in probabilistic epistemic dynamics. TARK 2011: 191-199 - [i5]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about Social Choice Functions. CoRR abs/1102.3341 (2011) - 2010
- [j61]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust normative systems and a logic of norm compliance. Log. J. IGPL 18(1): 4-30 (2010) - [j60]Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge:
Reasoning About the Transfer of Control. J. Artif. Intell. Res. 37: 437-477 (2010) - [c105]Wiebe van der Hoek:
Reasoning about Normative Systems. JURIX 2010: 3 - [e9]Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen:
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. IFAAMAS 2010, ISBN 978-0-9826571-1-9 [contents] - [e8]Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek:
Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers. Lecture Notes in Computer Science 6006, Springer 2010, ISBN 978-3-642-15163-7 [contents]
2000 – 2009
- 2009
- [j59]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009) - [j58]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Logics for Qualitative Coalitional Games. Log. J. IGPL 17(3): 299-321 (2009) - [j57]Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek:
A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. 1(1/2): 4-17 (2009) - [j56]Ji Ruan, Wiebe van der Hoek, Michael J. Wooldridge:
Verification of Games in the Game Description Language. J. Log. Comput. 19(6): 1127-1156 (2009) - [j55]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar
, Carles Sierra
, Michael J. Wooldridge:
Multi-Modal CTL: Completeness, Complexity, and an Application. Stud Logica 92(1): 1-26 (2009) - [c104]Koen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk:
Agent programming with temporally extended goals. AAMAS (1) 2009: 137-144 - [c103]Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge:
Power in normative systems. AAMAS (1) 2009: 145-152 - [c102]Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
A logic of games and propositional control. AAMAS (2) 2009: 961-968 - [c101]Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Knowing More - From Global to Local Correspondence. IJCAI 2009: 955-960 - [c100]Cees Witteveen, Wiebe van der Hoek, Nico Roos:
Concurrently Decomposable Constraint Systems. MATES 2009: 153-164 - [c99]Nicolas Troquard
, Wiebe van der Hoek, Michael J. Wooldridge:
A logic of propositional control for truthful implementations. TARK 2009: 237-246 - [p3]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar
, Carles Sierra, Michael J. Wooldridge:
A Temporal Logic of Normative Systems. Towards Mathematical Philosophy 2009: 69-106 - [e7]Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr
:
Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings. Lecture Notes in Computer Science 5774, Springer 2009, ISBN 978-3-642-04142-6 [contents] - [i4]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust Normative Systems. Normative Multi-Agent Systems 2009 - 2008
- [j54]Nivea de Carvalho Ferreira, Michael Fisher
, Wiebe van der Hoek:
Specifying and reasoning about uncertain agents. Int. J. Approx. Reason. 49(1): 35-51 (2008) - [j53]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantified coalition logic. Synth. 165(2): 269-294 (2008) - [c98]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672 - [c97]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust normative systems. AAMAS (2) 2008: 747-754 - [c96]Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael J. Wooldridge:
Cooperative Boolean games. AAMAS (2) 2008: 1015-1022 - [c95]Koen V. Hindriks
, Wiebe van der Hoek:
GOAL Agents Instantiate Intention Logic. JELIA 2008: 232-244 - [c94]Nicolas Troquard
, Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking Strategic Equilibria. MoChArt 2008: 166-188 - [r1]Wiebe van der Hoek, Michael J. Wooldridge:
Multi-Agent Systems. Handbook of Knowledge Representation 2008: 887-928 - [i3]Koen V. Hindriks, Wiebe van der Hoek:
GOAL Agents Instantiate Intention Logic. Programming Multi-Agent Systems 2008 - 2007
- [j52]Michael Fisher
, Wiebe van der Hoek:
Logics in AI: post-proceedings JELIA06 (Editorial). Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007) - [j51]Paul E. Dunne, Wiebe van der Hoek, Michael J. Wooldridge:
A logical characterisation of qualitative coalitional games. J. Appl. Non Class. Logics 17(4): 477-509 (2007) - [j50]Frank S. de Boer, Koen V. Hindriks
, Wiebe van der Hoek, John-Jules Ch. Meyer:
A verification framework for agent programming with declarative goals. J. Appl. Log. 5(2): 277-302 (2007) - [j49]Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
Towards a theory of intention revision. Synth. 155(2): 265-290 (2007) - [j48]Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge:
Social laws in alternating time: effectiveness, feasibility, and synthesis. Synth. 156(1): 1-19 (2007) - [c93]Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek:
Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-17 - [c92]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about judgment and preference aggregation. AAMAS 2007: 85 - [c91]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Normative system games. AAMAS 2007: 129 - [c90]Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Dynamic Epistemic Logic and Knowledge Puzzles. ICCS 2007: 45-58 - [c89]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
On the Logic of Normative Systems. IJCAI 2007: 1175-1180 - [c88]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantified Coalition Logic. IJCAI 2007: 1181-1186 - [c87]Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge:
Alternating-time temporal logic with explicit strategies. TARK 2007: 269-278 - [c86]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Completeness and Complexity of Multi-modal CTL. M4M 2007: 259-275 - [p2]Wiebe van der Hoek, Marc Pauly:
Modal logic for games and information. Handbook of Modal Logic 2007: 1077-1148 - [e6]Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plásil:
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings. Lecture Notes in Computer Science 4362, Springer 2007, ISBN 978-3-540-69506-6 [contents] - [e5]Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plásil, Mária Bieliková:
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Compu