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).
|
Astefanoaei, L., Dastani, M.M., Meyer, J-J.Ch. & Boer, F.S. de (2008). A Verification Framework for Normative Multi-Agent Systems. In T.D. Bui, T.V. Ho & Q.T. Ha (Eds.), Proc. PRIMA 2008 Vol. 5357. Lecture Notes in Artificial Intelligence (pp. 42-53). Berlin/Heidleberg, Duitsland: Springer.
|
Arbab, F., Astefanoaei, L., Boer, F.S. de, Dastani, M.M., Meyer, J-J.Ch. & Tinnemeier, N.A.M. (2008). Reo Connectors as Coordination Artifacts in 2APL Systems. In T.D. Bui, T.V. Ho & Q.T. Ha (Eds.), Proc. PRIMA 2008 Vol. 5357. Lecture Notes in Artificial Intelligence (pp. 42-53). Berlin/Heidleberg, Duitsland: Springer.
|
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.
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2006). Dynamic Logic for Plan Revision in Agent Programming. Journal of logic and computation, 16(3), 375-402.
|
Riemsdijk, M.B. van, Dastani, M.M., Meyer, J-J.Ch. & Boer, F.S. de (2006). Goal-Oriented Modularity in Agent Programming. In P. Stone & G. Weiss (Eds.), Proceedings of the fifth international joint conference on autonomous agents and multiagent systems (AAMAS'06) (pp. 1271-1278). Hakodate.
|
Riemsdijk, M.B. van, Boer, F.S. de, Dastani, M.M. & Meyer, J-J.Ch. (2006). Prototyping 3APL in the Maude Term Rewriting Language. In Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA'06).
|
Riemsdijk, M.B. van, Boer, F.S. de & Dastani, M.M. (2006). Prototyping 3APL in the Maude Term Rewriting Language, Extended Abstract. In P. Stone & G. Weiss (Eds.), Proc. Fifth Int. Joint Conf. On Autonomous Agents and Multiagent Systems (AAMAS'06) (pp. 1279-1281). ACM Press.
|
Riemsdijk, M.B. van, Boer, F.S. de, Dastani, M.M. & Meyer, J-J.Ch. (2006). Prototyping 3APL in the Maude Term Rewriting Language, Revised Selected and Invited Papers. In K. Inoue, K. Satoh & F. Toni (Eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop (LNAI, 4371) (pp. 95-114). Berlin: Springer.
|
Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2006). Semantics of Plan Revision in Intelligent Agents. Theoretical Computer Science, 351, 240-257.
|
Pierik, C. & Boer, F.S. de (2005). A Proof Outline Logic for Object-Oriented Programming. Theoretical Computer Science, 343, 413-442.
|
Pierik, C., Clarke, D. & Boer, F.S. de (2005). Controlling Object Allocation Using Creation Guards. In J. Fitzgerald, I.J. Hayes & A. Tarlecki (Eds.), FM 2005: Formal Methods (pp. 59-74). Berlin: Springer-Verlag.
|
Dastani, M.M., Arbab, F. & Boer, F.S. de (2005). Coordination and Composition in Multi-Agnet Systems. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05). Utrecht.
|
M. Dastani, M., Arbab, F. & Boer, F.S. de (2005). Coordination and Composition in Multi-Agnet Systems. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05). Utrecht.
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2005). Dynamic logic for plan revision in intelligent agents. (UU-CS2005-013 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2005). Dynamic logic for plan revision in intelligent agents. In Joao.A. Leite & Paolo Torroni (Eds.), Proceedings of the fifth international workshop on computational logic in multi-agent systems (CLIMA'04) (pp. 196-211). Berlin: Springer-Verlag.
|
Pierik, C. & Boer, F.S. de (2005). On Behavioral Subtyping and Completeness. In J. Vitek & F. Logozzo (Eds.), 7th Workshop on Formal techniques for Java-like Programs (FTfJP 2005).
|
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.
|
Boer, F.S. de, Pierik, C., Meyer, J-J.Ch. & Eijk, R.M. van (2004). Coordinating Agents in OO. In M. Ryan, J.-J.Ch. Meyer & H.-D. Ehrich (Eds.), Objects, Agents and Features (pp. 8-25). Berlin: Springer.
|
Pierik, C., Clarke, D.G. & Boer, F.S. de (2004). Creational Invariants. In Formal Techniques for Java-like Programs workshop (Proc. of FTfJP 2004).
|
Riemsdijk, M.B. van, Boer, F.S. de & Meyer, J-J.Ch. (2004). Dynamic Logic for Plan Revision in Intelligent Agents. In J. Leite & P. Torroni (Eds.), Pre-Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems). (pp. 196-211).
|
Boer, F.S. de & Pierik, C. (2004). How to Cook a Complete Hoare Logic for Your Pet OO Language. In Formal Methods for Components and Objects (Proc. of FMCO 2003) (pp. 111-133). Springer.
|
Pierik, C. & Boer, F.S. de (2004). Modularity and the Rule of Adaptation. In Algebraic Methodology and Software Technology (Proc. of AMAST 2004) (pp. 394-408). Springer.
|
Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2004). Semantics of Plan Revision in Intelligent Agents. In C. Rattray, S. Maharaj & C. Shankland (Eds.), Algebraic Methodology and Software Technology (Proc. AMAST 2004) (pp. 426-442). Berlin: Springer-Verlag.
|
Riemsdijk, M.B. van, Meyer, J-J.Ch. & Boer, F.S. de (2004). Semantics of Plan Revision in Intelligent Agents. (UU-CS2004-002 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
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.
|
Pierik, C. & Boer, F.S. de (2003). A Rule of Adaptation for OO. (UU-CS2003-032 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Pierik, C. & Boer, F.S. de (2003). A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. In Elie Najm, Uwe Nestmann & Perdita Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems (FMOODS) VI (pp. 64-78).
|
Pierik, C. & Boer, F.S. de (2003). A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. (UU-CS2003-010 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
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.
|
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.
|
Dastani, M.M., Boer, F.S. de, Dignum, F.P.M. & Meyer, J-J.Ch. (2003). Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language. In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS'03). Melbourne: ACM Press.
|
Boer, F.S. de & Pierik, C. (2003). Towards an environment for the verification of annotated object-oriented programs. (UU-CS2003-002 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
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.
|
Boer, F.S. de & Pierik, C. (2002). Computer-Aided Specification and Verification of Annotated Object-Oriented Programs. In B. Jacobs & A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems (pp. 163-177). Kluwer Academic Publishers.
|
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.
|
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.
|
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.
|
Boer, F.S. de, Gabbrielli, M. & Meo, M.C. (2001). A denotational Semantics for Timed Linda. Proceedings of the Third International Conference on Principles and Practice of Declarative Programming.
|
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.
|
Boer, F.S. de, Gabbrielli, M. & Meo, M.C. (2001). A temporal Logic for reasoning about Timed Concurrent Constraint Programs. Proceedings of the Eight International Symposium on Temporal Representation and Reasoning.
|
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).
|
Roever, W.P. de, Boer, F.S. de, Hooman, J., Lakhnech, Y., Poel, M. & Zwiers, J. (2001). Concurency Verification, Introduction to Compositional and Noncompositional Methods. Cambridge, England: Cambridge University Press.
|
Boer, F.S. de & Eijk, R.M. van (2001). Decidable Navigation Logics for Object Structures. In L. Fribourg (Ed.), Computer Science Logic, 15th International Workshop (CSL 2001) Vol. 2142. Lecture Notes in Computer Science (pp. 324-338). Berlin, Germany: Springer-Verlag.
|
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.
|
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.
|
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.
|
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.
|
Boer, F.S. de, Gabbrielli, M. & Meo, M.C. (2000). A Timed Linda Language. In Proceedings of the fourth International Conference on Coordination Models and Languages (COORDINATION) (pp. 1906). Berlin: Springer-Verlag.
|
Boer, F.S. de & Bonsangue, M.M. (2000). A compositional model for confluent dynamic data-flow networks. In Proceedings of the International Symposium of the Mathematical Foundations of Computer Science (MFCS). Berlin: Springer-Verlag.
|
Arbab, F., Boer, F.S. de & Bonsangue, M.M. (2000). A coordination language for mobile components. In Proceedings of the 2000 ACM Symposium on Applied Computing. New York: The Association for Computing Machinery.
|
Arbab, F., Boer, F.S. de & Bonsague, M.M. (2000). A logical interface description language for components. In Proceedings of the 4th International Conference on Coordination Models and Languages (COORDINATION). Berlin: Springer-Verlag.
|
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.
|
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.
|
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.
|
Boer, F.S. de & Abraham-Mumm, E. (2000). Proof-outlines for threads in Java. In Proceedings of the International Conference on Concurrency Theory. Berlin: Springer-Verlag.
|
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.
|
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.
|
Boer, F.S. de (1999). A WP-calculus for OO. In Proceedings of Foundations of Software Science and Computation Structures. Berlin: Springer - Verlag.
|
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).
|
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.
|
Boer, F.S. de (1999). Compositional proof methods for concurrency: A semantic approach. In W.P. de Roever, H. Langmaack & A. Pnueli (Eds.), Compositionality: The Significant Difference. Berlijn: Springer - Verlag.
|
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.
|
Boer, F.S. de, Hannemann, U. & Roever, W.P. de (1999). Formal justification of the rely guarantee paradigm for shared-variable concurrency: A semantic approach. In Proceedings od the FM'99 World Congress On Formal methods in The Development Of Computing Systems. Berlin: Springer - Verlag.
|
Boer, F.S. de & Zavattaro, G. (1999). Generic process algebras for asynchronius communication. In Proceedings of the 9th International Conference on Concurrency Theory. Berlin: Springer - Verlag.
|
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.
|
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.
|
Boer, F.S. de (1999). Reasoning about histories in object-based distributed systems. In Proceedings IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec. Wolter Kluwer.
|
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.
|
Boer, F.S. de, Roever, W-P de & Hannemann, U. (1999). The semantic foundation of a compositional proof method for synchronously communicating processes. In Proceedings Mathematical Foundations of Computer Science (MFCS'99) (pp. 343-353). Berlin: Springer - Verlag.
|
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.
|
Boer, F.S. de, Francez, N. & Hulst, M. van (1998). A proof theory of asynchronously communicating sequential processes. In Proceedings IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'98). North-Holland.
|
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).
|
Boer, F.S. de (1998). Reasoning about asynchronous communication in dynamically evolving object structures. In D. Sangiorgi & R. Simone (Eds.), Proceedings of the 9th International Conference on Concurrency Theory (CONCUR '98). Berlin, Germany: Springer-Verlag.
|
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.
|
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).
|
Boer, F.S. de, Hannemann, U. & Roever, W.P. de (1997). A compositional proof system for shared variable concurrency. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1313, 197-213.
|
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.
|
Boer, F.S. de, Di Pierro, A. & Palamidessi, C. (1997). An Algebraic Perspective of Constraint Logic Programming. Journal of logic and computation, 7(1).
|
Best, E., Boer, F.S. de & Palamidessi, C. (1997). Concurrent constraint programming with information removal. Coordination languages and models, 1282.
|
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).
|
Boer, F.S. de, Hannemann, U. & Roever, W.P. de (1997). Hoare-style compositional proof systems for reactive share variable concurrency. In Proceedings of the Seventeenth Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin, Germany: Springer-Verlag.
|
Boer, F.S. de & Gabbrielli, M. (1997). Infinite computations in concurrent constraint programming. In Proceedings of the thirteenth conference on the mathematical foundations of programming semantics Vol. 6. Electronic Notes in Theoretical Computer Science. Elsevier.
|
Boer, F.S. de, Gabbrielli, M., Marchiori, E. & Palamidessi, C. (1997). Proving Concurrent Constraint Programs Correct. Journal of ACM TOPLAS, 19(5).
|
Boer, F.S. de, Gabbrielli, M. & Meo, M.C. (1997). Semantics and Expressive Power of a Timed Concurrent Constraint Language. In Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (CP97). Berlin: Springer-Verlag.
|
Boer, F.S. de & Hulst, M. van (1996). A Compositional Proof System for Asynchronously Communicating Processes. (UU-CS1996-06 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Boer, F.S. de & Hulst, M. van (1996). A Proof Theory of Asynchronously Communicating Sequential Processes. (UU-CS1996-05 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Boer, F.S. de, Roever, W-P de, Tej, H. & Hulst, M. van (1996). Compositionality in real-time shared variable. In B. Jonsson & J. Parrow (Eds.), Proceedings of the School and Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems (pp. 420-440).
|
Boer, F.S. de & Hulst, M. van (1996). Local nondeterminism in asynchronously communicating processes. In M.C. Gaudel & J. Woodcock (Eds.), Proceedings of Formal Methods Europe '96 (pp. 367-384).
|
Boer, F.S. de, Gabbrielli, M. & Palamidessi, C. (1996). Proving correctness of constraint logic programs with dynamic scheduling. In R. Cousot & D. Schimdt (Eds.), Proceedings of the Third International Static Analysis Symposium (pp. 83-97).
|
Boer, F.S. de & Hulst, M. van (1994). A proof system for asynchronously communicating deterministic processes. (UU-CS1994-45 ). Utrecht: Utrecht.
|
Boer, F.S. de & Kok, J.N. (1992). On blocks; locality and asynchronous communication (extended abstract). (RUU-CS92-44 ). Utrecht: Utrecht.
|
Boer, F.S. de (1991). A fully abstract model for Concurrent Constraint Programming. (RUU-CS91-10 ). Utrecht: Utrecht.
|
Boer, F.S. de & Kok, J.N. (1991). A paradigm for asynchronous communication and its application to concurrent constraint programming. (RUU-CS91-46 ). Utrecht: Utrecht.
|
Boer, F.S. de (1991). Embedding as a tool for language comparison, On the CSP hierarchy. (RUU-CS91-24 ). Utrecht: Utrecht.
|
Boer, F.S. de & Kok, J.N. (1990). The failure of failures towards a paradigm for asynchronous communication. (RUU-CS90-40 ). Utrecht: Utrecht.
|
webmaster@cs.uu.nl,
Sun, 19 May 2013 19:22:56 +0200
←
Departement Informatica, Universiteit Utrecht