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, November 25). Agent Programming in Dribble: from beliefs to goals with plans (poster presentation). Dagstuhl, Germany, Seminar "Programming Multi-Agent Systems Based on Logic".
|
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).
|
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, 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.
|
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).
|
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. Marik, O. Stepankova & R. Trappl (Eds.), Multi-Agent Systems and Applications (pp. 50-73). Springer-Verlag.
|
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.
|
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-CS 1999-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-CS 1999-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-CS 1999-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-CS 1999-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-CS 1998-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-CS 1998-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-CS 1997-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-CS 1997-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-CS 1997-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-CS 1997-14. Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Witteveen, C. & Hoek, W. van der (1997). Recovery of nonmonotonic theories. UU-CS 1997-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-CS 1996-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-CS 1996-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-CS 1995-18. Utrecht: Utrecht University.
|
Meyer, J-J.Ch. & Hoek, W. van der (1995). Modal Logics for Representing Incoherent Knowledge. UU-CS 1995-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-CS 1995-08. Utrecht: Utrecht University.
|
Witteveen, C. & Hoek, W. van der (1995). Semantic Based Theory Revision in Nonmonotonic Logic. UU-CS 1995-39. Utrecht: Utrecht University.
|
Meyer, J-J.Ch. & Hoek, W. van der (1994). A Modal Contrastive Logic: The Logic of `But`. UU-CS 1994-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-CS 1994-53. Utrecht.
|
Witteveen, C. & Hoek, W. van der (1994). Revision by Communication: Program by Consulting Weaker Semantics. UU-CS 1994-56. Utrecht.
|
Hoek, W. van der & Meyer, J-J.Ch. (1994). Temporalizing Epistemic Default Logic. UU-CS 1994-54. Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). Tests as epistemic updates - pursuit of knowledge. UU-CS 1994-08. Utrecht.
|
Linder, B. van, Hoek, W. van der & Meyer, J-J.Ch. (1994). The dynamics of default reasoning. UU-CS 1994-48. Utrecht.
|
Meyer, J-J.Ch. & Hoek, W. van der (1993). Graded Modal and Epistemic Logic. RUU-CS 93-44. Utrecht.
|
Hoek, W. van der & Thijsse, E. (1993). Honesty in Partial Logic. RUU-CS 93-32. Utrecht.
|
Hoek, W. van der, Linder, B. van & Meyer, J-J.Ch. (1993). Unravelling nondeterminism: On having the ability to choose. RUU-CS 93-30. Utrecht.
|
webmaster@cs.uu.nl,
Tue, 22 May 2012 11:43:47 +0200
←
Departement Informatica, Universiteit Utrecht