default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWiebe 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
- 2023
[c143]Philippe Balbiani, Wiebe van der Hoek
, Louwe B. Kuijer:
Simple Axioms for Local Properties. TARK 2023: 82-92- 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 Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II. Institute of Computer Science AS CR, Prague 2007, ISBN 80-903298-9-6 [contents] - [i2]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
On the Logic of Normative Systems. Normative Multi-agent Systems 2007 - 2006
- [b2]Wiebe van der Hoek:
Uncertainty, rationality, and agency. Kluwer 2006, ISBN 978-1-4020-4630-8, pp. I-X - [j47]Chiara Ghidini, Paolo Giorgini, Wiebe van der Hoek:
Preface. Auton. Agents Multi Agent Syst. 12(2): 159-161 (2006) - [j46]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Knowledge Condition Games. J. Log. Lang. Inf. 15(4): 425-452 (2006) - [c85]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
On the logic of coalitional games. AAMAS 2006: 153-160 - [c84]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Temporal qualitative coalitional games. AAMAS 2006: 177-184 - [c83]Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael J. Wooldridge:
Reasoning about action and cooperation. AAMAS 2006: 185-192 - [c82]Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge:
On the complexity of practical ATL model checking. AAMAS 2006: 201-208 - [c81]Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security. ICS@SYNASC 2006: 27-42 - [e4]Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa:
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Lecture Notes in Computer Science 4160, Springer 2006, ISBN 3-540-39625-X [contents] - [e3]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005. Electronic Notes in Theoretical Computer Science 157(4), Elsevier 2006 [contents] - 2005
- [j45]Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek:
Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. 16(2-3): 113-150 (2005) - [j44]Wiebe van der Hoek, Michael J. Wooldridge:
On the logic of cooperation and propositional control. Artif. Intell. 164(1-2): 81-119 (2005) - [j43]Michael J. Wooldridge, Wiebe van der Hoek:
On obligations and normative ability: Towards a logical analysis of the social contract. J. Appl. Log. 3(3-4): 396-420 (2005) - [c80]Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Dynamic epistemic logic with assignment. AAMAS 2005: 141-148 - [c79]Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
A logic for strategic reasoning. AAMAS 2005: 157-164 - [c78]Wiebe van der Hoek, Mark Roberts, Michael J. Wooldridge:
Knowledge and social laws. AAMAS 2005: 674-681 - [c77]Wiebe van der Hoek, Michael J. Wooldridge:
On the dynamics of delegation, cooperation, and control: a logical account. AAMAS 2005: 701-708 - [c76]Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523 - [c75]Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek:
Logical Implementation of Uncertain Agents. EPIA 2005: 536-547 - [c74]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2005: 1-2 - [c73]Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan:
Model Checking Russian Cards. MoChArt@CONCUR/SPIN 2005: 105-123 - 2004
- [j42]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking A Knowledge Exchange Scenario. Appl. Artif. Intell. 18(9-10): 937-952 (2004) - [j41]Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer:
Rational Teams: Logical Aspects of Multi-Agent Systems. Fundam. Informaticae 63(2-3): 159-183 (2004) - [j40]Wojciech Jamroga, Wiebe van der Hoek:
Agents that Know How to Play. Fundam. Informaticae 63(2-3): 185-219 (2004) - [j39]Wiebe van der Hoek:
Editorial. Synth. 139(2): 5-8 (2004) - [c72]Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Public Announcements and Belief Expansion. Advances in Modal Logic 2004: 335-346 - [c71]Wiebe van der Hoek:
Knowledge, Rationality and Action. AAMAS 2004: 16-23 - [c70]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Preferences in Game Logics. AAMAS 2004: 152-159 - [c69]Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
On Obligations and Abilities. DEON 2004: 165-181 - [c68]Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek:
Practical Reasoning for Uncertain Agents. JELIA 2004: 82-94 - [c67]Paul E. Dunne, Wiebe van der Hoek:
Representation and Complexity in Boolean Games. JELIA 2004: 347-359 - [c66]Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME 2004: 148-151 - [c65]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. LCMAS 2004: 1-2 - [p1]Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
Theories of Knowledge and Ignorance. Logic, Epistemology, and the Unity of Science 2004: 381-418 - [e2]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003. Electronic Notes in Theoretical Computer Science 85(2), Elsevier 2004 [contents] - [e1]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 126, Elsevier 2004 [contents] - 2003
- [j38]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Verification Framework for Agent Communication. Auton. Agents Multi Agent Syst. 6(2): 185-219 (2003) - [j37]Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen:
A Modal Characterization of Nash Equilibrium. Fundam. Informaticae 57(2-4): 281-321 (2003) - [j36]Wiebe van der Hoek, Michael J. Wooldridge:
Editorial. Log. J. IGPL 11(2): 133 (2003) - [j35]Wiebe van der Hoek, Michael J. Wooldridge:
Towards a Logic of Rational Agency. Log. J. IGPL 11(2): 135-159 (2003) - [j34]Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
Iterated Belief Change in Multi-Agent Systems. Log. J. IGPL 11(2): 223-246 (2003) - [j33]Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Formal semantics of meta-level architectures: Temporal epistemic reflection. Int. J. Intell. Syst. 18(12): 1293-1317 (2003) - [j32]Wiebe van der Hoek, Michael J. Wooldridge:
Preface. Stud Logica 75(1): 3-5 (2003) - [j31]Wiebe van der Hoek, Michael J. Wooldridge:
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Stud Logica 75(1): 125-157 (2003) - [j30]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3): 1753-1773 (2003) - [c64]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems 2003: 113-128 - [c63]Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Concurrent dynamic epistemic logic for MAS. AAMAS 2003: 201-208 - [c62]Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent programming in dribble: from beliefs to goals using plans. AAMAS 2003: 393-400 - [c61]Wiebe van der Hoek, Alessio Lomuscio:
Ignore at your peril - towards a logic for ignorance. AAMAS 2003: 1148-1149 - [c60]Wiebe van der Hoek, Alessio Lomuscio:
A logic for ignorance. DALT 2003: 97-108 - [c59]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface: Volume 85, Issue 2. LCMAS 2003: 81 - [c58]Wiebe van der Hoek, Alessio Lomuscio:
A Logic For Ignorance. LCMAS 2003: 117-133 - [c57]Sieuwert van Otterloo, Wiebe van der Hoek, Michael J. Wooldridge:
Knowledge as Strategic Ability. LCMAS 2003: 152-175 - 2002
- [j29]Wiebe van der Hoek, Cees Witteveen:
Note by the Guest Editors. Stud Logica 70(1): 3-4 (2002) - [j28]Wiebe van der Hoek, Elias Thijsse:
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Stud Logica 72(1): 61-84 (2002) - [c56]Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
Iterated belief change in multi-agent systems. AAMAS 2002: 889-896 - [c55]Wiebe van der Hoek, Michael J. Wooldridge:
Tractable multiagent planning for epistemic goals. AAMAS 2002: 1167-1174 - [c54]Michael J. Wooldridge, Wiebe van der Hoek:
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. COORDINATION 2002: 4 - [c53]Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen:
On Modal Logic Interpretations of Games. ECAI 2002: 28-32 - [c52]Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in Dribble: From Beliefs to Goals with Plans. FAABS 2002: 294-295 - [c51]Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking Knowledge and Time. SPIN 2002: 95-111 - [i1]Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming with Declarative Goals. CoRR cs.AI/0207008 (2002) - 2001
- [j27]John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek:
On Programming KARO Agents. Log. J. IGPL 9(2): 245-256 (2001) - [j26]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16(5): 587-607 (2001) - [j25]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. 11(5): 701-715 (2001) - [j24]Giovanni Adorni, Wiebe van der Hoek:
Scanning the issue. Robotics Auton. Syst. 36(2-3): 57-58 (2001) - [j23]Frans C. A. Groen, Wiebe van der Hoek, Pieter P. Jonker, Ben J. A. Kröse, Hans J. W. Spoelder, Stefano Stramigioli:
RoboCup European Championship: Report of the Amsterdam 2000 event. Robotics Auton. Syst. 36(2-3): 59-66 (2001) - [c50]Nesria Agray, Wiebe van der Hoek, Erik P. de Vink:
On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36 - [c49]Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Programming Language for Coordinating Group Actions. CEEMAS 2001: 313-321 - [c48]Wiebe van der Hoek:
Logical Foundations of Agent-Based Computing. EASSS 2001: 50-73 - [c47]Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Truly Concurrent Model for Interacting Agents. PRIMA 2001: 16-30 - [c46]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Reasoning about agents in the KARO framework. TIME 2001: 206-213 - 2000
- [j22]Wiebe van der Hoek:
Nonmonotonic Reasoning, Grigoris Antoniou. J. Log. Lang. Inf. 9(1): 125-128 (2000) - [j21]Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer:
On Agents That Have the Ability to Choose. Stud Logica 66(1): 79-119 (2000) - [c45]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000: 63-79 - [c44]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000: 80-95 - [c43]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming with Declarative Goals. ATAL 2000: 228-243 - [c42]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL 2000: 260-274 - [c41]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR 2000: 214-228 - [c40]Wiebe van der Hoek, Cees Witteveen:
Classical, General Frameworks for Recovery. ECAI 2000: 33-37 - [c39]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Verification within the KARO Agent Theory. FAABS 2000: 33-47 - [c38]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Programming Logic for Part of the Agent Language 3APL. FAABS 2000: 78-89 - [c37]Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
A General Approach to Multi-agent Minimal Knowledge. JELIA 2000: 254-268 - [c36]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Modal Logic for Network Topologies. JELIA 2000: 269-283
1990 – 1999
- 1999
- [j20]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in 3APL. Auton. Agents Multi Agent Syst. 2(4): 357-401 (1999) - [j19]John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder:
A Logical Approach to the Dynamics of Commitments. Artif. Intell. 113(1-2): 1-40 (1999) - [j18]Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
Persistence and minimality in epistemic logic. Ann. Math. Artif. Intell. 27(1-4): 25-47 (1999) - [c35]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999: 218-232 - [c34]Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops 1999: 265 - 1998
- [j17]Cees Witteveen, Wiebe van der Hoek:
Recovery of (Non)Monotonic Theories. Artif. Intell. 106(1): 139-159 (1998) - [j16]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formalising Abilities and Opportunities of Agents. Fundam. Informaticae 34(1-2): 53-101 (1998) - [j15]Wiebe van der Hoek:
Logic for Applications, Anil Nerode and Richard A. Shore. J. Log. Lang. Inf. 7(2): 228-229 (1998) - [j14]Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Temporalizing Epistemic Default Logic. J. Log. Lang. Inf. 7(3): 341-367 (1998) - [c33]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA 1998: 240-253 - [c32]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Information-Passing and Belief Revision in Multi-Agent Systems. ATAL 1998: 29-45 - [c31]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Control Structures of Rule-Based Agent Languages. ATAL 1998: 381-396 - [c30]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998: 155-166 - [c29]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Systems of Communicating Agents. ECAI 1998: 293-297 - [c28]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS 1998: 473-474 - [c27]Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
Persistence and Minimality in Epistemic Logic. JELIA 1998: 62-76 - [c26]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents. COTIC 1998: 23 - 1997
- [j13]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997) - [j12]Wiebe van der Hoek:
Some Considerations on the Logic PFD~. J. Appl. Non Class. Logics 7(3) (1997) - [j11]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Seeing Is Believing. J. Log. Lang. Inf. 6(1): 33-61 (1997) - [c25]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formal Semantics for an Abstract Agent Programming Language. ATAL 1997: 215-229 - [c24]Cees Witteveen, Wiebe van der Hoek:
A General Framework for Revising Non-Monotonic Theories. LPNMR 1997: 258-273 - 1996
- [j10]John-Jules Ch. Meyer, Wiebe van der Hoek:
A Modal Contrastive Logic: The Logic of 'but'. Ann. Math. Artif. Intell. 17(3-4): 291-313 (1996) - [j9]Wiebe van der Hoek:
Qualitative Modalities. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 4(1): 45-60 (1996) - [j8]Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
Honesty in partial logic. Stud Logica 56(3): 323-360 (1996) - [c23]Cees Witteveen, Wiebe van der Hoek:
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ELP 1996: 303-318 - [c22]Cees Witteveen, Wiebe van der Hoek:
Updating Nonmonotonic Databases. ISTCS 1996: 147-153 - [c21]Cees Witteveen, Wiebe van der Hoek:
Revising and Updating Using a Back-Up Semantics. JELIA 1996: 388-403 - 1995
- [b1]John-Jules Charles Meyer, Wiebe van der Hoek:
Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science 41, Cambridge University Press 1995, ISBN 978-0-521-46014-9, pp. I-XIII, 1-354 - [j7]John-Jules Ch. Meyer, Wiebe van der Hoek:
A Default Logic Based on Epistemic States. Fundam. Informaticae 23(1): 33-65 (1995) - [j6]Wiebe van der Hoek, Maarten de Rijke:
Counting Objects. J. Log. Comput. 5(3): 325-345 (1995) - [c20]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Seeing is Believing. AI*IA 1995: 402-413 - [c19]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formalising Motivational Attitudes of Agents. ATAL 1995: 17-32 - [c18]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995: 277-284 - [c17]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Actions That Make You Change Your Mind (Extended Abstract). KI 1995: 185-196 - [c16]Cees Witteveen, Wiebe van der Hoek:
Revision by Communication. LPNMR 1995: 189-202 - 1994
- [c15]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Tests as Epistemic Updates. ECAI 1994: 331-335 - [c14]Lluís Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra:
Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. IPMU 1994: 440-452 - [c13]Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle:
Revision of Non-Monotonic Theories. JELIA 1994: 137-151 - [c12]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Communicating Rational Agents. KI 1994: 202-213 - [c11]Wiebe van der Hoek, Jan Jaspars, Elias Thijsse:
Honesty in Partial Logic. KR 1994: 583-594 - [c10]Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer:
A Logic of Capabilities. LFCS 1994: 366-378 - [c9]Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352 - 1993
- [j5]John-Jules Ch. Meyer, Wiebe van der Hoek:
Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993) - [j4]Wiebe van der Hoek, Maarten de Rijke:
Generalized quantifiers and modal logic. J. Log. Lang. Inf. 2(1): 19-58 (1993) - [j3]Wiebe van der Hoek:
Systems for Knowledge and Belief. J. Log. Comput. 3(2): 173-195 (1993) - [c8]John-Jules Ch. Meyer, Wiebe van der Hoek:
A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273 - [c7]Cees Witteveen, Wiebe van der Hoek:
Belief Revision by Expansion. ECSQARU 1993: 380-387 - 1992
- [j2]Wiebe van der Hoek, John-Jules Ch. Meyer:
Making Some Issues of Implicit Knowledge Explicit. Int. J. Found. Comput. Sci. 3(2): 193-223 (1992) - [j1]Wiebe van der Hoek:
On the Semantics of Graded Modalities. J. Appl. Non Class. Logics 2(1) (1992) - [c6]Wiebe van der Hoek, John-Jules Ch. Meyer:
Graded Modalities in Epistemic Logic. LFCS 1992: 503-514 - [c5]Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer:
Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop 1992: 261-287 - 1991
- [c4]Wiebe van der Hoek:
Some Considerations on the Logic PfD. RCLP 1991: 474-485 - [c3]Wiebe van der Hoek:
Qualitative Modalities. SCAI 1991: 322-327 - 1990
- [c2]Wiebe van der Hoek:
Systems for Knowledge and Beliefs. JELIA 1990: 267-281 - [c1]John-Jules Ch. Meyer, Wiebe van der Hoek:
Non-Monotonic Reasoning by Monotonic Means. JELIA 1990: 399-411
Coauthor Index
Hans van Ditmarsch
aka: Hans P. van Ditmarsch
aka: Hans P. van Ditmarsch
Barteld P. Kooi
aka: Barteld Kooi
aka: Barteld Kooi
John-Jules Ch. Meyer
aka: John-Jules Charles Meyer
aka: John-Jules Charles Meyer
[c118] [j57] [j50] [j45] [j41] [j38] [j37] [j34] [j33] [j30] [c64] [c62] [c56] [c53] [c52] [i1] [j27] [j26] [j25] [c49] [c47] [c46] [j21] [c45] [c44] [c43] [c42] [c41] [c39] [c38] [c36] [j20] [j19] [c35] [c34] [j16] [j14] [c33] [c32] [c31] [c30] [c29] [c28] [c26] [j13] [j11] [c25] [j10] [b1] [j7] [c20] [c19] [c18] [c17] [c15] [c14] [c12] [c10] [c9] [j5] [c8] [j2] [c6] [c5] [c1]
[j87] [i6] [j71] [j69] [c124] [c121] [c120] [j67] [c119] [c116] [j64] [j62] [c115] [c113] [c112] [c111] [c107] [i5] [j61] [j60] [j59] [j58] [j56] [j55] [c103] [c102] [c99] [p3] [i4] [j53] [c98] [c97] [c96] [c94] [r1] [j51] [j49] [j48] [c93] [c92] [c91] [c89] [c88] [c87] [c86] [i2] [j46] [c85] [c84] [c83] [c82] [e3] [j44] [j43] [c79] [c78] [c77] [c76] [c74] [j42] [c70] [c69] [c65] [e2] [e1] [j36] [j35] [j32] [j31] [c59] [c57] [c55] [c54] [c51]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
