| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. John-Jules Ch. Meyer 84 John-Jules Ch. Meyer, Milind Tambe : Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers. Springer 2002 83 Virginia Dignum , John-Jules Ch. Meyer, Hans Weigand : Towards an organizational model for agent societies using contracts. AAMAS 2002 : 694-695 82 Jan-Willem Roorda , Wiebe van der Hoek , John-Jules Ch. Meyer: Iterated belief change in multi-agent systems. AAMAS 2002 : 889-896 81 John-Jules Ch. Meyer: The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4. Artificial Intelligence in Medicine 25 (1): 89-92 (2002) 80 John-Jules Ch. Meyer, Milind Tambe : Introduction. ATAL 2001 : 1-5 79 Wieke de Vries , Frank S. de Boer , Koen V. Hindriks , Wiebe van der Hoek , John-Jules Ch. Meyer: A Programming Language for Coordinating Group Actions. CEEMAS 2001 : 313-321 78 Wieke de Vries , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: A Truly Concurrent Model for Interacting Agents. PRIMA 2001 : 16-30 77 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher , John-Jules Ch. Meyer, Wiebe van der Hoek : Reasoning about agents in the KARO framework. TIME 2001 : 206-213 76 Jan Broersen , Roel Wieringa , John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundamenta Informaticae 48 (2-3): 107-128 (2001) 75 Paul Spruit , Roel Wieringa , John-Jules Ch. Meyer: Regular database update logics. TCS 254 (1-2): 591-661 (2001) 74 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000 : 228-243 73 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL 2000 : 260-274 72 Frank S. de Boer , Rogier M. van Eijk , Wiebe van der Hoek , John-Jules Ch. Meyer: Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR 2000 : 214-228 71 Jan Broersen , Roel Wieringa , John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000 : 912-925 70 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher , John-Jules Ch. Meyer, Wiebe van der Hoek : Verification within the KARO Agent Theory. FAABS 2000 : 33-47 69 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: A Programming Logic for Part of the Agent Language 3APL. FAABS 2000 : 78-89 68 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000 : 63-79 67 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000 : 80-95 66 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: A Modal Logic for Network Topologies. JELIA 2000 : 269-283 65 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999 : 218-232 64 Frank S. de Boer , Rogier M. van Eijk , Wiebe van der Hoek , John-Jules Ch. Meyer: Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops 1999 : 265 63 John-Jules Ch. Meyer, Wiebe van der Hoek , Bernd van Linder : A Logical Approach to the Dynamics of Commitments. Artificial Intelligence 113 (1-2): 1-40 (1999) 62 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems 2 (4): 357-401 (1999) 61 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA 1998 : 240-253 60 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Information-Passing and Belief Revision in Multi-Agent Systems. ATAL 1998 : 29-45 59 John-Jules Ch. Meyer: Agent Languages and Their Relationship to Other Programming Paradigms. ATAL 1998 : 309-316 58 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Control Structures of Rule-Based Agent Languages. ATAL 1998 : 381-396 57 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998 : 155-166 56 Rogier M. van Eijk , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998 : 293-297 55 John-Jules Ch. Meyer, Roel Wieringa , Frank Dignum : The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems 1998 : 71-115 54 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: Formalising Abilities and Opportunities of Agents. Fundamenta Informaticae 34 (1-2): 53-101 (1998) 53 Wiebe van der Hoek , John-Jules Ch. Meyer, Jan Treur : Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7 (3): 341-367 (1998) 52 Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer: Formal Semantics for an Abstract Agent Programming Language. ATAL 1997 : 215-229 51 John-Jules Ch. Meyer, Pierre-Yves Schobbens : Formal Models of Agents: An Introduction. ModelAge Workshop 1997 : 1-7 50 John-Jules Ch. Meyer, Patrick Doherty : Preferential Action Semantics (Preliminary Report). ModelAge Workshop 1997 : 187-201 49 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: The Dynamics of Default Reasoning. DKE 21 (3): 317-346 (1997) 48 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: Seeing Is Believing. Journal of Logic, Language and Information 6 (1): 33-61 (1997) 47 John-Jules Ch. Meyer, J. C. van Leeuwen : Possible World Semantics for Analogous Reasoning. FAPR 1996 : 414-429 46 John-Jules Ch. Meyer, Wiebe van der Hoek : A Modal Contrastive Logic: The Logic of `but'. Annals of Mathematics and Artificial Intelligence 17 (3-4): 291-313 (1996) 45 P. d'Altan , John-Jules Ch. Meyer, Roel Wieringa : An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artificial Intelligence and Law 4 (2): 77-111 (1996) 44 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: Seeing is Believing. AI*IA 1995 : 402-413 43 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: Formalising Motivational Attitudes of Agents. ATAL 1995 : 17-32 42 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995 : 277-284 41 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: Actions That Make You Change Your Mind (Extended Abstract). KI 1995 : 185-196 40 John-Jules Ch. Meyer, Wiebe van der Hoek : A Default Logic Based on Epistemic States. Fundamenta Informaticae 23 (1): 33-65 (1995) 39 Paul Spruit , Roel Wieringa , John-Jules Ch. Meyer: Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. Journal of Logic and Computation 5 (1): 27-70 (1995) 38 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: Tests as Epistemic Updates. ECAI 1994 : 331-335 37 Lluis Godo , Wiebe van der Hoek , John-Jules Ch. Meyer, Carles Sierra : Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. IPMU 1994 : 440-452 36 Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer: Communicating Rational Agents. KI 1994 : 202-213 35 Wiebe van der Hoek , Bernd van Linder , John-Jules Ch. Meyer: A Logic of Capabilities. LFCS 1994 : 366-378 34 Wiebe van der Hoek , John-Jules Ch. Meyer, Jan Treur : Formal Semantics of Temporal Epistemic Reflection. META 1994 : 332-352 33 M. van Hulst , John-Jules Ch. Meyer: An Epistemic Proof System for Parallel Processes. TARK 1994 : 243-254 32 John-Jules Ch. Meyer, Wiebe van der Hoek : A Default Logic Based on Epistemic States. ECSQARU 1993 : 265-273 31 Paul Spruit , Roel Wieringa , John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992 : 103-120 30 Wiebe van der Hoek , John-Jules Ch. Meyer: Graded Modalities in Epistemic Logic. LFCS 1992 : 503-514 29 Wiebe van der Hoek , M. van Hulst , John-Jules Ch. Meyer: Towards an Epistemic Approach to Reasoning about Concurrent Programs. REX Workshop 1992 : 261-287 28 Wiebe van der Hoek , John-Jules Ch. Meyer: Making Some Issues of Implicit Knowledge Explicit. International Journal of Foundations of Computer Science 3 (2): 193-223 (1992) 27 Paul Spruit , John-Jules Ch. Meyer, Roel Wieringa : Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991 : 209-210 26 Paul Spruit , John-Jules Ch. Meyer: Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO 1991 : 37-46 25 Roel Wieringa , John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991 : 89-103 24 John-Jules Ch. Meyer, Roel Wieringa : Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991 : 337-357 23 Roel Wieringa , Hans Weigand , John-Jules Ch. Meyer, Frank Dignum : The Inheritance of Dynamic and Deontic Integrity Constraints. Annals of Mathematics and Artificial Intelligence 3 (2-4): 393-428 (1991) 22 John-Jules Ch. Meyer, Wiebe van der Hoek : Non-Monotonic Reasoning by Monotonic Means. JELIA 1990 : 399-411 21 John-Jules Ch. Meyer, Erik P. de Vink : Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989 : 360-369 20 John-Jules Ch. Meyer, Hans Weigand , Roel Wieringa : A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989 : 347-366 19 John-Jules Ch. Meyer, Ernst-Rüdiger Olderog : Hiding in Stream Semantics of Uniform Concurrency. Acta Informatica 27 (5): 381-397 (1989) 18 Roel Wieringa , John-Jules Ch. Meyer, Hans Weigand : Specifying Dynamic and Deontic Integrity Constraints. DKE 4 : 157-189 (1989) 17 John-Jules Ch. Meyer, Erik P. de Vink : Step Semantics for "True" Concurrency with Recursion. Distributed Computing 3 (3): 130-145 (1989) 16 J. W. de Bakker , John-Jules Ch. Meyer: Metric Semantics for Concurrency. BIT 28 (3): 504-529 (1988) 15 J. W. de Bakker , John-Jules Ch. Meyer, Ernst-Rüdiger Olderog , Jeffery I. Zucker : Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. JCSS 36 (2): 158-224 (1988) 14 John-Jules Ch. Meyer, Erik P. de Vink : Applications of Compactness in the Smyth Powerdomain of Streams. TCS 57 : 251-282 (1988) 13 John-Jules Ch. Meyer, Erik P. de Vink : Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987 : 241-255 12 J. W. de Bakker , John-Jules Ch. Meyer: Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Informatica 24 (5): 491-511 (1987) 11 J. W. de Bakker , John-Jules Ch. Meyer, Ernst-Rüdiger Olderog : Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. TCS 49 : 87-112 (1987) 10 J. W. de Bakker , Joost N. Kok , John-Jules Ch. Meyer, Ernst-Rüdiger Olderog , Jeffery I. Zucker : Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986 : 51-122 9 John-Jules Ch. Meyer: Merging Regular Processes by Means of Fixed-Point Theory. TCS 45 (2): 193-260 (1986) 8 J. W. de Bakker , John-Jules Ch. Meyer, Ernst-Rüdiger Olderog : Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP 1985 : 149-157 7 J. W. de Bakker , John-Jules Ch. Meyer, Ernst-Rüdiger Olderog , Jeffery I. Zucker : Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency. STOC 1985 : 252-262 6 J. W. de Bakker , John-Jules Ch. Meyer, Jeffery I. Zucker : On Infinite Computations in Denotational Semantics. TCS 29 : 229-230 (1984) 5 J. W. de Bakker , Jan A. Bergstra , Jan Willem Klop , John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. TCS 34 : 135-156 (1984) 4 J. W. de Bakker , Jan A. Bergstra , Jan Willem Klop , John-Jules Ch. Meyer: Linear Time and Branching Time Semantics for Recursion with Merge. ICALP 1983 : 39-51 3 J. W. de Bakker , John-Jules Ch. Meyer, Jeffery I. Zucker : On Infinite Computations in Denotational Semantics. TCS 26 : 53-82 (1983) 2 Jan A. Bergstra , John-Jules Ch. Meyer: A Simple Transfer Lemma for Algebraic Specifications. Information Processing Letters 14 (2): 80-85 (1982) 1 Jan A. Bergstra , John-Jules Ch. Meyer: On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic. TCS 21 : 269-279 (1982)  DiSC'02 © 2003 Association for Computing Machinery |
