Wijngaard, C.C. van den, Asten, L. van, Koopmans, M.P., Pelt, W. van, Nagelkerke, N.J., Wielders, C.C., Lier, A. van, Hoek, W. van der, Meijer, A, Donker, G.A., Dijkstra, F., Harmsen, C., Sande, M.A. van der & Kretzschmar, M.E.E. (2012). Comparing pandemic to seasonal influenza mortality: Moderate impact overall but high mortality in young children. PLoS ONE [E], 7(2), e31197.
|
Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2012). GOAL Agents Instantiate Intention Logic. In A. Artikis, R. Craven, N.K. Cicekli, B. Sadighi & K. Stathis (Eds.), Logic Programs, Norms and Action (Sergot Festschrift) Vol. 7360. Lecture Notes in Artificial Intelligence (pp. 196-219). Heidelberg: Springer.
|
Asten, L. van, Wijngaard, C. van den, Pelt, W. van, Kassteele, L. van de, Meijer, A, Hoek, W. van der, Kretzschmar, M. & Koopmans, M. (2012). Mortality attributable to 9 common infections: significant effect of influenza A, respiratory syncytial virus, influenza B, norovirus, and parainfluenza in elderly persons. Journal of Infectious Diseases, 206(5), 628-639.
|
Wielders, C.C., Lier, E.A. van, Klooster, T.M. van 'T, Gageldonk-Lafeber, A.B. van, Wijngaard, C.C. van den, Haagsma, J.A., Donker, G.A., Meijer, A, Hoek, W. van der, Lugner, A.K., Kretzschmar, M.E.E. & Sande, M.A. van der (2012). The burden of 2009 pandemic influenza A(H1N1) in the Netherlands. European Journal of Public Health, 22(1), 150-157.
|
Vries, W. de, Meyer, J-J.Ch., Boer, F.S. de & Hoek, W. van der (2009). A Coordination Language For Agents Interacting In Distributed Plan--Execute Cycles. In Int. J. Reasoning-Based Intelligent Systems Vol. 1. International Journal Reasoning-Based Intelligent Systems (pp. 4-17).
|
Sande, M.A. van der, Hoek, W. van der, Hooiveld, M., Donker, G.A., Steenbergen, J.E. van, Boven, M. van & Wallinga, J. (2009). [Combating the new influenza A (H1N1) virus. II. Surveillance and non-pharmaceutical interventions]. Nederlands Tijdschrift voor Geneeskunde, 153, A771.
|
Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2007). Agent Programming with Declarative Goals. Journal of Applied Logic, 5, 277-302.
|
Leeuwen, J. van, Italiano, G.F., Hoek, W. van der, Meinel, Chr., Sack, H., Plasil, F. & Bielikova, M. (Eds.). (2007). SOFSEM 2007: Theory and Practice of Computer Science (2). Prague: Institute of Computer Science, Academy of Sciences of the Czech Republic.
|
Leeuwen, J. van, Italiano, G.F., Hoek, W. van der, Meinel, Chr., Sack, H. & Plasil, F. (Eds.). (2007). Lecture Notes in Computer Science, 4362.
|
Hustadt, U., Dixon, C., Schmidt, R.A., Fischer, M., Meyer, J-J.Ch. & Hoek, W. van der (2006). Verification within the KARO Agent Theory. In C. Rouff, M. Hinchey, J. Rash, W. Truszkowski & D. Gordon-Spears (Eds.), Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering Series) (pp. 193-225). Berlin: Springer.
|
Boer, F.S. de, Vries, W. de, Meyer, J-J.Ch., Eijk, R.M. van & Hoek, W. van der (2005). Process Algebra and Constraint Programming for Modelling Interactions in MAS. Applicable algebra in engineering, communication and computing, 16, 113-150.
|
Aldewereld, H.M., Hoek, W. van der & Meyer, J-J.Ch. (2004). Rational Teams: Logical Aspects of Multi-Agent Systems. Fundamenta Informaticae, 63(2,3), 159-183.
|
Boer, F.S. de, Eijk, R.M. van, Hoek, W. van der & Meyer, J-J.Ch. (2003). A Fully Abstract Model for the Exchange of Information in Multi-Agent Systems. Theoretical Computer Science, 290(3), 1753-1773.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2003). A Verification Framework for Agent Communication. Autonomous agents and multi-agent systems, 6(2), 185-219.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2003). A modal characterization of Nash Equilibrium. Fundamenta Informaticae, 57(2-4), 281-321.
|
Riemsdijk, M.B. van, Hoek, W. van der & Meyer, J-J.Ch. (2003). Agent programming in {Dribble}: from beliefs to goals with plans. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03) (pp. 393-400). Melbourne.
|
Hoek, W. van der, Meyer, J-J.Ch. & Treur, J. (2003). Formal Semantics of Meta-Level Architectures: Temporal Epistemic. International journal of intelligent systems, 18, 1293-1318.
|
Roorda, J.-W., Hoek, W. van der & Meyer, J-J.Ch. (2003). Iterated Belief Change in Multi-Agent Systems. Logic journal of the IGPL, 11(2), 223-246.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2003). Process Algebra for Agent Communication: A General Semantic Approach. In M.P. Huget (Ed.), Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies. Berlijn: Springer-Verlag.
|
Aldewereld, H.M., Hoek, W. van der & Meyer, J-J.Ch. (2003). Rational Teams: Logical Aspects of Multi-Agent Systems. In B. Dunin-Keplicz & R. Verbrugge (Eds.), FAMAS'03 - Formal Approaches to Multi-Agent Systems. Warsaw, Poland: Warsaw University.
|
Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2002). A Programming Language for Coordinating Group Actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), From Theory to Practice in Multi-Agent (pp. 313-321). Berlin, Germany: Springer-Verlag.
|
Meyer, J-J.Ch. & Hoek, W. van der (2002, October 28). Agent Programming in Dribble: from beliefs to goals with plans (poster presentation). Greenbelt, Maryland, USA, 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS II).
|
Meyer, J-J.Ch. & Hoek, W. van der (2002, November 25). Agent Programming in Dribble: from beliefs to goals with plans (poster presentation). Dagstuhl, Germany, Seminar "Programming Multi-Agent Systems Based on Logic".
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (2002). Formalising Abilities and Opportunities of Agents. In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 253-307). Dordrecht/Boston/London: Kluwer.
|
Dastani, M.M., Boer, F.S. de, Dignum, F.P.M., Hoek, W. van der, Kroese, M. & Meyer, J-J.Ch. (2002). Implementing cognitive agents in 3APL. In H. Blockeel & M. Denecker (Eds.), Proceedings of the 14th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC'02) (pp. 515-516). Leuven, Belgium.
|
Meyer, J-J.Ch., Roorda, J.-W. & Hoek, W. van der (2002, July 15). Iterated Belief Change in Multi-Agent Systems. Bologna, AAMAS'02.
|
Meyer, J-J.Ch., Roorda, J.-W. & Hoek, W. van der (2002, January 21). Iterated Belief Change in Multi-Agents Systems. Dagstuhl, Germany, Seminar on "The Logic of Rational Agency".
|
Roorda, J.-W., Hoek, W. van der & Meyer, J-J.Ch. (2002). Iterated Belief Change in multiple Agent Systems. In C. Castelfranchi & W.L. Johnson (Eds.), Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS2002) (pp. 889-896). ACM Press.
|
Meyer, J-J.Ch., Hoek, W. van der & Linder, B. van (2002). Motivational Attitudes in the KARO Framework. In J-J.CH. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 341-356). Dordrecht/Boston/London: Kluwer.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2002). On Modal Logic Interpretations of Games. In F. van Harmelen (Ed.), Proceedings of ECAI 2002, 15th European Conference on Artificial Intelligence (pp. 28-32). Amsterdam, Berlin, Oxford, Tokyo, Washington D.C.: IOS Press/OHM Ohmsha.
|
Dastani, M.M., Boer, F.S. de, Dignum, F.P.M., Hoek, W. van der, Kroese, M. & Meyer, J-J.Ch. (2002). Programming the Deliberation Cycle of Cognitive Robots. In C. Baral & S. McIlraith (Eds.), Proceedings of The Third International Cognitive Robotics Workshop (pp. 22-28). Edmonton, Canada: AAAI Press.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (2002). Seeing is Believing (And So Are Hearing and Jumping). In J-J.Ch. Meyer & J. Treur (Eds.), Agent-Based Defeasible Control in Dynamic Environments, Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 309-339). Dordrecht/Boston/London: Kluwer.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). A Programming Logic for part of the Agent Language 3APL. In J.L. Rash & e.a. (Eds.), Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems (pp. 78-89). Berlin, Germany: Springer-Verlag.
|
Vries, W. de, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). A Truly Concurrent Model for Interacting Agents. In S.T. Yuan & M. Yokoo (Eds.), Intelligent Agents: Specification, Modeling and Applications, proceedings of the 4th Pacific Rim International Workshop on Multi-Agents (PRIMA'2001) (pp. 16-30). Berlin, Germany: Springer.
|
Vries, W. de, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). A Truly Concurrent Model for Interacting Agents. In S.T. Yuan & M. Yokoo (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 297-304).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001, December 13). A Verification Framework for Agent Communication. St. Catherine's College, Oxford, UK, UKMAS 2001, The Fourth UK Workshop on Multi-Agent Systems.
|
Vries, W. de, Hindriks, K.V., Hoek, W. van der, Meyer, J-J.Ch. & Boer, F.S. de (2001). A programming language for coordinating group actions. In B. Krose, M. de Rijke, G. Schreiber & M. van Someren (Eds.), Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (pp. 267-274).
|
Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2001). A programming language for coordinating group actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 297-304). Krakow, Poland.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). Agent programming with declarative goals. In C. Castel Franchi & Y. Lesperance (Eds.), Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL) (pp. 228-243). Berlin, Germany: Springer-Verlag.
|
Vries, W. de, Hoek, W. van der, Meyer, J-J.Ch. & Boer, F.S. de (2001). An Operational Real-Time Model for Interacting Agents. In Y. Demazeau & F. Garijo (Eds.), Preproceedings of the tenth European Workshop on Modelling Autonomouos Agents in a multi-Agent World (MAAMAW'01).
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2001). Boolean Games. In J. van Benthem (Ed.), Theoretical Aspects of Rationality and Knowledge: Proceedings of the Eighth Conference (TARK 2001) (pp. 287-298). San Fransisco, U.S.A.: Morgan Kaufmann.
|
Hoek, W. van der & Verbrugge, R. (2001). Epistemic Logic: Problems and Puzzles. BNVKI newsletter, 18(1), 5-8.
|
Hoek, W. van der, Meyer, J-J.Ch. & Treur, J. (2001). Formal Semantics of Temporal Reflection. In D.M. Gabbay & Ph. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty (pp. 41-63). Dordrecht, The Netherlands: Kluwer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). Generalised Object-Oriented Concepts for Inter-Agent Communication. In C. Castelfranchi & Y. Lespérance (Eds.), Intelligent Agents VII (pp. 260-274). Berlin: Springer-Verlag.
|
Witteveen, C. & Hoek, W. van der (2001). How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon, P. Blackburn, N. Braisby & A. Shimojima (Eds.), : Logic, Language and Computation (pp. 319-340). Stanford, USA: CSLI Publications.
|
Hoek, W. van der (2001). Logical Foundations of Agent-Based Computing. In M. Luck, V. Maurik, O. Stepankovaa & R. Trappl (Eds.), Multi-Agent Systems and Applications (pp. 50-73). Berlijn: Springer.
|
Hoek, W. van der (2001). Logical Foundations of Agent-Based Computing. In M. Luck, V. Marik, O. Stepankova & R. Trappl (Eds.), Multi-Agent Systems and Applications (pp. 50-73). Springer-Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). Modal Logic with Bounded Quantification over Worlds. Journal of logic and computation, 11(5), 701-715.
|
Agray, N., Hoek, W. van der & Vink, E. (2001). On BAN Logics for Industrial Security Protocols. In B. Dunin-Keplicz & E. Nawarecki (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 15-22). Krakow, Poland: Computer Science, University of Mining and Metallurgy.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). On Dynamically Generated Ontology Translators in Agent Communication. International journal of intelligent systems, 16(5), 587-607.
|
Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer, J-J.Ch. & Hoek, W. van der (2001). Reasoning about Agents in the KARO Framework. In C. Bettini & A. Montanari (Eds.), Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01) (pp. 206-213). Los Alamitos, U.S.A.: IEEE Press.
|
Hoek, W. van der (2001). Report on Session 2B: Search and Reasoning. BNVKI newsletter, 140-141.
|
Groen, F., Hoek, W. van der, Jonker, P., Kröse, B., Spoelder, H. & Stramigioli, S. (2001). RoboCup European Championship: Report of the Amsterdam 2000 Event. Robotics and Autonomous Systems, 36, 59-66.
|
Bonanno, G. & Hoek, W. van der (Eds.). (2001). Bulletin of Economic Research, 54.
|
Bonanno, G. & Hoek, W. van der (Eds.). (2001). Bulletin of Economic Research, 53.
|
Adorni, G. & Hoek, W. van der (Eds.). (2001). Robotics and Autonomous Systems, 36.
|
Hoek, W. van der, Meyer, J-J.Ch. & Treur, J. (2001). Temporalized Epistemic Default Logic. In D.M. Gabbay & Ph. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 177-194). Dordrecht, The Netherlands: Kluwer.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (2001). The Dynamics of Default Reasoning. In D.M. Gabbay & Ph. Smets (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems (pp. 125-157). Dordrecht, The Netherlands: Kluwer.
|
Hoek, W. van der (2001). The battle of the agents. Vakidioot, 32-36.
|
Hustadt, U., Dixon, C., Schmidt, R.A., Fischer, M., Meyer, J-J.Ch. & Hoek, W. van der (2001). Verification within the KARO Agent Theory. In J.L. Rash, C.A. Rouff, W. Truszkowski, D. Gordon & M.G. Hinchey (Eds.), Proceedings First Goddard Workshop on: Formal Approaches to Agent-Based Systems (FAABS 2000) (pp. 33-47). Berlin/Heidelberg, Germany: Springer.
|
Hoek, W. van der, Jaspars, J. & Thijsse, E. (2000). A General Approach to Multi-Agent Minimal Knowledge. In M. Ojeda-Arciego, I.P. Guzman, G. Brewka & L.M. Pereira (Eds.), Proceedings of the 7th European Workshop on Logics in Artificial Inteligence (JELIA 2000) (pp. 254-268). Berlijn: Springer Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). A Modal Logic for Network Topologies. In M. Ojeda-Aciego, I.P. de Guzman, G. Brewka & L.M. Pereira (Eds.), Proceedings of the Seventh European Workshop on Logics in Artificial Inteligence (JELIA 2000) (pp. 269-283). Berlin: Springer-Verlag.
|
Hoek, W. van der (2000, July 1). A general Perspective on Only Knowing. Turijn, Italie, Logic and the Foundations of Game and Decision Theory (LOFT).
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2000). A modal Interpretation of Nash-Equilibria and Some Related Concepts. In G. Bonanno, E. Colombatto & W. van der Hoek (Eds.), Proceedings of the Fourth Conference on Logic and the Foundations of Game and Decision Theory (LOFT4) (pp. 1-21). Torino.
|
Hoek, W. van der & Witteveen, C. (2000). Classical and General Frameworks for Recovery. In W. Horn (Ed.), 14th European Conference on Artificial Intelligence (ECAI) (pp. 33-37). Amsterdam: IOS Press.
|
Hoek, W. van der (2000, June 21). Epistemic Logic and Only Knowing. Groningen, Colloquium serie.
|
Boer, F.S. de, Eijk, R.M. van, Hoek, W. van der & Meyer, J-J.Ch. (2000). Failure Semantics for the Exchange of Information in Multi-Agent Systems. In C. Palamidessi (Ed.), Proceedings of the Eleventh International Conference on Concurrency Theory (CONCUR 2000) (pp. 214-228). Heidelberg, Germany: Springer-Verlag.
|
Hoek, W. van der, Meyer, J-J.Ch. & Schagen, J.W. van (2000). Formalizing Potential of Agents: The KARO Framework Revisited. In M. Kaufmann Faller & M. Pauly (Eds.), Formalising the Dynamics of Information (CSLI Lecture, 91) (pp. 51-67). Stanford: CSLI Publications.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000, September 19). GOAL: Goal Oriented Agent Language (invited talk). Londen, Practical Reasoning Workshop, satellite evente at FAPR2000.
|
Hoek, W. van der (2000, November 14). Intelligent Agents. Mexico-stad, Conference on Information.
|
Hoek, W. van der (2000, August 14). Logical Foundations of Agent Systems. Saarbrucken, Duitsland, European Agents Systems Summer School (EASSS 2000).
|
Hoek, W. van der, Meyer, J-J.Ch. & Linder, B. van (2000). On Agents that Have the Ability to Choose. Studia logica, 66(1), 79-119.
|
Hoek, W. van der (2000, December 11). On Knowing More or Less. Uppsala, Zweden, Colloquium-serie.
|
Meyer, J-J.Ch., Boer, F.S. de, Eijk, R.M. van, Hindriks, K.V. & Hoek, W. van der (2000). On Programming KARO Agents. In J. Cunningham & D. Gabbay (Eds.), Proc. Int. Conf. on Formal and Applied Practical Reasoning (FAPR2000). London: Imperial College.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). Open Multi-Agent Systems: Agent Communication and Integration. In N.R. Jennings & Y. Lespérance (Eds.), Intelligent Agents VI, Proceedings of 6th International Workshop on Agent Theories, Architectures and Languages (ATAL '99) (pp. 218-232). Heidelberg: Springer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). Operational Semantics for Agent Communication Languages. In F. Dignum & M. Greaves (Eds.), Issues in Agent Communication (LNCS, 1916) (pp. 80-95). Berlin, Germany: Springer-Verlag.
|
Hoek, W. van der, Jaspars, J. & Thijsse, E. (2000). Persistence and Minimality in Epistemic Logic. Annals of Mathematics and Artificial Intelligence, 27, 25-47.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). Semantics of Communicating Agents Based on Deduction and Abduction. In F. Dignum & M. Greaves (Eds.), Issues in Agent Communication (pp. 63-79). Berlin: Springer Verlag.
|
Dixon, C., Fisher, M., Hustadt, U., Meyer, J-J.Ch., Schmidt, R. & Hoek, W. van der (2000). Verification within the KARO Agent Theory. In W..v.d. Hoek & J.-J..Ch. Meyer (Eds.), Proc. FAPR2000/AgentLink Workshop "Practical Reasoning Agents". London: Imperial College.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). A Modal Interpretation of Quantification. In Proceedings of Workshop on Methods of Modalities. Amsterdam: ILLC.
|
Hoek, W. van der & Meyer, J-J.Ch. (1999). A Postscript to Completeness Proof for Johan. In J. Gerbrandy, M. Marx, M. de Rijke & Y. Venema (Eds.), JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam: Amsterdam University Press.
|
Meyer, J-J.Ch., Hoek, W. van der & Linder, B. van (1999). A logical Approach to the Dynamics of Commitments,. AI Journal, 113, 1-40.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Agent Programming in 3APL. In Int. J. of Autonomous Agents and Multi-Agent Systems 2(4) (pp. 357-401).
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1999). An Integrated Modal Approach to Rational Agents. In G. Weiss & W. van der Hoek (Eds.), Proceedings of the First European Agent Systems Summer School (EASSS'99). Utrecht: Utrecht University/ AgentLink.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). An operational semantics for the single agent core of AGENT0. (UU-CS1999-30 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Hoek, W. van der (1999). Bookreview of G. Antoniou's book 'Nonmonotonic Reasoning' [Book review Nonmonotonic Reasoning]. Journal of logic, language and information, 9, 225-228.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Control Structures of Rule-Based Agent Languages. In J.P. Müller, M.P. Singh & A.S. Rao (Eds.), Intelligent Agents V (Agent Theories, Architectures and Languages) (pp. 381-396). Berlin: Springer.
|
Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (1999). Foundations and Applications of Collective Agent-Based Systems (CABS). Utrecht: Utrecht University.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1999). Group Knowledge Isn't Always Distributed (Neither Is It Always Implicit). Mathematical Social Sciences, 38, 215-240.
|
Weerdt, M. de, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Imprecise observations of mobile robots specified by a mobile robot. In M. Boasson, J.A. Kaandorp, J.F.M. Tonino & M.G. Vosselman (Eds.), Proceedings of the fifth annual conference of the Advanced School for Computing and Imagaing (ASCI'99) (pp. 184-190).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Information-Passing and Belief Revision in Multi-Agent Systems. In J.P.M. Muller, M.P. Singh & A.S. Rao (Eds.), Intelligent Agents V - Proceedings of the 5th International Workshop on Agent Theories (pp. 29-45). Berlin: Springer Verlag.
|
Hoek, W. van der & Rijke, M. de (1999). Interleaved Contractions. In L.S. Moss, J. Ginzburg & M. de Rijke (Eds.), Language and Computation (pp. 106-127). Stanford: CSLI Publications.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Open Multi-Agent Systems: Agent Communication and Integration. In E. Postma & M. Gyssens (Eds.), Proceedings of the 11th Belgium-Netherlands Artificial Intelligence Conference (pp. 239-240). Maastricht.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Open multi-agent systems: Agent communication and integration. (UU-CS1999-17 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In W. van der Hoek, J-J.C. Meyer & C. Witteveen (Eds.), Proceedings of ESSLLI'99 Workshop on Foundations and Applications of Collective Agent Based Systems (CABS).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In F. Dignum & B. Chaib-Draq (Eds.), Proceedings of Workshop on Agent Communication Languages (pp. 105-118).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In Proceedings of Second Workshop of UK Special Interest group on Multi-Agent Systems (UKMAS'99). Bristol: Hewlett-Packard Laboratories.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational semantics for agent communication languages. (UU-CS1999-08 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Witteveen, C. & Hoek, W. van der (1999). Recovering from inconsistency: a general framework for theory recovery. In WAIT '1999 proceedings of the Argentinian Workshop on Theoretical Computer Science (pp. 37-50).
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Semantics of communicating agents based on deduction and abduction. (UU-CS1999-09 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (1999). Subgame Perfect Nash-Equilibria in Dynamic Logic. In M. Pauly & A. Baltag (Eds.), Proceedings of the ILLC Workshop on Logic and Games, Held in Amsterdam November 19-20, 1999 (pp. 29-30). Amsterdan: ILLC.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A formal embedding of AgentSpeak(L) in 3APL. (UU-CS1998-07 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A formal embedding of agenspeak(l) in 3apl. In G. Antoniou & J. Slaney (Eds.), Advanced Topics in Artificial Intelligence (pp. 155-166). Berlin, Germany: Springer-Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A language for modular information-passing agents. CWI Quarterly, 11(2, 3), 273-297.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1998). An Integrated Modal Approach to Rational Agents. In M. Wooldridge & A. Rao (Eds.), Foundations of Rational Agency (pp. 133-168). Dordrecht: Kluwer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Constructing translations between individual vocabularies in multi-agent systems. In H. La Poutre & J. van den Herik (Eds.), Proceedings of the 10th Netherlands/Belgium Conference on Artificial Intelligence (pp. 307). Amsterdam, the Netherlands: CWI.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Construction translations between individual vocabularies in multi-agent systems. In F. Giunchiglia (Ed.), Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA'98) (pp. 240-253). Heidelberg, Germany: Springer-Verlag.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Failure, monitoring and recovery in the agent language 3APL. In G. De Giacomo (Ed.), AAAI 1998 Fall Symposium on Cognitive Robotics (pp. 68-75).
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formal semantics for an abstract agent programming language. In M.P. Singh, A. Rao & M.J. Wooldridge (Eds.), Intelligent Agents IV (pp. 216-229). Berlin, Germany: Springer-Verlag.
|
Hindriks, K.V., Boer, F.S. de & Hoek, W. van der (1998). Formal semantics of the core of agent-0. In J. Bell (Ed.), ECAI'98 Workshop on Practical Reasoning and Rationality (pp. 20-29).
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formalising abilities and opportunities of agents. (UU-CS1998-08 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34(1,2), 53-101.
|
Meyer, J-J.Ch. & Hoek, W. van der (1998). Modal logics for representing incoherent knowledge. In Ph. Besnard & A. Hunter (Eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems 2: Reasoning with Actual and Potential Contradiction (pp. 37-75). Dordrecht, the Netherlands: Kluwer.
|
Hoek, W. van der, Jaspars, J. & Thijsse, E. (1998). Persistence and minimality in epistemic logic. In J. Dix, L. Farinas del Cerro & U. Furbach (Eds.), Logics in Artificial Intelligence (JELIA'98) (pp. 62-76). Dagstuhl, Germany: Springer-Verlag.
|
Witteveen, C. & Hoek, W. van der (1998). Recovery of (non)monotonic theories. Artificial intelligence, 106(1), 139-159.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Systems of communicating agents. In H. Prade (Ed.), Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98) (pp. 293-297). John Wiley & Sons.
|
Hoek, W. van der, Meyer, J-J.Ch. & Treur, J. (1998). Temporalizing epistemic default logic. Journal of logic, language and information, 7(3), 341-367.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Translation of vocabularies in systems of communicating agents. In Workshop of UK Special Interest Group on Multi-Agent Systems (UKMAS'98) Working Notes. Manchester, England: Manchester Conference Centre.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Translations of vocabularies in systems of communicating agents. In Second workshop on current constraint programming for time critical applications and multi-agents systems (COTIC'98).
|
Witteveen, C. & Hoek, W. van der (1997). A General Framework for revising non-monotonic Databases. In J. Dix & e.a. (Eds.), Logic Programming and Non-Monotonic Reasoning (pp. 258-272). Berlin: Springer Verlag.
|
Hoek, W. van der & Meyer, J-J.Ch. (1997). A complete Epistemic Logic for Multiple Agents Combining Distributed and Common Knowledge. In M.O.L. Bacharach, L.A. Gerard-Varet, P. Mongin & H.S. Shin (Eds.), Epistemic Logic and the Theory of Games and Decisions (pp. 35-68). Dordrecht, the Netherlands: Kluwer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. (UU-CS1997-16 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. In W. van der Hoek, Y. Lesperance & R. Scherl (Eds.), Proceedings of the ESSLLI '97 Symposium on Logical Approaches to Agent Modelling and Design (pp. 46-56). Aix-en-provence, France.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. In M. Luck, M. Fisher, M. d'Inverno, N. Jennings & M. Wooldridge (Eds.), The Second UK Workshop on Foundations of Multi-Agent Systems (FoMAS'97) Working Notes (pp. 33-43). Warwick: University of Warwick.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1997). An integrated modal approach to rational agents. (UU-CS1997-06 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). Formal Semantics for an Abstract Agent Programming Language. In Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL).
|
Linder, B. van, Meyer, J-J.Ch. & Hoek, W. van der (1997). Formalizing motivational attitudes of agents using the KARO framework. (UU-CS1997-03 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1997). Group knowledge isn't always distributed (neither is it always implicit). (UU-CS1997-14 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Witteveen, C. & Hoek, W. van der (1997). Recovery of nonmonotonic theories. (UU-CS1997-34 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Witteveen, C. & Hoek, W. van der (1997). Reducing Updating to Recovery in Nonmonotonic Databases. In K. Marcke & W. Daelemans (Eds.), Proceedings of the Ninth Dutch Conference on Artificial Intelligence (NAIC '97) (pp. 445-454). Antwerp: University of Antwerp.
|
Hoek, W. van der & Rijke, M. de (1997). Sahlqvist. In M. Hazewinkel (Ed.), Encyclopaedia of Mathematics Supplement Volume I (pp. 445). Kluwer Acad. Publ..
|
Hoek, W. van der & Rijke, M. de (1997). Sahlqvist Theorem. In M. Hazewinkel (Ed.), Encyclopaedia of Mathematics Supplement Volume I (pp. 445). Kluwer Acad. Publ..
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1997). Seeing is Believing (And So Are Hearing and Jumping). Journal of logic, language and information, 6(2), 33-61.
|
Hoek, W. van der (1997). Some Considerations on the Logic. Journal of Applied Non-Classical Logic, 7(3), 287-307.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1997). The dynamics of Default Reason. Data and Knowledge Engineering, 21(3), 317-346.
|
Hoek, W. van der & Meyer, J-J.Ch. (1996). A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge. (UU-CS1996-52 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Meyer, J-J.Ch. & Hoek, W. van der (1996). A modal contrastive logic: The logic of 'but'. Annals of Mathematics and Artificial Intelligence, 17(3,4), 291-313.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1996). Formalising motivational attitudes of agents: On preferences, goals and commitments. In M. Wooldridge, J. Mueller & M. Tambe (Eds.), Intelligent Agents Volume II - Agent Theories, Architectures, and languages (ATAL '96) (pp. 17-32). Berlin, Germany: Springer.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1996). Group knowledge isn't always distributed. In J-J.Ch. Meyer & L.C. van der Gaag (Eds.), Proceedings of the eight Dutch Conference on Artificial Intelligence (NAIC 96) (pp. 205-212). Utrecht: Utrecht University.
|
Hoek, W. van der, Jaspars, J. & Thijsse, E. (1996). Honesty in partial modal logic. Studia logica, 56(3), 323-360.
|
Hoek, W. van der (1996). Interleaved contractions. (UU-CS1996-16 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Hoek, W. van der & Meyer, J-J.Ch. (1996). Modalities for Reasoning about Knowledge and Uncertainties. In P. Doherty (Ed.), Partiality, Modality and Nonmonotonicity (pp. 77-110). Californie, U.S.A.: CSLI, Stanford.
|
Wondergem, B.C.M., Hoek, W. van der, Huibers, W.H.C. & Witteveen, C. (1996). Preferential semantics for query by navigation. Informatiewetenschap, 153-168.
|
Hoek, W. van der (1996). Qualitative modalities. International journal of uncertainty, fuzziness & knowledge-based systems, 4(1), 45-61.
|
Witteveen, C. & Hoek, W. van der (1996). Revision and updating using a back-up semantics. In J.J. Meyer & L. van der Gaag (Eds.), Proceedings of the Eight Dutch Conference on Artificial Intelligence (NAIC'96) (pp. 393-404). Utrecht, the Netherlands: Utrecht University.
|
Witteveen, C. & Hoek, W. van der (1996). Revision and updating using a back-up semantics. Logics in Al : European workshop JELIA, 388-403.
|
Witteveen, C. & Hoek, W. van der (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In P.S.H.R. Dyckhoff & H. Herre (Eds.), Extensions of Logig Programming (pp. 303-318). Springer Verlag.
|
Witteveen, C. & Hoek, W. van der (1996). Updating nonmonotonic databases. In M. Vardi (Ed.), Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems (pp. 147-154). Los Alamitos, CA: IEEE Computer Society Press.
|
Meyer, J-J.Ch. & Hoek, W. van der (1995). A Modal Contrastive Logic: The Logic of `But' (revised version of UU-CS-1994-07). (UU-CS1995-18 ). Utrecht: Utrecht University.
|
Meyer, J-J.Ch. & Hoek, W. van der (1995). Modal Logics for Representing Incoherent Knowledge. (UU-CS1995-19 ). Utrecht: Utrecht University.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1995). Seeing is believing - And so are hearing and jumping. (UU-CS1995-08 ). Utrecht: Utrecht University.
|
Witteveen, C. & Hoek, W. van der (1995). Semantic Based Theory Revision in Nonmonotonic Logic. (UU-CS1995-39 ). Utrecht: Utrecht University.
|
Meyer, J-J.Ch. & Hoek, W. van der (1994). A Modal Contrastive Logic: The Logic of `But`. (UU-CS1994-07 ). Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting. (UU-CS1994-53 ). Utrecht.
|
Witteveen, C. & Hoek, W. van der (1994). Revision by Communication: Program by Consulting Weaker Semantics. (UU-CS1994-56 ). Utrecht.
|
Hoek, W. van der & Meyer, J-J.Ch. (1994). Temporalizing Epistemic Default Logic. (UU-CS1994-54 ). Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). Tests as epistemic updates - pursuit of knowledge. (UU-CS1994-08 ). Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). The dynamics of default reasoning. (UU-CS1994-48 ). Utrecht.
|
Meyer, J-J.Ch. & Hoek, W. van der (1993). Graded Modal and Epistemic Logic. (RUU-CS93-44 ). Utrecht.
|
Hoek, W. van der & Thijsse, E. (1993). Honesty in Partial Logic. (RUU-CS93-32 ). Utrecht.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1993). Unravelling nondeterminism: On having the ability to choose. (RUU-CS93-30 ). Utrecht.
|
webmaster@cs.uu.nl,
Wed, 22 May 2013 06:13:22 +0200
←
Departement Informatica, Universiteit Utrecht