| 2009 |
|---|
| 150 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Reasoning about coalitional games.
Artif. Intell. 173(1): 45-79 (2009) |
| 149 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Completeness and Complexity of Multi-modal CTL.
Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009) |
| 2008 |
|---|
| 148 | EE | Paul E. Dunne,
Wiebe van der Hoek,
Sarit Kraus,
Michael Wooldridge:
Cooperative Boolean games.
AAMAS (2) 2008: 1015-1022 |
| 147 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Quantifying over coalitions in epistemic logic.
AAMAS (2) 2008: 665-672 |
| 146 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Robust normative systems.
AAMAS (2) 2008: 747-754 |
| 145 | EE | Koen iV. indriks,
Wiebe van der Hoek:
GOAL Agents Instantiate Intention Logic.
JELIA 2008: 232-244 |
| 144 | EE | Nicolas Troquard,
Wiebe van der Hoek,
Michael Wooldridge:
Model Checking Strategic Equilibria.
MoChArt 2008: 166-188 |
| 143 | EE | Nivea de Carvalho Ferreira,
Michael Fisher,
Wiebe van der Hoek:
Specifying and reasoning about uncertain agents.
Int. J. Approx. Reasoning 49(1): 35-51 (2008) |
| 142 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Quantified coalition logic.
Synthese 165(2): 269-294 (2008) |
| 2007 |
|---|
| 141 | | Jan van Leeuwen,
Giuseppe F. Italiano,
Wiebe van der Hoek,
Christoph Meinel,
Harald Sack,
Frantisek Plasil,
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 |
| 140 | | Jan van Leeuwen,
Giuseppe F. Italiano,
Wiebe van der Hoek,
Christoph Meinel,
Harald Sack,
Frantisek Plasil:
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
Springer 2007 |
| 139 | | Michael Wooldridge,
Thomas Ågotnes,
Paul E. Dunne,
Wiebe van der Hoek:
Logic for Automated Mechanism Design - A Progress Report.
AAAI 2007: 9- |
| 138 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Normative system games.
AAMAS 2007: 129 |
| 137 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Reasoning about judgment and preference aggregation.
AAMAS 2007: 85 |
| 136 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Dynamic Epistemic Logic and Knowledge Puzzles.
ICCS 2007: 45-58 |
| 135 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Michael Wooldridge:
On the Logic of Normative Systems.
IJCAI 2007: 1175-1180 |
| 134 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Quantified Coalition Logic.
IJCAI 2007: 1181-1186 |
| 133 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Michael Wooldridge:
On the Logic of Normative Systems.
Normative Multi-agent Systems 2007 |
| 132 | EE | Dirk Walther,
Wiebe van der Hoek,
Michael Wooldridge:
Alternating-time temporal logic with explicit strategies.
TARK 2007: 269-278 |
| 131 | EE | Michael Fisher,
Wiebe van der Hoek:
Logics in AI: post-proceedings JELIA06 (Editorial).
Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007) |
| 130 | EE | Clare Dixon,
M. Carmen Fernández Gago,
Michael Fisher,
Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security.
Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007) |
| 129 | EE | 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. Applied Logic 5(2): 277-302 (2007) |
| 128 | EE | Wiebe van der Hoek,
Wojciech Jamroga,
Michael Wooldridge:
Towards a theory of intention revision.
Synthese 155(2): 265-290 (2007) |
| 127 | EE | Wiebe van der Hoek,
Mark Roberts,
Michael Wooldridge:
Social laws in alternating time: effectiveness, feasibility, and synthesis.
Synthese 156(1): 1-19 (2007) |
| 2006 |
|---|
| 126 | | 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
Springer 2006 |
| 125 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
On the logic of coalitional games.
AAMAS 2006: 153-160 |
| 124 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Temporal qualitative coalitional games.
AAMAS 2006: 177-184 |
| 123 | EE | Luigi Sauro,
Jelle Gerbrandy,
Wiebe van der Hoek,
Michael Wooldridge:
Reasoning about action and cooperation.
AAMAS 2006: 185-192 |
| 122 | EE | Wiebe van der Hoek,
Alessio Lomuscio,
Michael Wooldridge:
On the complexity of practical ATL model checking.
AAMAS 2006: 201-208 |
| 121 | EE | Chiara Ghidini,
Paolo Giorgini,
Wiebe van der Hoek:
Preface.
Autonomous Agents and Multi-Agent Systems 12(2): 159-161 (2006) |
| 120 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Ron van der Meyden,
Ji Ruan:
Model Checking Russian Cards.
Electr. Notes Theor. Comput. Sci. 149(2): 105-123 (2006) |
| 119 | EE | Wiebe van der Hoek,
Alessio Lomuscio,
Erik P. de Vink,
Michael Wooldridge:
Preface.
Electr. Notes Theor. Comput. Sci. 157(4): 1-2 (2006) |
| 118 | EE | Sieuwert van Otterloo,
Wiebe van der Hoek,
Michael Wooldridge:
Knowledge Condition Games.
Journal of Logic, Language and Information 15(4): 425-452 (2006) |
| 2005 |
|---|
| 117 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Dynamic epistemic logic with assignment.
AAMAS 2005: 141-148 |
| 116 | EE | Wiebe van der Hoek,
Wojciech Jamroga,
Michael Wooldridge:
A logic for strategic reasoning.
AAMAS 2005: 157-164 |
| 115 | EE | Wiebe van der Hoek,
Mark Roberts,
Michael Wooldridge:
Knowledge and social laws.
AAMAS 2005: 674-681 |
| 114 | EE | Wiebe van der Hoek,
Michael Wooldridge:
On the dynamics of delegation, cooperation, and control: a logical account.
AAMAS 2005: 701-708 |
| 113 | EE | Wojciech Jamroga,
Wiebe van der Hoek,
Michael Wooldridge:
Intentions and Strategies in Game-Like Scenarios.
EPIA 2005: 512-523 |
| 112 | EE | Nivea de Carvalho Ferreira,
Michael Fisher,
Wiebe van der Hoek:
Logical Implementation of Uncertain Agents.
EPIA 2005: 536-547 |
| 111 | EE | 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) |
| 110 | EE | Wiebe van der Hoek,
Michael Wooldridge:
On the logic of cooperation and propositional control.
Artif. Intell. 164(1-2): 81-119 (2005) |
| 109 | EE | Wiebe van der Hoek,
Alessio Lomuscio,
Erik P. de Vink,
Michael Wooldridge:
Preface.
Electr. Notes Theor. Comput. Sci. 126: 1-2 (2005) |
| 108 | EE | Michael Wooldridge,
Wiebe van der Hoek:
On obligations and normative ability: Towards a logical analysis of the social contract.
J. Applied Logic 3(3-4): 396-420 (2005) |
| 2004 |
|---|
| 107 | EE | Sieuwert van Otterloo,
Wiebe van der Hoek,
Michael Wooldridge:
Preferences in Game Logics.
AAMAS 2004: 152-159 |
| 106 | EE | Wiebe van der Hoek:
Knowledge, Rationality and Action.
AAMAS 2004: 16-23 |
| 105 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Public Announcements and Belief Expansion.
Advances in Modal Logic 2004: 335-346 |
| 104 | EE | Wojciech Jamroga,
Wiebe van der Hoek,
Michael Wooldridge:
On Obligations and Abilities.
DEON 2004: 165-181 |
| 103 | EE | Paul E. Dunne,
Wiebe van der Hoek:
Representation and Complexity in Boolean Games.
JELIA 2004: 347-359 |
| 102 | EE | Nivea de Carvalho Ferreira,
Michael Fisher,
Wiebe van der Hoek:
Practical Reasoning for Uncertain Agents.
JELIA 2004: 82-94 |
| 101 | EE | 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 |
| 100 | EE | Huib Aldewereld,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Rational Teams: Logical Aspects of Multi-Agent Systems.
Fundam. Inform. 63(2-3): 159-183 (2004) |
| 99 | EE | Wojciech Jamroga,
Wiebe van der Hoek:
Agents that Know How to Play.
Fundam. Inform. 63(2-3): 185-219 (2004) |
| 2003 |
|---|
| 98 | EE | Wiebe van der Hoek,
Alessio Lomuscio:
Ignore at your peril - towards a logic for ignorance.
AAMAS 2003: 1148-1149 |
| 97 | EE | Hans P. van Ditmarsch,
Wiebe van der Hoek,
Barteld P. Kooi:
Concurrent dynamic epistemic logic for MAS.
AAMAS 2003: 201-208 |
| 96 | EE | 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 |
| 95 | EE | 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 |
| 94 | EE | Wiebe van der Hoek,
Alessio Lomuscio:
A logic for ignorance.
DALT 2003: 97-108 |
| 93 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A Verification Framework for Agent Communication.
Autonomous Agents and Multi-Agent Systems 6(2): 185-219 (2003) |
| 92 | EE | Paul Harrenstein,
Wiebe van der Hoek,
John-Jules Ch. Meyer,
Cees Witteveen:
A Modal Characterization of Nash Equilibrium.
Fundam. Inform. 57(2-4): 281-321 (2003) |
| 91 | EE | 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) |
| 90 | EE | Wiebe van der Hoek,
Michael Wooldridge:
Editorial.
Logic Journal of the IGPL 11(2): (2003) |
| 89 | EE | Wiebe van der Hoek,
Michael Wooldridge:
Towards a Logic of Rational Agency.
Logic Journal of the IGPL 11(2): 135-159 (2003) |
| 88 | EE | Jan-Willem Roorda,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Iterated Belief Change in Multi-Agent Systems.
Logic Journal of the IGPL 11(2): 223-246 (2003) |
| 87 | EE | Wiebe van der Hoek,
Michael Wooldridge:
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
Studia Logica 75(1): 125-157 (2003) |
| 86 | EE | Wiebe van der Hoek,
Michael Wooldridge:
Preface.
Studia Logica 75(1): 3-5 (2003) |
| 85 | | 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) |
| 2002 |
|---|
| 84 | EE | Wiebe van der Hoek,
Michael Wooldridge:
Tractable multiagent planning for epistemic goals.
AAMAS 2002: 1167-1174 |
| 83 | EE | Jan-Willem Roorda,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Iterated belief change in multi-agent systems.
AAMAS 2002: 889-896 |
| 82 | EE | Michael Wooldridge,
Wiebe van der Hoek:
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.
COORDINATION 2002: 4 |
| 81 | | Paul Harrenstein,
Wiebe van der Hoek,
John-Jules Ch. Meyer,
Cees Witteveen:
On Modal Logic Interpretations of Games.
ECAI 2002: 28-32 |
| 80 | EE | 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 |
| 79 | EE | Wiebe van der Hoek,
Michael Wooldridge:
Model Checking Knowledge and Time.
SPIN 2002: 95-111 |
| 78 | EE | 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) |
| 77 | | Wiebe van der Hoek,
Cees Witteveen:
Note by the Guest Editors.
Studia Logica 70(1): 3-4 (2002) |
| 76 | | Wiebe van der Hoek,
Elias Thijsse:
A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.
Studia Logica 72(1): 61-84 (2002) |
| 2001 |
|---|
| 75 | EE | Nesria Agray,
Wiebe van der Hoek,
Erik P. de Vink:
On BAN Logics for Industrial Security Protocols.
CEEMAS 2001: 29-36 |
| 74 | EE | 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 |
| 73 | EE | Wiebe van der Hoek:
Logical Foundations of Agent-Based Computing.
EASSS 2001: 50-73 |
| 72 | EE | 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 |
| 71 | EE | 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 |
| 70 | | 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) |
| 69 | EE | 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) |
| 68 | EE | John-Jules Ch. Meyer,
Frank S. de Boer,
Rogier M. van Eijk,
Koen V. Hindriks,
Wiebe van der Hoek:
On Programming KARO Agents.
Logic Journal of the IGPL 9(2): (2001) |
| 67 | EE | Giovanni Adorni,
Wiebe van der Hoek:
Scanning the issue.
Robotics and Autonomous Systems 36(2-3): 57-58 (2001) |
| 66 | EE | 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 and Autonomous Systems 36(2-3): 59-66 (2001) |
| 2000 |
|---|
| 65 | EE | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent Programming with Declarative Goals.
ATAL 2000: 228-243 |
| 64 | EE | 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 |
| 63 | EE | 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 |
| 62 | | Wiebe van der Hoek,
Cees Witteveen:
Classical, General Frameworks for Recovery.
ECAI 2000: 33-37 |
| 61 | EE | 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 |
| 60 | EE | 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 |
| 59 | | 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 |
| 58 | | 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 |
| 57 | EE | Wiebe van der Hoek,
Jan Jaspars,
Elias Thijsse:
A General Approach to Multi-agent Minimal Knowledge.
JELIA 2000: 254-268 |
| 56 | EE | 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 |
| 55 | | Wiebe van der Hoek:
Nonmonotonic Reasoning, Grigoris Antoniou.
Journal of Logic, Language and Information 9(1): 125-128 (2000) |
| 54 | | Wiebe van der Hoek,
Bernd van Linder,
John-Jules Ch. Meyer:
On Agents That Have the Ability to Choose.
Studia Logica 66(1): 79-119 (2000) |
| 1999 |
|---|
| 53 | | 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 |
| 52 | | 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 |
| 51 | | Wiebe van der Hoek,
Jan Jaspars,
Elias Thijsse:
Persistence and minimality in epistemic logic.
Ann. Math. Artif. Intell. 27(1-4): 25-47 (1999) |
| 50 | EE | 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) |
| 49 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent Programming in 3APL.
Autonomous Agents and Multi-Agent Systems 2(4): 357-401 (1999) |
| 1998 |
|---|
| 48 | EE | 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 |
| 47 | | 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 |
| 46 | | 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 |
| 45 | | 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 |
| 44 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Systems of Communicating Agents.
ECAI 1998: 293-297 |
| 43 | | 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 |
| 42 | EE | Wiebe van der Hoek,
Jan Jaspars,
Elias Thijsse:
Persistence and Minimality in Epistemic Logic.
JELIA 1998: 62-76 |
| 41 | EE | Cees Witteveen,
Wiebe van der Hoek:
Recovery of (Non)Monotonic Theories.
Artif. Intell. 106(1): 139-159 (1998) |
| 40 | EE | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents.
Electr. Notes Theor. Comput. Sci. 16(1): (1998) |
| 39 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Formalising Abilities and Opportunities of Agents.
Fundam. Inform. 34(1-2): 53-101 (1998) |
| 38 | | Wiebe van der Hoek:
Logic for Applications, Anil Nerode and Richard A. Shore.
Journal of Logic, Language and Information 7(2): 228-229 (1998) |
| 37 | | Wiebe van der Hoek,
John-Jules Ch. Meyer,
Jan Treur:
Temporalizing Epistemic Default Logic.
Journal of Logic, Language and Information 7(3): 341-367 (1998) |
| 1997 |
|---|
| 36 | | 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 |
| 35 | | Cees Witteveen,
Wiebe van der Hoek:
A General Framework for Revising Non-Monotonic Theories.
LPNMR 1997: 258-273 |
| 34 | EE | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
The Dynamics of Default Reasoning.
Data Knowl. Eng. 21(3): 317-346 (1997) |
| 33 | | Wiebe van der Hoek:
Some Considerations on the Logic PFD~.
Journal of Applied Non-Classical Logics 7(3): (1997) |
| 32 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Seeing Is Believing.
Journal of Logic, Language and Information 6(1): 33-61 (1997) |
| 1996 |
|---|
| 31 | | Cees Witteveen,
Wiebe van der Hoek:
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.
ELP 1996: 303-318 |
| 30 | | Cees Witteveen,
Wiebe van der Hoek:
Updating Nonmonotonic Databases.
ISTCS 1996: 147-153 |
| 29 | | Cees Witteveen,
Wiebe van der Hoek:
Revising and Updating Using a Back-Up Semantics.
JELIA 1996: 388-403 |
| 28 | | 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) |
| 27 | | Wiebe van der Hoek,
Jan Jaspars,
Elias Thijsse:
Honesty in partial logic.
Studia Logica 56(3): 323-360 (1996) |
| 1995 |
|---|
| 26 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Seeing is Believing.
AI*IA 1995: 402-413 |
| 25 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Formalising Motivational Attitudes of Agents.
ATAL 1995: 17-32 |
| 24 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
The Dynamics of Default Reasoning (Extended Abstract).
ECSQARU 1995: 277-284 |
| 23 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Actions That Make You Change Your Mind (Extended Abstract).
KI 1995: 185-196 |
| 22 | | Cees Witteveen,
Wiebe van der Hoek:
Revision by Communication.
LPNMR 1995: 189-202 |
| 21 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
A Default Logic Based on Epistemic States.
Fundam. Inform. 23(1): 33-65 (1995) |
| 20 | | Wiebe van der Hoek,
Maarten de Rijke:
Counting Objects.
J. Log. Comput. 5(3): 325-345 (1995) |
| 1994 |
|---|
| 19 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Tests as Epistemic Updates.
ECAI 1994: 331-335 |
| 18 | | Lluis 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 |
| 17 | | Cees Witteveen,
Wiebe van der Hoek,
Hans de Nivelle:
Revision of Non-Monotonic Theories.
JELIA 1994: 137-151 |
| 16 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Communicating Rational Agents.
KI 1994: 202-213 |
| 15 | | Wiebe van der Hoek,
Jan Jaspars,
Elias Thijsse:
Honesty in Partial Logic.
KR 1994: 583-594 |
| 14 | | Wiebe van der Hoek,
Bernd van Linder,
John-Jules Ch. Meyer:
A Logic of Capabilities.
LFCS 1994: 366-378 |
| 13 | | Wiebe van der Hoek,
John-Jules Ch. Meyer,
Jan Treur:
Formal Semantics of Temporal Epistemic Reflection.
META 1994: 332-352 |
| 1993 |
|---|
| 12 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
A Default Logic Based on Epistemic States.
ECSQARU 1993: 265-273 |
| 11 | | Cees Witteveen,
Wiebe van der Hoek:
Belief Revision by Expansion.
ECSQARU 1993: 380-387 |
| 10 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
Counterfactual Reasoning by (means of) Defaults.
Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993) |
| 9 | | Wiebe van der Hoek:
Sytems for Knowledge and Belief.
J. Log. Comput. 3(2): 173-195 (1993) |
| 1992 |
|---|
| 8 | | Wiebe van der Hoek,
John-Jules Ch. Meyer:
Graded Modalities in Epistemic Logic.
LFCS 1992: 503-514 |
| 7 | | 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 |
| 6 | | 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) |
| 5 | | Wiebe van der Hoek:
On the Semantics of Graded Modalities.
Journal of Applied Non-Classical Logics 2(1): (1992) |
| 1991 |
|---|
| 4 | | Wiebe van der Hoek:
Some Considerations on the Logic PfD.
RCLP 1991: 474-485 |
| 3 | | Wiebe van der Hoek:
Qualitative Modalities.
SCAI 1991: 322-327 |
| 1990 |
|---|
| 2 | | Wiebe van der Hoek:
Systems for Knowledge and Beliefs.
JELIA 1990: 267-281 |
| 1 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
Non-Monotonic Reasoning by Monotonic Means.
JELIA 1990: 399-411 |
