Wiebe Van Der Hoek

Wiebe Van Der Hoek's AcademicInfluence.com Rankings

Wiebe Van Der Hoek

Computer Science

#7785

World Rank

#8191

Historical Rank

Artificial Intelligence

#3296

World Rank

#3344

Historical Rank

Database

#4838

World Rank

#5026

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Wiebe Van Der Hoek's Degrees

PhD Computer Science University of Amsterdam

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Wiebe Van Der Hoek Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Wiebe Van Der Hoek's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Epistemic logic for AI and computer science (1995) (688)
Dynamic Epistemic Logic (2007) (537)
Agent Programming in 3APL (1999) (370)
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications (2003) (322)
Agents that Know How to Play (2004) (273)
Dynamic Epistemic Logic and Knowledge Puzzles (2007) (260)
Knowledge and control (2011) (236)
Tractable multiagent planning for epistemic goals (2002) (224)
Agent Programming with Declarative Goals (2000) (195)
On the logic of cooperation and propositional control (2005) (165)
A Logical Approach to the Dynamics of Commitments (1999) (157)
A logic for strategic reasoning (2005) (155)
Boolean games (2001) (146)
Towards a Logic of Rational Agency (2003) (143)
SOFSEM 2007: Theory and Practice of Computer Science (2007) (139)
Model Checking Knowledge and Time (2002) (134)
Dynamic epistemic logic with assignment (2005) (125)
Modal logic for games and information (2007) (121)
On the Logic of Normative Systems (2007) (115)
On obligations and normative ability: Towards a logical analysis of the social contract (2005) (112)
Formal Semantics for an Abstract Agent Programming Language (1997) (111)
Social laws in alternating time: effectiveness, feasibility, and synthesis (2006) (110)
An Integrated Modal Approach to Rational Agents (1999) (103)
First steps in modal logic (1997) (101)
Formalising Abilities and Opportunities of Agents (1998) (99)
Alternating-time temporal logic with explicit strategies (2007) (98)
Cooperative Boolean games (2008) (96)
Multi-Agent Systems (2008) (87)
On the complexity of practical ATL model checking (2006) (85)
Agent programming in dribble: from beliefs to goals using plans (2003) (80)
A verification framework for agent programming with declarative goals (2007) (80)
On the Semantics of Graded Modalities (1992) (78)
Model Checking Russian Cards (2006) (70)
A Logic of Capabilities (1994) (68)
Handbook of epistemic logic (2015) (68)
Systems for Knowledge and Belief (1993) (68)
Formalising Motivational Attitudes of Agents (1995) (68)
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (2011) (66)
Counting Objects (1995) (65)
Towards a theory of intention revision (2007) (64)
Reasoning about coalitional games (2009) (61)
Reasoning about action and cooperation (2006) (59)
Normative system games (2007) (56)
A Logic For Ignorance (2004) (55)
Logic and the Foundations of Game and Decision Theory - LOFT (2009) (55)
A Modal Characterization of Nash Equilibrium (2003) (51)
Actions That Make You Change Your Mind (Extended Abstract) (1995) (51)
Making Some Issues of Implicit Knowledge Explicit (1992) (48)
Quantified coalition logic (2007) (48)
Graded Modalities in Epistemic Logic (1992) (46)
Model checking cooperation, knowledge, and time—a case study (2003) (46)
Control Structures of Rule-Based Agent Languages (1998) (45)
Epistemic logic: a survey (2002) (44)
A Formal Embedding of AgentSpeak(L) in 3APL (1998) (44)
Using temporal logics of knowledge in the formal verification of security protocols (2004) (43)
Concurrent Dynamic Epistemic Logic (2003) (43)
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11) (2011) (43)
Robust normative systems and a logic of norm compliance (2010) (41)
Logic for Automated Mechanism Design - A Progress Report (2007) (39)
Epistemic Protocols for Distributed Gossiping (2016) (39)
Preferences in game logics (2004) (39)
Semantics of Communicating Agents Based on Deduction and Abduction (2000) (39)
On the logic of coalitional games (2006) (38)
Group knowledge is not always distributed (neither is it always implicit) ? ? This is an improved an (1999) (38)
Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks (2015) (37)
On dynamically generated ontology translators in agent communication * (2001) (37)
Representation and Complexity in Boolean Games (2004) (37)
Knowledge and Gossip (2014) (37)
On the logic of preference and judgment aggregation (2009) (36)
On the succinctness of some modal logics (2013) (36)
Power in normative systems (2009) (35)
Tests as Epistemic Updates (1994) (35)
Systems for Knowledge and Beliefs (1990) (34)
Agent programming with temporally extended goals (2009) (33)
Communicating Rational Agents (1994) (33)
Reasoning About Social Choice Functions (2011) (32)
On BAN Logics for Industrial Security Protocols (2001) (31)
An Introduction to Dynamic Epistemic Logic (2004) (30)
A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge (1996) (29)
Some Considerations on the Logic PFD~ (1990) (29)
Operational Semantics for Agent Communication Languages (2000) (29)
Information-passing and belief-revision in multi-agent systems (1998) (29)
Intentions and Strategies in Game-Like Scenarios (2005) (28)
A Verification Framework for Agent Communication (2003) (28)
Generalized quantifiers and modal logic (1993) (27)
Reasoning About the Transfer of Control (2014) (27)
Everything is Knowable - How to Get to Know Whether a Proposition is True (2012) (27)
Verification of Games in the Game Description Language (2009) (27)
Robust normative systems (2008) (27)
Rational Teams: Logical Aspects of Multi-Agent Systems (2004) (26)
Open Multi-agent Systems: Agent Communication and Integration (1999) (25)
Epistemic Logic for AI and Computer Science: ANSWERS TO THE EXERCISES (1995) (25)
Public Announcements and Belief Expansion (2004) (24)
GOAL Agents Instantiate Intention Logic (2008) (23)
Temporal qualitative coalitional games (2006) (23)
Conservative Social Laws (2012) (23)
On Programming KARO Agents (2001) (22)
On Modal Logic Interpretations of Games (2002) (22)
Non-Monotonic Reasoning by Monotonic Means (1990) (22)
Concurrent dynamic epistemic logic for MAS (2003) (22)
Unravelling nondeterminism: On having the ability to choose (1995) (22)
Verification within the KARO Agent Theory (2000) (22)
Logical Foundations of Agent-Based Computing (2001) (21)
Conceptual Structures: Knowledge Architectures for Smart Applications (2007) (21)
Programming the Deliberation Cycle of Cognitive Robots (2002) (21)
Temporal Logics of Knowledge and their Applications in Security (2007) (21)
On the dynamics of delegation, cooperation, and control: a logical account (2005) (21)
Structures for Epistemic Logic (2014) (21)
A fully abstract model for the exchange of information in multi-agent systems (2003) (21)
Iterated belief change in multi-agent systems (2002) (21)
Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (2005) (20)
Succinctness of Epistemic Languages (2011) (20)
A Modal Logic for Nonmonotonic Reasoning (1994) (20)
Agent Programming in Dribble: From Beliefs to Goals with Plans (2002) (19)
Boolean Games with Epistemic Goals (2013) (19)
A logic of revelation and concealment (2012) (19)
Formal Semantics of Temporal Epistemic Reflection (1994) (19)
Parameters for Epistemic Gossip Problems (2016) (19)
An Introduction to Logics of Knowledge and Belief (2015) (19)
Knowledge and social laws (2005) (19)
Audience-Based Uncertainty in Abstract Argument Games (2013) (19)
Reasoning about agents in the KARO framework (2001) (19)
Non-monotonic reasoning and partial semantics (1992) (18)
Verifiable Equilibria in Boolean Games (2013) (18)
Arbitrary arrow update logic (2017) (18)
Justified Beliefs by Justified Arguments (2014) (18)
A logic of games and propositional control (2009) (17)
A Default Logic Based on Epistemic States (1993) (17)
Descriptions of Game States (2003) (17)
Seeing Is Believing And So Are Hearing and Jumping (2002) (17)
Connecting dynamic epistemic and temporal epistemic logics (2013) (17)
On Agents That Have the Ability to Choose (2000) (17)
MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO (2004) (16)
On Obligations and Abilities (2004) (16)
Knowledge as Strategic Ability (2004) (16)
Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science (2007) (16)
Failure, Monitoring and Recovery in the Agent Language 3APL (1998) (15)
Process Algebra for Agent Communication: A General Semantic Approach (2003) (15)
On the definability of simulation and bisimulation in epistemic logic (2014) (15)
Reasoning about judgment and preference aggregation (2007) (15)
Systems of Communicating Agents (1998) (14)
Logics for Multiagent Systems (2012) (14)
Persistence and minimality in epistemic logic (1998) (14)
Logics for Coalitional Games (2007) (14)
A Programming Logic for Part of the Agent Language 3APL (2000) (14)
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results (2015) (14)
A Semantical Analysis of Second-Order Propositional Modal Logic (2016) (13)
Seeing Is Believing (1997) (13)
Formalizing Potential of Agents: The KARO Framework Revisited (2000) (13)
Prolog technology for default reasoning: proof theory and compilation techniques (1998) (13)
Honesty in partial logic (1995) (13)
Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting (1994) (13)
Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) (2010) (12)
The Dynamics of Default Reasoning (Extended Abstract) (1995) (12)
A Temporal Logic of Normative Systems (2009) (12)
A General Approach to Multi-agent Minimal Knowledge (2000) (12)
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples (2002) (12)
Revision by Communication (1995) (12)
Specifying and reasoning about uncertain agents (2008) (12)
Knowing More - From Global to Local Correspondence (2009) (11)
Towards a Logic of Social Welfare (2006) (11)
A Framework for Epistemic Gossip Protocols (2014) (11)
Generalised Object-Oriented Concepts for Inter-agent Communication (2000) (11)
Failure Semantics for the Exchange of Information in Multi-Agent Systems (1999) (11)
The Dynamics of Default Reasoning (1997) (11)
A General Framework for Revising Non-Monotonic Theories (1997) (11)
A Complete Epistemic Logic for Multiple Agents (1997) (10)
The undecidability of arbitrary arrow update logic (2016) (10)
Ignore at your peril - towards a logic for ignorance (2003) (10)
Logic and the Foundations of Game and Decision Theory Â Loft 8 (2010) (10)
An abstract framework for reasoning about trust (2011) (10)
Fully Arbitrary Public Announcements (2016) (10)
The Pleasure of Gossip (2017) (10)
Counting objects in generalized quantifier theory, modal logic and knowledge representation (1992) (10)
Second-order Propositional Announcement Logic (2016) (10)
Tests as epistemic updates - pursuit of knowledge (1994) (10)
Knowledge, Rationality and Action (2004) (10)
Practical Reasoning for Uncertain Agents (2004) (9)
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings (2006) (9)
Logical Implementation of Uncertain Agents (2005) (9)
Model Checking Strategic Equilibria (2009) (9)
Program equilibrium—a program reasoning approach (2013) (9)
Modal logics for representing incoherent knowledge (1998) (9)
Some Exponential Lower Bounds on Formula-size in Modal Logic (2014) (8)
Formalizing motivational attitudes of agents using the KARO framework (1997) (8)
The logic of gossiping (2020) (8)
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic (2012) (8)
Automated reasoning about metric and topology (System description) (2006) (8)
Revision of Non-Monotonic Theories (1994) (8)
Qualitative Modalities (1991) (8)
An operational semantics for the single agent core of AGENT0 (1999) (7)
Arrow Update Synthesis (2018) (7)
Sigma algebras in probabilistic epistemic dynamics (2011) (7)
On the relative succinctness of modal logics with union, intersection and quantification (2014) (7)
A Truly Concurrent Model for Interacting Agents (2001) (7)
Process algebra and constraint programming for modeling interactions in MAS (2005) (6)
Model checking dynamic epistemics in branching time (2007) (6)
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming (1996) (6)
A Programming Language for Coordinating Group Actions (2001) (6)
Proceedings of IJCAI-09 (2009) (6)
Game Theory and Applications, vol. 8 (2002) (6)
Second-order propositional modal logic: Expressiveness and completeness results (2018) (6)
Temporalizing Epistemic Default Logic (1998) (6)
Proceedings of the 10th European conference on Logics in Artificial Intelligence (2006) (6)
Multi-Modal CTL: Completeness, Complexity, and an Application (2009) (6)
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols (2018) (6)
Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS) (2003) (6)
Local properties in modal logic (2012) (6)
Logics for Qualitative Coalitional Games (2009) (6)
When Are Two Gossips the Same? (2018) (5)
Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings (2009) (5)
Evaluation of Virtual Agents Attributed with Theory of Mind in a Real Time Action Game (2010) (5)
Formal semantics of meta‐level architectures: Temporal epistemic reflection (2003) (5)
Completeness and Complexity of Multi-modal CTL (2009) (5)
A logic of propositional control for truthful implementations (2009) (5)
Strategic ability under uncertainty (2005) (5)
Knowledge Condition Games (2006) (5)
A logical characterisation of qualitative coalitional games (2007) (5)
Theories of Knowledge and Ignorance (2004) (5)
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory (2020) (4)
Iterated belief change in mas (2002) (4)
Modalities for reasoning about knowledge and uncertainties (1996) (4)
A coordination language for agents interacting in distributed plan-execute cycles (2009) (4)
Uncertainty, rationality, and agency (2006) (4)
Building and using social structures: A case study using the agent ART testbed (2013) (4)
A modal contrastive logic: The logic of ‘but’ (1996) (4)
Towards an Epistemic Approach to Reasoning about Concurrent Programs (1992) (4)
Reasoning about local properties in modal logic (2011) (4)
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1 (2010) (4)
Scientia potentia est (2011) (4)
Preferential Semantics for Query by NavigationB (1996) (4)
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models (2011) (3)
A Modal Logic for Mixed Strategies (2014) (3)
Model Checking Knowledge and Time via Local Propositions: Cooperative and Adversarial Systems (2004) (3)
Implementing Cognitive Agents in 3 APL (2002) (3)
Information, interaction, and agency (2005) (3)
Quantifying over coalitions in epistemic logic (2008) (3)
Knowledge , and Time : Alternating-time Temporal Epistemic Logic and its Applications (2003) (3)
Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers (2010) (3)
Fair decomposition of group obligations (2017) (3)
Interleaved contractions (1999) (3)
Knowledge and Action in Semi-public Environments (2011) (3)
Decomposing constraint systems: equivalences and computational properties (2011) (3)
Social Laws and Anti-Social Behaviour (2008) (3)
Independence and Hintikka games (2006) (3)
A Simpler Semantics for Abilities under Uncertainty (2008) (3)
Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II (1994) (3)
The Performance of Option—Trading Software Agents: Initial Results (2007) (3)
A Logic for Global and Local Announcements (2017) (2)
Fair Allocation of Group Tasks According to Social Norms (2014) (2)
Practical and theoretical innovations in multi-agent systems research (2002) (2)
Recovery of (Non)Monotonic Theories (1998) (2)
Modal Logic with Bounded Quantification over Worlds (2001) (2)
Program models and semi-public environments (2019) (2)
INA: a distributed processing based approach to information networks (1992) (2)
Logic and the Foundations of the Theory of Games and Decisions (2003) (2)
Translations of Vocabularies in Systems of Communicating Agents (1998) (2)
Effective Approximations for Spatial Task Allocation Problems (2015) (2)
Nonmonotonic Reasoning, Grigoris Antoniou (2000) (2)
A Modal Logic for Network Topologies (2000) (2)
Counterfactual reasoning by (means of) defaults (1993) (2)
Who Should Be My Friends? Social Balance from the Perspective of Game Theory (2019) (2)
Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent (2005) (2)
Concurrently Decomposable Constraint Systems (2009) (1)
Special Issue on Logical Aspects of Multi-Agent Systems (2016) (1)
Logic, rationality and interaction (LORI-5): introduction to the special issue (2017) (1)
Logics of Preference when There Is No Best (2020) (1)
Epistemic Logic for AI and Computer Science: BASICS: THE MODAL APPROACH TO KNOWLEDGE (1995) (1)
Editorial Introduction to the Special Issue LOFT Sevilla (2013) (1)
A Cooperation Logic Framework for Social Laws (1)
Specifying uncertainty for mobile robots ? (1998) (1)
Sahlqvist's theorem (1997) (1)
Extended Modal Logics for Social Software (extended abstract of invited talk) (2007) (1)
An abstract framework for reasoning about trust (Extended Abstract) (2011) (1)
The Simple Normative Systems Language (2006) (1)
A Postscript to a Completeness Proof for Johan (1999) (1)
Norms and Game Theory (2013) (1)
Logic and the Foundations of the Theory of Games and Decisions: Introduction (2001) (1)
Non-Determinism and the Dynamics of Knowledge (2017) (1)
Non-monotonic reasoning by monotonic means (extended abstract) (1991) (1)
Temporal Epistemic Default Logic (2001) (1)
Agent Programming with De larative (2000) (1)
Epistemic Quantified Boolean Logic (2015) (1)
RoboCup European Championship: Report of the Amsterdam 2000 event (2001) (1)
Belief Revision by Expansion (1993) (1)
Introduction to the special issue (2013) (1)
Introduction to the special issue - eScholarship (2014) (1)
Model Checking GDL through MOCHA : A Case Study (2009) (1)
Introduction to the special issue (2016) (1)
Logics of Interaction, Coalitions and Social Choice (extended abstract of invited (2008) (1)
Graded Modal and Epistemic Logic (1993) (1)
Foreword (2011) (1)
Introduction to the special issue (2013) (1)
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems (1998) (1)
Epistemic Logic for AI and Computer Science: DEFAULT REASONING BY EPISTEMIC LOGIC (1995) (1)
Editorial (2003) (1)
Classical and general frameworks for recovery (2000) (1)
Logic, Rationality, and Interaction (2009) (0)
Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13) (2020) (0)
Epistemic Logic for AI and Computer Science: PREFACE (1995) (0)
Teams over Time — a Logical Perspective (2005) (0)
Reasoning about strategic games with hybrid logic of choice and preferences ( draft ) (2008) (0)
Semantic Based Theory Revision in Nonmonotonic Logic (1995) (0)
Extended Modal Logics for Social Software (2007) (0)
2 A TL : Strategic Ability in Perfect Information Games (0)
Revising and Updating Using a Back-Up Semantics (1996) (0)
Interleaved Contractions (Extended Abstract) (2007) (0)
The Simple Normative System Language (SNL) (2007) (0)
Proceedings of the Fourth Conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT 4) (2000) (0)
Erratum to: Introduction chapter (2012) (0)
Logical Aspects of Multi-Agent Systems Preface (2016) (0)
Logical Aspects of Multi-Agent Systems Preface (2016) (0)
Logic, rationality and interaction : introduction to the special issue (2018) (0)
A I ] 3 J ul 2 00 2 Agent Programming with Declarative Goals (2013) (0)
Knowledge Representation and Reasoning (2005) (0)
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings (2015) (0)
Proceedings of LCMAS04 (International Workshop on Logic in Multi-Agent Systems) (2005) (0)
Reasoning about Normative Systems (2010) (0)
Updating Nonmonotonic Databases (1996) (0)
Editorial (2004) (0)
Preface (2021) (0)
Completeness, Complexity, and an Application (2009) (0)
Logics in AI: post-proceedings JELIA06 (Editorial) (2007) (0)
Using a back-up semantics for revising and updating nonmonotonic databases (1996) (0)
Preface (2004) (0)
Epistemic Logic for AI and Computer Science: INTRODUCTION (1995) (0)
Preface (2021) (0)
On BAN Logi s for Industrial Se urity Proto olsNesria (2001) (0)
Epistemic Logic for AI and Computer Science: KNOWLEDGE AND IGNORANCE (1995) (0)
Veri ation within the KARO Agent Theory ? (2000) (0)
Temporalized Epistemic Default Logic (2001) (0)
Control and Delegation (2011) (0)
Preface: Volume 85, Issue 2 (2003) (0)
A Note on Nesting in Dyadic Deontic Logic (2017) (0)
Recovery of nonmonotonic theories (1997) (0)
Concurrent Epistemic Dynamic Logic for MAS (2003) (0)
Epistemic Logic for AI and Computer Science: VARIOUS NOTIONS OF KNOWLEDGE AND BELIEF (1995) (0)
Two Themes in Modal Logic: Invited Presentation at the 2nd International Workshop on Strategic Reasoning (2014) (0)
Lecture Notes in Computer Science (LNCS) 9394 (2015) (0)
Uncertainty in Abstract Argument Games: A Case Study on the Game for the Grounded Extension (2012) (0)
Logic for Applications, Anil Nerode and Richard A. Shore (1998) (0)
Concurrent Epistemic Dynamic Logic for Multi Agent Systems (2003) (0)
Qualitative Coalitional Games We give a brief introduction to Qualitative Coalitional Games (2007) (0)
Note by the Guest Editors (2002) (0)
UvA-DARE ( Digital Academic Repository ) Symbolic Model Checking for Dynamic Epistemic Logic (2015) (0)
RAPPORT Honesty in partial logic (2007) (0)
Reasoning about Choice (2013) (0)
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12) (2018) (0)
On two perspectives in decomposing constraint systems (2010) (0)
Games, Logic and Constructive Sets (2003) (0)
Epistemi Logi : A Survey (2012) (0)
Seeing is Believing (1995) (0)
Learning Actions Models: Qualitative Approach (2015) (0)
Senior Program Committee Members (2004) (0)
Ju l 2 01 5 Learning Actions Models : Qualitative Approach (2015) (0)
Preface (2005) (0)
Classical, General Frameworks for Recovery (2000) (0)
Introduction chapter (2012) (0)
A general perspective on only knowing (2000) (0)
Scanning the issue (2001) (0)
Towards a Logic of Social Welfare 1 (2006) (0)
Review: Donald Nute, Defeasible Deontic Logic (2000) (0)
Motivational Attitudes in the Karo Framework (2002) (0)
Knowledge Contributors, Synthese Library Series (2003) (0)
Epistemic Logic for AI and Computer Science: REFERENCES (1995) (0)
Workshop 18 The Twelfth International Workshop on Distributed Constraint Reasoning (2010) (0)
Preface (2003) (0)
On Programming KARO (2001) (0)
Proceedings of the 8th international conference on Logic and the foundations of game and decision theory (2008) (0)
Preface (2006) (0)
EUMAS'04 Special Issue (2006) (0)
Epistemic Logic for AI and Computer Science: APPENDIXES (1995) (0)
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue (2017) (0)
A formal analysis of trust and distrust relationships in Shakespeare’s Othello (2014) (0)
The Logic of Rational Agency (Dagstuhl Seminar 02041) (2021) (0)
Knowledge in Public Environments (2013) (0)
Epistemic Logic: problems and puzzles (2001) (0)
A Programming Language for Part of the Agent Language 3APL (2001) (0)
Complexity results for an independent friendly propositional Logic (2004) (0)

This paper list is powered by the following services:

Wiebe Van Der Hoek's Academic­Influence.com Rankings

Wiebe Van Der Hoek's Degrees

Similar Degrees You Can Earn

Why Is Wiebe Van Der Hoek Influential?

Wiebe Van Der Hoek's Published Works

Published Works

Wiebe Van Der Hoek's AcademicInfluence.com Rankings