Publicatielijst j. J. Ch. Meyer dd. 31. 10. 2008 icon

Publicatielijst j. J. Ch. Meyer dd. 31. 10. 2008


Similar
A division of e b meyer, Inc...
Authors:                  Katrina a meyer...
By Stephenie Meyer MonkeyNotes by PinkMonkey com...
Mary H. Meyer Katharine B. Perry Neal E. De Vos...
Ethanol Directly Modulates Gating of a Dihydropyridine-Sensitive Ca+2 Channel in...
Twilight Saga: Stephanie Meyer's the Twilight Saga An Eternal Love Story...
Emergency economic stabilization act of 2008 (House of Representatives September 29, 2008)...
Emergency economic stabilization act of 2008 (House of Representatives October 03, 2008)...
2008 istr symposium, University College Dublin, Blackrock, Carysfort Avenue, 4-5 April, 2008...
2008 D. R. Sahu, Shin-Yuan Lin, J. L. Huang, 2008...
Meeting Minutes November 15, 2008 (Windycon 2008)...
American Name Society Number 2008-1 Spring 2008 a new Look for...



страницы:   1   2
PUBLICATIELIJST J.-J. CH. MEYER dd. 31.10.2008

0. J.A. Bergstra, F.A.J. Birrer, R. Dekker & J.-J. Ch. Meyer, Over de Rol

van Wiskunde in de Psychologie, TWI Report 79-5, R.U. Leiden,

(1979).

1. J.A. Bergstra & J.-J.Ch. Meyer,

On Axiomatising Finite Data Structures, Report 80-18, R.U.Leiden, (1980).

2. J.A. Bergstra & J.-J.Ch. Meyer,

On the Quantifier-free Fragment of 'Logic of Effective Definitions',

Report 80-4, R.U. Leiden (1980); revised version as Report IR-69,

Vrije Universiteit, (1981); Fundamenta Informaticae, vol.IV.4 (1981).

3. J.A. Bergstra & J.-J.Ch. Meyer,

Small Specifications for Large Finite Datastructures, Report 80-13, R.U. Leiden (1980); Int. Journal of Comp. Math. 9 (4) (1981), pp. 305-320.

4. J.A. Bergstra & J.-J.Ch. Meyer,

I/O-Computable Data Structures, Report 80-26, R.U. Leiden (1980);

SIGPLAN Notices 16 (4), (1981), pp. 27-32.

5. J.A. Bergstra & J.-J.Ch. Meyer,

An Equational Class of I/O-Computable Data Structures That

Contains No Recursive Data Structure, Report 80-28, R.U. Leiden (1980);

EATCS Bulletin 13, (1981).

6. J.W. de Bakker, J.W. Klop & J.-J.Ch. Meyer,

Correctness of Programs with Function Procedures, Proc. IBM

Workshop "Logic of Programs", Lect. Notes in Comp. Sc. 131,

Springer, (1981).

7. J.-J.Ch. Meyer,

A Note on Arnold-Karpinski's Seven Equation Bound for Data

Specifications, EATCS Bulletin 13, (1981).

8. J.A. Bergstra & J.-J.Ch. Meyer,

On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic, Report 80-6, R.U. Leiden (1980); revised version as Report IR-72 (1981);

also in Theor. Comp. Sc. 21 (1982),pp. 269-279.

9. J.A. Bergstra & J.-J.Ch. Meyer,

On Bounds for the Specification of Finite Minimal Unoids by Means

of Equations Using Only Unary Hidden Functions, Report 80-11,

R.U. Leiden (1980); Fundamenta Informaticae, vol.V.2 (1982).

10. J.A. Bergstra & J.-J.Ch. Meyer,

A Simple Transfer Lemma for Algebraic Specifications, Report IR-64, Vrije Univ. Amsterdam (1980); Inf. Proc. Letters 14 (2), (1982).

11. J.W. de Bakker, J.-J.Ch. Meyer & J.I. Zucker,

On Infinite Computations in Denotational Semantics, TCS 26 (1/2),

(1983).

12. J.W. de Bakker, J.A. Bergstra, J.W. Klop & J.-J.Ch. Meyer,

Linear Time and Branching Time Semantics for Recursion with Merge,

Proc. 10th ICALP (J. Diaz,ed.),Lect. Notes in Comp. Sc. 154,

Springer, (1983). Extended version in TCS 34 (1/2), 1984, pp. 135-156;

this version is reprinted in: Ten Years of Concurrency Semantics

(J.W. de Bakker & J.J.M.M. Rutten, eds.), World Scientific,

Singapore, 1992, pp. 81-103.

13. J.A. Bergstra & J.-J.Ch. Meyer,

On Specifying Sets of Integers, Report 80-21, R.U. Leiden (1980);

EIK 20 (10/11), (1984),pp. 531-541.

14. J.-J.Ch. Meyer,

Fixed Points and the Arbitrary and Fair Merge of a Fairly Simple

Class of Processes, Part One: The Arbitrary Merge, IR-89,

subfac. Wisk. & Inf. VU, (1984).

15. J.-J.Ch. Meyer,

Fixed Points and the Arbitrary and Fair Merge of a Fairly Simple

Class of Processes, Part Two: The Fair Merge, IR-92,

subfac. Wisk. & Inf. VU, (1984).

16. J.W. de Bakker, J.-J.Ch. Meyer, E.-R. Olderog & J.I. Zucker,

Transition Systems, Infinitary Languages and the Semantics of

Uniform Concurrency, in: Proceedings 17th ACM STOC, Providence,

R.I. (1985)

17. J.W. de Bakker, J.-J.Ch. Meyer & E.-R. Olderog,

Infinite Streams and Finite Observations in the Semantics of

Uniform Concurrency, in: Proceedings 12th ICALP (W. Brauer, ed.),

LNCS 194, Springer (1985).

18. J.W. de Bakker, J.-J.Ch. Meyer & J.I. Zucker,

Bringing Color into the Semantics of Nondeterministic

Dataflow, CWI (1985).

19. J.-J.Ch. Meyer,

Weakest Preconditions and Other Programming Modalities as

Fixed Point Transformations, IR-97, subfac. Wisk. & Inf. VU

(1985).

20. J.-J.Ch. Meyer,

Programming Calculi Based on Fixed Point Transformations:

Semantics and Applications, dissertation (1985).

21. J.-J.Ch. Meyer,

Merging Regular Processes by Means of Fixed Point Theory,

(revised version of 14/15), TCS 45 (1986), pp. 193-260.

22. J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog & J.I. Zucker,

Contrasting Themes in the Semantics of Imperative Concurrency,

in: Proceedings ESPRIT/LPC Advanced School on

'Current Trends in Concurrency' (J.W. de Bakker, W.P. de Roever

& G. Rozenberg, eds.), Noordwijkerhout, June 10-21 1985,

LNCS 224, Springer (1986).

23. J.-J.Ch. Meyer & E.P. de Vink,

Applications of Compactness in the Smyth Powerdomain of Streams,

VU Report IR-110 (1986), in Proc. TAPSOFT/CAAP'87 (H. Ehrig

et al.,eds.), LNCS 249, Springer (1987), 241-255;

24. J.-J.Ch. Meyer,

A Sound and Complete Logic for Deontic Reasoning,

VU Report IR-114 (1986).

25. J.W. de Bakker & J.-J.Ch. Meyer,

Order and Metric in the Stream Semantics of Elemental

Concurrency, Acta Informatica 24, 1987, 491-511;

this paper is reprinted in: Ten Years of Concurrency Semantics

(J.W. de Bakker & J.J.M.M. Rutten, eds.), World Scientific,

Singapore, 1992, pp. 196-216.

26. J.W. de Bakker, J.-J.Ch. Meyer & E.-R. Olderog,

Infinite Streams and Finite Observations in the Semantics of

Uniform Concurrency (full version of 18), TCS 49 (1987), 87-112.

27. J.-J.Ch. Meyer,

A Monotonic Logic for Default Reasoning, VU Report IR-124

(1987).

28. J.-J.Ch. Meyer,

Process Modalities Obtained as Fixed Points (Part One & Two),

EATCS Bulletin 32/33, (1987).

29. J.-J.Ch. Meyer,

A Simple Solution to the `Deepest' Paradox of Deontic Logic,

in Logique et Analyse 117-118 (1987), pp. 81-90;

also in Proc. 6th Amsterdam Colloquium (1987), pp. 281-290,

under the title "The Ethics of Murder".

30. J.-J.Ch. Meyer & E.P. de Vink,

Denotational Semantics for `True' Concurrency, VU Report

IR-138 (1987), also in Distributed Computing 3 (1989), pp.

130-145, under the title:

Step Semantics for `True' Concurrency with Recursion.

31. J.-J.Ch. Meyer,

A Different Approach to Deontic Logic: Deontic Logic Viewed as

a Variant of Dynamic Logic, Notre Dame J. of Formal Logic

29(1), (1988), pp. 109-136.

32. J.W. de Bakker, J.-J.Ch. Meyer, E.-R. Olderog & J.I. Zucker,

Transition Systems, Metric Spaces and Ready Sets in the Semantics

of Uniform Concurrency, Journal of Comp. Syst. Sci. 36(2) (1988),

pp. 158-224.

33. J.-J.Ch. Meyer & E.P. de Vink,

Applications of Compactness in the Smyth Powerdomain of Streams,

TCS 57 (2/3) (1988), pp. 251-282.

34. J.W. de Bakker & J.-J.Ch. Meyer,

Metric Semantics for Concurrency, BIT 28, 1988, pp. 504-529;

this paper is reprinted in: Ten Years of Concurrency Semantics

(J.W. de Bakker & J.J.M.M. Rutten, eds.), World Scientific,

Singapore, 1992, pp. 104-130.

35. J.-J.Ch. Meyer & E.P. de Vink, Pomset Semantics for True

Concurrency with Synchronization and Recursion (extended

abstract), VU-rapport IR-167 (1988), in Proceedings

MFCS '89, (A. Kreczmar & G. Mirkowska (eds.)), Porabka-Kozubnik,

Poland, LNCS 379, Springer, Berlin, 1989, pp. 360-369.

36. W. van der Hoek & J.-J.Ch. Meyer, Possible Logics of

Belief, VU Report IR-170 (1988); presented at ASL Logic

Colloquium '89, Berlin; abstract in Journal of Symbolic Logic 57(1), 1992,

pp. 302-303; full version in Logique & Analyse 127-128, 1989 [1993], pp.177- 194.

37. J.-J.Ch. Meyer, H. Weigand & R.J. Wieringa, A Specification

Language for Static, Dynamic and Deontic Integrity

Constraints, in Proc. MFDBS 89, J. Demetrovics & B.

Thalheim (eds.), Visegrád, Hungary, LNCS 364,

Springer, Berlin, 1989, pp. 347-366.

38. R.J. Wieringa, J.-J.Ch. Meyer & H. Weigand, Specifying

Dynamic and Deontic Integrity Constraints, Data & Knowledge Engineering

4(2), 1989, pp. 157-190.

39. J.-J.Ch. Meyer, Formele Methoden in Kennisrepresentatie,

VU Rapport IR-181, in: Proceedings van het Symposium

Wiskunde en de Computer (J. van Mill & G.Y. Nieuwland, red.),

25e NMC, CWI Syllabus 23, Amsterdam, 1989, pp. 37-45;

English version "Formal Methods in Knowledge

Representation", Techn. Report no. 89-11, University of

Nijmegen, 1989; also in Nieuw Archief voor Wiskunde Serie 4,

Vol. 7, No. 3, November 1989, pp. 205-213.

40. J.W. Klop, J.-J.Ch. Meyer & J.J.M.M. Rutten (red.),

Jaco de Bakker, 25 jaar semantiek, Liber Amicorum,

CWI, Amsterdam, 1989, 437p.

41. J.-J.Ch. Meyer, Correspondenties in Semantiek, in 40, 1989,

pp. 331-335.

42. J.-J.Ch. Meyer, Using Programming Concepts in Deontic Reasoning,

in: Semantics and Contextual Expression

(R. Bartsch, J. van Benthem & P. van Emde Boas, eds.),

FORIS Publications, Dordrecht/Riverton, 1989, pp. 117-145.

43. R.J. Wieringa, H. Weigand, J.-J.Ch. Meyer & F.P.M. Dignum,

The Inheritance of Dynamic and Deontic Integrity

Constraints, VU-rapport IR-199, 1989; Annals of

Mathematics and Artificial Intelligence 3 (1991), pp. 393-428.

44. J.-J.Ch. Meyer, An Analysis of the Yale Shooting Problem by

Means of Dynamic Epistemic Logic, VU Report IR-201, 1989;

in Proceedings 7th Amsterdam Colloquium, (M. Stokhof &

L. Torenvliet, eds.), ITLI, Universiteit van Amsterdam, 1990,

pp. 317-326.

45. J.-J.Ch. Meyer & E.P. de Vink, On Relating Denotational and

Operational Semantics for Programming Languages with

Recursion and Concurrency, VU Report IR-205, 1989, in:

J. van Mill & G.M. Reed (eds.), Open Problems in Topology,

North-Holland, Amsterdam, 1990, pp. 387-406.

46. J.-J.Ch. Meyer & E.-R. Olderog,

Hiding in Stream Semantics of Uniform Concurrency,

Acta Informatica 27, 1990, pp. 381-397.

47. F.P.M. Dignum & J.-J.Ch. Meyer, Negations of Transactions

and Their Use in the Specification of Dynamic and Deontic

Integrity Constraints, VU Report IR-209, in: Semantics for

Concurrency, Leicester 1990, (M.Z. Kwiatkowska, M.W. Shields &

R.M. Thomas, eds.), Springer-Verlag, London/Berlin, 1990,

pp. 61-80.

48. W. van der Hoek & J.-J. Ch. Meyer, Explicitating some Issues in

Implicit Knowledge, VU Report IR-222, 1990, 19p., Ned. ext. abstr.

onder de titel "Aspecten van impliciete kennis expliciet gemaakt" in

Proc. NAIC'91 (J. Treur, red.), Amsterdam, 1991, pp. 57-67;

full version under the title "Making Some Issues of Implicit Knowledge Explicit", Int. J. of Foundations of Computer Science 3(2), 1992, pp. 193-223.

49. J.-J. Ch. Meyer, Tractatus Logico-Informaticus, inaugurale rede,

Vrije Universiteit/Katholieke Universiteit, Amsterdam/Nijmegen, 1990,

35 p.

50. J.-J.Ch. Meyer & W. van der Hoek, Non-Monotonic Reasoning by

Monotonic Means, extended abstract in J. van Eijck (ed.), Logics in AI (Proc. JELIA '90), LNCS 478, Springer, 1991, pp. 399-411; full version under the title "A Modal Logic for Nonmonotonic Reasoning" in: Non-Monotonic Reasoning and Partial Semantics (W. van der Hoek, J.-J.Ch. Meyer, Y.H. Tan & C. Witteveen, eds.), Ellis Horwood, Chichester, 1992, pp. 37-77.

51. J.-J. Ch. Meyer & W. van der Hoek, On Defaults and Counterfactuals,

VU Report IR-225, 1990, 14p., presented at the Bar-Ilan Symp.

on the foundations of Artif. Intell. (BISFAI'91), Ramat Gan,

Israel, 1991. Revised version with title "Counterfactual Reasoning by (Means of) Defaults" in Annals of Mathematics and Artificial Intelligence 9 (III-IV), 1993,

pp. 345-360.

52. J.-J. Ch. Meyer & W. van der Hoek, A Modal Contrastive Logic,

VU Report IR-245, 1991, 14p., presented at the Natural Language

Processing Track of the Bar-Ilan Symp. on the foundations of

Artif. Intell. (BISFAI'91), Ramat Gan, Israel, 1991; revised version with title

"A Modal Contrastive Logic: The Logic of 'But'", Techn. Report UU-CS-1994-07, Utrecht University, 1994, 23 p.; re-revised Techn. Report UU-CS-1995-18,

Utrecht University, 1995, 26 p.; in: Annals of Mathematics & Artificial Intelligence Vol. 17 (3,4), 1996, pp. 291-313.

53. J.-J. Ch. Meyer, W. van der Hoek & G.A.W. Vreeswijk, Epistemic

Logic for Computer Science: A Tutorial, VU Report IR-247, 1991,

58p., Part 1 in Bulletin of the EATCS 44, 1991, pp. 242-270;

Part 2 in Bulletin of the EATCS 45, 1991, pp. 256-287.

54. J.-J. Ch. Meyer & R.J. Wieringa, Actor-Oriented System Specification

with Dynamic Logic, in Proc. TAPSOFT/CCPSD '91 (S. Abramsky & T.S.E.

Maibaum, eds.), Brighton, LNCS 494, Springer, 1991, pp. 337-357,

55. R.J. Wieringa & J.-J. Ch. Meyer, Actor-Oriented Specification of

Deontic Integrity Constraints, in Proc. MFDBS '91 (B. Thalheim,

J. Demetrovics & H.-D. Gerhardt, eds.), Rostock, LNCS 495,

Springer, 1991, pp. 89-103.

56. J.-J. Ch. Meyer, Modal Logics for Knowledge Representation,

VU Report IR-243, 1991, 25p.; also Techn. Report 91-8, KUN, 1991, 25p.;

in: Linguistic Instruments in Knowledge Engineering (R.P. van de Riet &

R.A. Meersman, eds.), North-Holland, Amsterdam, 1992, pp. 251-275.

57. P.A. Spruit, J.-J. Ch. Meyer & R.J. Wieringa, Declarative

Semantics of Passive and Active Updates in Logic Databases (extended abstract),

Proc.3rd Int. Workshop on Foundations of Models and Languages

for Data and Objects (Aigen '91), (J. Göers, A. Heuer & G. Saake,

eds.), Aigen, Austria, Informatik-Bericht 91/3, Technische

Universität Clausthal, 1991, pp. 37-46.

58. J.-J. Ch. Meyer & C. Witteveen, Niet-standaard Logica's voor

Kunstmatige Intelligentie (Deel 1: Modale Logica),

NvKI Nieuwsbrief 8 (3), 1991, pp. 74-76;

(Deel 2: Niet-Monotone Logica), NvKI Nieuwsbrief 8 (4), 1991,

pp. 105-108; (Deel 3: Lopend Onderzoek aan VU en TUD), NvKI Nieuwsbrief

8 (5), 1991, pp. 139-143.

59. R.J. Wieringa & J.-J. Ch. Meyer, Actors, Actions, and Initiative in Normative

System Specification, VU Report IR-257, 1991, 52p, Annals of Mathematics and Artificial Intelligence 7, 1993, pp. 289-346.

60. W. van der Hoek & J.-J. Ch. Meyer, Graded Modalities in Epistemic Logic, VU Report IR-261, 1991, 11p; in Proc. Logical Foundations of Computer Science - Tver'92, 2nd Int. Symp. (A. Nerode & M. Taitslin, eds.), Tver, Russia,

LNCS 620, Springer, Berlijn, 1992, pp. 503-514; extended version in: Logique et Analyse 133-134 (Special issue on Int. Symposium on Epistemic Logic), 1991 [1994], pp. 251-270; also in DRUMS 2 ESPRIT Deliverable D6.2 (J.-J. Ch. Meyer & W. van der Hoek, eds.), Techn. Report RUU-CS-93-44, Utrecht University, 1993

61. J.-J. Ch. Meyer & R.J. Wieringa (eds.), Proceedings of the First International

Workshop on Deontic Logic in Computer Science (DEON'91),

VU Amsterdam, 1991, 412p.

62. J.-J. Ch. Meyer & R.J. Wieringa, Deontic Logic: A Concise Overview,

in 61, 1991, pp.2-14; also in 79, pp. 3-16.

63. R.J. Wieringa & J.-J. Ch. Meyer, Applications of Deontic Logic in Computer

Science: A Concise Overview, in 61, 1991, pp.15-41; also in 79, pp. 17-40.

64. M. van Hulst & J.-J. Ch. Meyer, A Taxonomy of Knowledge

in Distributed Systems, KUN Techn. Report No. 91-23, 1991, 13p.;

in Proc. CSN'92 (J.L.G. Dietz, ed.), SION, Utrecht, 1992, pp. 42-53.

65. W. van der Hoek, J.-J. Ch. Meyer, Y.H. Tan & C. Witteveen (eds.),

Non-Monotonic Reasoning and Partial Semantics,

Ellis Horwood, New York / London, 1992, XII + 238p.

66. J.-J.Ch. Meyer, Free Choice Permissions and Ross's Paradox:

Internal vs External Nondeterminism, in Proc. 8th Amsterdam

Colloquium (1991) (P. Dekker & M. Stokhof, eds.), ILLC,

Univ. of Amsterdam, Amsterdam, 1992, pp. 367-380.

67. J.-J. Ch. Meyer & W. van der Hoek, A (Cumulative) Default Logic Based on Epistemic States, VU-Report IR-288, Amsterdam, 1992; extended abstract in: M. Clarke, R. Kruse & S. Moral (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. ECSQARU '93, Granada), Springer-Verlag, Berlin, 1993, pp. 265-273. Full version under title "A Default Logic Based on Epistemic States", Fundamenta Informaticae 23(1), 1995, pp. 33-65.

68. P.A. Spruit, R.J. Wieringa & J.-J. Ch. Meyer, Axiomatization, Declarative

Semantics and Operational Semantics of Passive and Active Updates in

Logic Databases, VU-Report IR-294, Amsterdam, 1992; J(ournal of) Logic

(and) Computat(ion) 5(1), 1995, pp. 27-70.

69. P.A. Spruit, R.J. Wieringa & J.-J. Ch. Meyer, Dynamic Database Logic:

The First-Order Case, in Preprinted Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics, (U.W. Lipeck & B. Thalheim, eds.), Volkse, Techn. Univ. Clausthal, Informatik-Bericht 92/5, 1992, pp. 229-242; also in: Modelling Database Dynamics, Volkse 1992, (U.W. Lipeck & B. Thalheim, eds.), Springer, Berlijn, 1993, pp. 103-120;

70. J.-J. Ch. Meyer & W. van der Hoek, Epistemics, Dynamics and Defeasible Reasoning, Lecture Notes Nordic Graduate Studies Course on "Partial Semantics

and Non-Monotonic Reasoning for Knowledge Representation", Linköping

University, Linköping, Zweden, 1992.

71. W. van der Hoek & J.-J. Ch. Meyer, Modalities and (Un)certainties, Lecture Notes Nordic Graduate Studies Course on "Partial Semantics and Non-Monotonic Reasoning for Knowledge Representation", Linköping University, Linköping, Zweden, 1992.

72. W. van der Hoek, M. van Hulst & J.-J. Ch. Meyer, Towards an Epistemic Approach

to Reasoning about Concurrent Programs, Techn. Report No. 92-25, KUN, Nijmegen, 1992; in: Semantics - Foundations and Applications, Proc. REX Workshop Beekbergen 1992 (J.W. de Bakker, W.P. de Roever & G. Rozenberg, eds.), LNCS 666, Springer, Berlijn, 1993, pp. 261-287; abstract in Proc. Workshop on Assertional Methods, CWI, Amsterdam, 1992, pp. 9-11.

73. W. van der Hoek, B. van Linder & J.-J. Ch. Meyer, A Logic of Capabilities.

VU-Report IR-330, Amsterdam, 1993; preliminary version in Working Notes AAAI Spring Symposium on Reasoning about Mental States (J. Horty, Y. Shoham, J. Doyle, H. Levesque & M. Pollack, eds.), Stanford University, Palo

Alto, pp. 150-159; extended abstract in Proc. 3rd Int. Symp. on the Logical Foundations of Comp. Sc. (LFCS'94), (A. Nerode & Yu.V. Matiyasevich, eds.), LNCS 813, Springer-Verlag, Berlin, 1994, pp. 366-378; also in: Epistemic and Dynamic Logics for Non-Monotonic Reasoning (J.-J. Ch. Meyer, ed.), DRUMS 2 ESPRIT III (No. 6156) Deliverable D6.6 (WP6.3), Utrecht, 1995, pp. 36-50.

74. J.-J. Ch. Meyer & W. van der Hoek, An Epistemic Logic for Defeasible Reasoning Using a Meta-Level Architecture Metaphor, VU-Report IR-329, Amsterdam,

1993.

75. M. van Hulst & J.-J. Ch. Meyer, An Epistemic Proof System for Parallel Processes, Techn. Report No. 93-17, KUN, Nijmegen, 1993; extended abstract in Proc. TARK V (R. Fagin, ed.), Pacific Grove, Morgan Kaufmann, San Francisco, 1994,

pp. 243-254.

76. W. van der Hoek, B. van Linder & J.-J. Ch. Meyer, Unravelling Nondeterminism: On Having the Ability to Choose, Techn. Report RUU-CS-93-30, Utrecht University, 1993; extended abstract in: Proc. 6th Int. Conf. on Artif. Intell.: Methodology, Systems, Applications (AIMSA'94) (P. Jorrand & V. Sgurev, eds.), World Scientific, 1994, pp. 163-172; revised and extended version under title “On

Agents That Have the Ability to Choose” in Studia Logica 65, 2000, pp. 79-119.

77. J.-J. Ch. Meyer & W. van der Hoek (eds.), Graded Modal and Epistemic Logics, DRUMS2 ESPRIT III BRA No. 6156 Deliverable D6.2 (WP6.3), Techn. Report RUU-CS-93-44, Utrecht University, 1993.

78. W. van der Hoek & J.-J. Ch. Meyer, Modalities for Reasoning about Knowledge and Uncertainties, in DRUMS 2 ESPRIT Deliverable D6.2 (J.-J. Ch. Meyer & W. van der Hoek, eds.), Techn. Report RUU-CS-93-44, Utrecht University, 1993; also in: Partiality, Modality, and Nonmonotonicity (P. Doherty, ed.), CSLI Publications/FoLLI, Stanford, 1996, pp. 77-109.

79. J.-J. Ch. Meyer & R.J. Wieringa (eds.), Deontic Logic in Computer Science: Normative System Specification, John Wiley & Sons Ltd., Chichester, 1993, xiv + 317 p.

80. L. Godo, W. van der Hoek, J.-J. Ch. Meyer & C. Sierra, Epistemic States for MILORD-II, in: DRUMS 2 Deliverable D6.1 (Y.-H. Tan, ed.), ESPRIT, 1993.

81. C. Beekhuis & J.-J. Ch. Meyer, A Multi-Level Logic for Nonmonotonic Reasoning, Proc. Dutch/German Workshop on Nonmonotonic Reasoning Techniques and Their Applications, RWTH Aachen, 1993, 14p.

82. B. van Linder, W. van der Hoek & J.-J. Ch. Meyer, Tests as Epistemic Updates: Pursuit of Knowledge, Techn. Report UU-CS-1994-08, Utrecht University, 1994;

extended abstract under title "Tests as Epistemic Updates" in Proc. ECAI'94 (A.G. Cohn, ed.), Amsterdam, Wiley, Chichester, 1994, pp. 331-335.

83. L. Godo, W. van der Hoek, J.-J. Ch. Meyer & C. Sierra, Many-Valued Epistemic

States: An Application to a Reflective Architecture: MILORD-II, extended abstract in Proc. IPMU'94 (Vol. II), Paris, pp. 950-956; slides in Notes of the Workshop on Reasoning about Inconsistency and Partiality in Dynamic Contexts, (Ph. Besnard & Y.-H. Tan, eds.), Roskilde, EURIDIS, Rotterdam, 1994, pp. 157-170; full version in: Advances in Intelligent Computing - IPMU'94 (5th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, July'94 (Selected papers)) (B. Bouchon-Meunier, R.R. Yager & L.A. Zadeh, eds.), LNCS 945, Springer Verlag, Berlin, 1995, pp. 440-452;

also in: Epistemic and Dynamic Logics for Non-Monotonic Reasoning (J.-J. Ch. Meyer, ed.), DRUMS 2 ESPRIT III (No. 6156) Deliverable D6.6 (WP6.3), Utrecht, 1995, pp. 23-35.

84. P. d'Altan, J.-J. Ch. Meyer & R.J. Wieringa, An Integrated Framework for Ought-to- Be and Ought-to-Do Constraints, VU-Report IR-342, Amsterdam, 1993; extended abstract in Working Notes AAAI Spring Symposium on Reasoning about Mental States (J. Horty, Y. Shoham, J. Doyle, H. Levesque & M. Pollack, eds.), Stanford University, Palo Alto, pp. 48-57; preliminary version of full paper in:

Working Papers of the Workshop on Deontic and Non-Monotonic Logics (Y.H. Tan, ed.), EURIDIS, Rotterdam, 1993, pp. 14-45; revised version Techn. Report UU-CS-1995-30, Utrecht University, 1995; in: Artificial Intelligence and Law 4,

1996, pp. 77-111.

85. J.-J. Ch. Meyer, Epistemic Logic for Distributed Systems, in: Harrie de Swart (ed.),

Logic: Mathematics, Language, Computer Science and Philosophy (vol. II), Logic and Computer Science, Peter Lang, Frankfurt am Main, 1994, pp. 200-228 (+ pp. 313-317).

86. J.-J. Ch. Meyer & R.J. Wieringa (eds.), special issue Annals of Mathematics and AI "Deontic Logic in Computer Science" (Vol. 9(I-II)), J.C. Baltzer AG, Basel, 1993, 238 p.

87. F.P.M. Dignum, J.-J. Ch. Meyer & R.J. Wieringa, Contextual Permission: A Solution to the Free Choice Paradox, in Proc. 2nd Int. Workshop on Deontic Logic in Computer Science (DEON'94), A.J. Jones & M. Sergot (eds.), Tano A.S., Oslo, 1994, pp. 107-135; full version under title "Free Choice and Contextually

Permitted Actions", Studia Logica 57(1), pp. 193-220, 1996.

88. W. van der Hoek, J.-J. Ch. Meyer & J. Treur, Temporalizing Epistemic Default

Logic, UU-report UU-CS-1994-54, 26p.; slides in Notes of the Workshop on Reasoning about Inconsistency and Partiality in Dynamic Contexts, (Ph. Besnard & Y.-H. Tan, eds.), Roskilde, EURIDIS, Rotterdam, 1994, pp. 179-198; extended abstract in: Working Papers of Int. Workshop on Information Systems - Correctness and Reusability (IS-CORE'94) (R. Wieringa & R. Feenstra, eds.), Vrije Universiteit, Amsterdam, 1994, pp. 31-45; also in: Information Systems, Correctness and Reusability (Selected Papers from the IS-CORE Workshop) (R.J. Wieringa & R.B. Feenstra, eds.), World Scientific, Singapore, 1995, pp. 173-190;

full version in JOLLI 7(3), 1998, pp. 341-367; revised version under title “Temporalized Epistemic Default Logic”in: 152, pp.177-194.

89. W. van der Hoek, J.-J. Ch. Meyer & J. Treur, Formal Semantics of Temporal Epistemic Reflection, extended abstract in pre-proc. META'94 (4th Int.Workshop on Meta Programming in Logic), Techn. Report TR-7/94, Univ. di Pisa; also in: DRUMS 2 Deliverable D6.3 (J. Treur, ed.), ESPRIT, 1994; revised ext. abstr. in Logic Program Synthesis and Transformation - Meta-Programming in Logic, 4th Int. Workshops, LOPSTR'94 and META'94, Pisa, 1994, (L. Fribourg & F. Turini,

eds.), LNCS 883, 1994, pp, 332-352; also in: 152, pp. 41-63; revised version:

Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection.

International Journal of Intelligent Systems, vol. 18, 2003, pp. 1293-1317.

90. W. van der Hoek, B. van Linder & J.-J. Ch. Meyer, Epistemic Updates and Default Reasoning, in Notes of the Workshop on Reasoning about Inconsistency and Partiality in Dynamic Contexts, (Ph. Besnard & Y.-H. Tan, eds.), Roskilde, EURIDIS, Rotterdam, 1994, pp. 199-214 (slides).

91. F. Dignum, J.-J. Ch. Meyer & R.J. Wieringa, A Dynamic Logic for Reasoning about Sub-Ideal States, in Proc. ECAI'94 Workshop "Artificial Normative Reasoning" (J. Breuker, ed.), Amsterdam, 1994, pp. 79-92.

92. B. van Linder, W. van der Hoek & J.-J. Ch. Meyer, Communicating Rational Agents,

in: Proc. KI-94: Advances in Artificial Intelligence (B. Nebel & L. Dreschler- Fischer, eds.), LNCS 861, Springer, 1994, pp. 202-213.

93. J.-J. Ch. Meyer, F.P.M. Dignum & R.J. Wieringa, The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective, Techn. Report UU-CS-1994-38, Utrecht University, 1994.

94. W. van der Hoek & J.-J. Ch. Meyer, A Complete Epistemic Logic for Multiple

Agents: Combining Distributed and Common Knowledge, Technical Report UU-CS-1996-52, Utrecht University, 1994; in: Epistemic Logic and the Theory of Games and Decisions (M.O.L. Bacharach, L.-A. Gérard-Varet, P. Mongin & H.S. Shin, eds.), Kluwer, Dordrecht, 1997, pp. 35-68.

95. B. van Linder , W. van der Hoek & J.-J. Ch. Meyer, The Dynamics of Default Reasoning, Technical Report UU-CS-1994-48, Utrecht University, 1994; in Proc. 2nd Dutch/German Workshop on Non-Monotonic Reasoning, Utrecht, TUD/UU, 1995, pp.92-99; ext. abstr. in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. ECSQARU'95, Fribourg, Switzerland, July 1995) (Chr. Froidevaux & J. Kohlas, eds.), LNCS 946, Springer, Berlin, 1995, pp. 277-284; also in: Epistemic and Dynamic Logics for Non-Monotonic Reasoning (J.-J. Ch. Meyer, ed.), DRUMS 2 ESPRIT III (No. 6156) Deliverable D6.6 (WP6.3), Utrecht, 1995, pp. 51-58; Data and Knowledge Engineering 21 (3), 1997, pp. 317- 346; ; also in: 152, pp. 125-157.

96. W. van der Hoek, B. van Linder & J.-J. Ch. Meyer, Group Knowledge Isn't Always Distributed (Neither Is It Always Implicit), in Proc. BISFAI'95 (M. Koppel & E. Shamir, eds.), Ramat Gan/Jerusalem, 1995, pp. 191-200; in: J.-J. Ch. Meyer & L.C. van der Gaag (eds.), NAIC'96 - Proc. of the 8th Dutch Conf. on Artif. Intell.,

Utrecht, 1996, pp. 205-212; expanded version as Techn. Report UU-CS-1997-14;

Mathematical Social Sciences 38, 1999, pp. 215-240.

97. B. van Linder, W. van der Hoek & J.-J. Ch. Meyer, Actions that Make You Change Your Mind: Belief Revision in an Agent-Oriented Setting, UU-rapport UU-CS- 1994-53, Utrecht, 1994, 43p.; ext. abstr. under title "Belief Revision in an Agent- Oriented Setting" in Proc. NAIC'95, Rotterdam, juni'95 (J.C. Bioch & Y.-H. Tan, eds.), pp. 383-392; rev. ext. abstr. under title "Actions that Make you Change your Mind" in Proc. KI-95: Advances in Artificial Intelligence (I. Wachsmuth, C.- R. Rollinger & W. Brauer, eds.), LNAI/LNCS 981, Springer-Verlag, Berlin, 1995, pp. 185-196; also in: Epistemic and Dynamic Logics for Non-Monotonic Reasoning (J.-J. Ch. Meyer, ed.), DRUMS 2 ESPRIT III (No. 6156) Deliverable D6.6 (WP6.3), Utrecht, 1995, pp. 59-70; full version in: Knowledge and Belief in Philosophy and Artificial Intelligence (A. Laux & H. Wansing, eds.), Akademie Verlag, Berlin, 1995, pp. 103-146.

98. B. van Linder, W. van der Hoek & J.-J. Ch. Meyer, Seeing is Believing (And So Are Hearing and Jumping), UU-rapport UU-CS-1995-08, Utrecht, 1995, 33p.; in: Topics in Artificial Intelligence (Proc. AIIA'95) (M. Gori and G. Soda, eds.), Lecture Notes in Computer Science (Subseries LNAI) 992, Springer-Verlag, 1995, pp. 402-423; full version in: Journal of Logic, Language and Information 6,

1997, pp. 33-61; reprinted in 182, 2002, pp. 309-339.

99. B. van Linder, W. van der Hoek & J.-J. Ch. Meyer, How to Motivate Your Agents -

On Making Promises that You Can Keep, in: Working Notes of the IJCAI-95 Workshop on Agent Theories, Architectures, and Languages, Montréal, Canada, August 1995 (M. Wooldridge, K. Fischer, P. Gmytrasiewicz, N.R. Jennings, J.P. Müller & M. Tambe, eds.), 1995, pp. 28-40; revised version under title "How to Motivate Your Agents: on Formalising Preferences, Goals and Commitments", in Proc. of the 2nd Workshop of the ModelAge Project (MODELAGE'96) (J.L. Fiadeiro & P.-Y. Schobbens, eds.), Sesimbra, Portugal, Universidade de Lisboa, 1996, pp. 151-165; rev. version under title "Formalising Motivational Attitudes of Agents: On Preferences, Goals and Commitments, in: Intelligent Agents Volume II - Agent Theories, Architectures, and Languages (Post-proc. IJCAI'95 Workshop on "Agent Theories, Architectures, and Languages") (M. Wooldridge, J.P. Müller & M. Tambe, eds.), Lecture Notes in Computer Sciences (Subseries LNAI) 1037, Springer-Verlag, 1996, pp. 17-32; also in "Practical Reasoning and Rationality - Proc. of the DRUMS II Workshop (J. Bell & Z. Huang, eds.), Windsor, Feb. 1996.

100. J.-J. Ch. Meyer & W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press, 1995.

101. J.-J. Ch. Meyer, A Dynamic Logic Approach to Deontic Logic, in: Proc. ModelAge'95, INRIA, Sophia Antipolis, 1995, pp. I.0 - I.13 (copies of transparancies).

102. J.-J. Ch. Meyer & W. van der Hoek, Modal Logics for Representing Incoherent Knowledge, Techn. Report UU-CS-1995-19, Utrecht University, 1995, 43 p.;

in: Handbook of Defeasible Reasoning and Uncertainty Management Systems,

Vol. 2: Reasoning with Actual and Potential Contradiction (Ph. Besnard & A. Hunter, eds.), Kluwer, Dordrecht/Boston, 1998, pp. 37-75.

103. F. Dignum, J.-J. Ch. Meyer , R.J. Wieringa & R. Kuiper, A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation, in: Deontic Logic, Agency and Normative Systems (Proc. DEON'96) (M.A. Brown & J. Carmo, eds.), Workshops in Computing, Springer, Berlin, 1996, pp. 80-97.

104. W. van der Hoek, B. van Linder & J.-J. Ch. Meyer, Using Modal Logic to Model Rational Agents, Proc. of 1st Int. Workshop of Decentralized Intelligent Multi- Agent Systems (DIMAS'95), Univ. of Mining and Metallurgy/AGH, Kraków, 1995, pp. 215-224.

105. L.C. van der Gaag & J.-J. Ch. Meyer, Characterising Normal Forms for Informational Independence, Techn. Report UU-CS-1996-21, Utrecht University, 1996, 6 p.; in Proc. 6th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), Vol. II, Granada, 1996, pp. 973-978; full version under title "Informational Independence: Models and Normal Forms" as report UU-CS-1997-17; also in Int. J. of Intelligent Systems 13, 1998, pp. 83-109.

106. J.-J. Ch. Meyer (ed.), Epistemic and Dynamic Logics for Non-Monotonic Reasoning, DRUMS 2 ESPRIT III (No. 6156) Deliverable D6.6 (WP6.3), Utrecht, 1995.

107. J.-J. Ch. Meyer & J.C. van Leeuwen, Possible World Semantics for Analogous Reasoning, Report UU-CS-1995-38, Utrecht University, 1995, 20 p.; (ext. abstr.) in: Practical Reasoning (Proc. FAPR'96) (D.M. Gabbay & H.J. Ohlbach, eds.), LNAI 1085, Springer, Berlin, 1996, pp. 414-429.

108. M. van Hulst & J.-J. Ch. Meyer, A Knowledge-Based Compositional Proof System for Parallel Processes, Report UU-CS-1996-19, Utrecht University, 1996, 32 p.

109. J.-J. Ch. Meyer, R.J. Wieringa & F.P.M. Dignum, The Role of Deontic Logic in the Specification of Information Systems, abstract (by J.-J. Ch. Meyer) in Dagstuhl- Seminar-Report 121 (J. Chomicki, G. Saake & Chr. Sernadas, eds.), Schloss Dagstuhl, 1995; full version as Techn. Report UU-CS-1996-55; in: Logics for Databases and Information Systems (J. Chomicki & G. Saake, eds.),

Kluwer, Boston/Dordrecht, 1998, pp. 71-115.

110. J.-J. Ch. Meyer & L.C. van der Gaag (eds.), NAIC'96 - Proc. of the 8th Dutch Conf. on Artif. Intell., Utrecht, 1996.

111. P.A. Spruit, R.J. Wieringa & J.-J. Ch. Meyer, Regular Database Update Logics,

TCS 254, 2001, pp. 591-661.

112. J.-J. Ch. Meyer & P. Doherty, Preferential Action Semantics (Preliminary Report), Report UU-CS-1996-32, Utrecht University, 1996, 13 p.; in Proc. of the 4th ModelAge Workshop on Formal Models of Agents (ModelAge'97) (A. Cesta &

P.-Y. Schobbens (eds.), IP-CNR, Roma, 1997, pp. 187-200; rev. version in: (J.-J.

Ch. Meyer & P.-Y. Schobbens, eds.), Formal Models of Agents (LNAI 1760), Springer, Berlin, 1999, pp. 187-201; reprinted in: 182, 2002, pp. 411-426.

113. J.-J. Ch. Meyer, Logic for Multi-Agent Systems, abstract invited tutorial in: Proc.

Logic Colloquium '96 (European Summer Meeting of the Association for Symbolic Logic) (J. Larrazabal, ed.), ASL/Univ. of Donostia/San Sebastian, Spain, 1996, pp.

79-83; also in the Bulletin of Symbolic Logic 3(2), 1997, pp. 248-249.

114. T.W.C. Huibers, B. van Linder & J.-J. Ch. Meyer, An Agent-Oriented approach to Information Retrieval, in: J.-J. Ch. Meyer & L.C. van der Gaag (eds.), NAIC'96 - Proc. of the 8th Dutch Conf. on Artif. Intell., Utrecht, 1996, pp. 213-222.

115. L.C. van der Gaag & J.-J. Ch. Meyer, The Dynamics of Probabilistic Structural Relevance, Report UU-CS-1996-47, Utrecht University, 1996, in:

J.-J. Ch. Meyer & L.C. van der Gaag (eds.), NAIC'96 - Proc. of the 8th Dutch Conf. on Artif. Intell., Utrecht, 1996, pp. 145-156.

116. B. van Linder, J.-J. Ch. Meyer & W. van der Hoek, Formalising Motivational Attitudes of Agents Using the KARO Framework, Techn. Report UU-CS-1997- 03, Utrecht University, 1997, 29 p.; revised version: J.-J. Ch. Meyer, W. van der Hoek & B. van Linder, A Logical Approach to the Dynamics of Commitments, CKI Preprint Series No 14, 1999; AI Journal 113, 1999, 1-40; abridged version

as: J.-J. Ch. Meyer, W. van der Hoek & B. van Linder, Motivational Attitudes in the KARO Framework, in: 182, 2002, pp. 341-356.

117. W. van der Hoek, B. van Linder & J.-J. Ch. Meyer, An Integrated Modal Approach to Rational Agents, Report UU-CS-1997-06, Utrecht University, 1997, 37 p.;

in: J. Bell, Z. Huang & S. Parsons (eds.), Proc. of the 2nd Workshop on Practical Reasoning and Rationality (AISB/PRR'97), Univ. of Manchester, 1997, pp. 123-159; in: M. Wooldridge & A. Rao (eds.), Foundations of Rational Agency, Applied Logic Series 14, Kluwer, Dordrecht, 1998, pp. 133-168; also (regarding course "Logical Foundations of Agent-Based Computing") in Proc. First European Agent Systems Summer School (EASSS'99) (G. Weiss, W. van der Hoek & M. Wooldridge, eds.), Utrecht University / AgentLink, Utrecht, 1999, 36 p.

118. J.-J. Ch. Meyer (red.), Themanummer Kennistechnologie, Informatie, jaargang 39, juni 1997.

119. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, A Language for Modular Information-Passing Agents, Report UU-CS-1997-16, Utrecht University, 1997; ext. abstract in Proc. of the ESSLI'97 Symposium on Logical Approaches to Agent Modelling and Design (W. van der Hoek, Y. Lespérance & R. Sherl, eds.), Aix-en-Provence, 1997, pp. 46-56; also in Proc. NAIC'97

(K. van Marcke & W. Daelemans, eds.), Antwerpen, 1997, pp. 393-402;

also in working notes of 2nd UK Workshop on Foundations of Multi-Agent Systems (FoMAS'97) (M. Luck, M. Fisher, M. d'Inverno, N. Jennings & M. Wooldridge (eds.), Univ. of Warwick, 1997; abstract included in: M. Luck, M. D'Inverno, M. Fisher & FOMAS'97 Contributors, Foundations of Multi-Agent Systems: Techniques, Tools and Theory, The Knowledge Engineering Review 13(3), 1998, pp. 297-302; expanded version in: CWI Quarterly 11(2,3), 1998, pp. 273-297.

120. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Formal Semantics for an Abstract Agent Programming Language, in Preproceedings of ATAL'97 (M.P. Singh, A.S. Rao & M.J. Wooldridge, eds.), Providence RI, 1997,

pp. 204-218; in Proc. of the ESSLI'97 Symposium on Logical Approaches to

Agent Modelling and Design (W. van der Hoek, Y. Lespérance & R. Sherl, eds.),

Aix-en-Provence, 1997, pp. 57-71; also in Proc. NAIC'97 (K. van Marcke & W.

Daelemans, eds.), Antwerpen, 1997, pp. 403-412.in: Intelligent Agents IV, (M.P.

Singh, A. Rao & M.J. Wooldridge, eds.), LNAI 1365, Springer, 1998, pp. 215-

229.

121. J. Krabbendam & J.-J. Ch. Meyer, Release Logics for Temporalizing Dynamic Logic, in Preproceedings 2nd International Conference on Temporal Logic (ICTL'97), (H. Barringer; M. Fischer; D. Gabbay & G. Gough, eds.), Univ. of Manchester, Manchester, 1997, pp 19-42; revised version under title “Release

Logics for Temporalizing Dynamic Logic, Orthogonalising Modal Logics”, in:

Advances in Temporal Logic (H. Barringer, M. Fisher; D. Gabbay & G. Gough, eds.), Kluwer, 2000, pp. 21-45.

122. J.-J. Ch. Meyer, Modal Epistemic and Doxastic Logic, in: Handbook of

Philosophical Logic (2nd edition) (D. Gabbay & F. Guenthner, eds.) Vol. 10, Kluwer, Dordrecht, 2003, pp. 1-38.

123. B. van Linder, W. van der Hoek & J.-J. Ch. Meyer, Formalising Abilities and Opportunities of Agents, Techn. Report UU-CS-1998-08, Utrecht University, 1998, 46p.; in Fundamenta Informaticae 34(1, 2), 1998, pp. 53-101; reprinted in

182, 2002, pp. 253-307.

124. J. Krabbendam & J.-J. Ch. Meyer, Contextual Deontic Logics, in Proc. DEON'98

(P. McNamara & H. Prakken, eds.), University of Bologna, 1998, pp. 271-290; revised version in: Norms, Logics and Information Systems ( P. McNamara & H. Prakken, eds.), IOS Press, Amsterdam/Berlin, 1999, pp. 347-362.

125. F. Dignum, R. Kuiper & J.-J. Ch. Meyer, An Investigation into Deontics of Durative Actions, in Proc. DEON'98 (P. McNamara & H. Prakken, eds.), University of Bologna, 1998, pp.179-195.

126. J.-J. Ch. Meyer, Intelligent Agents, De Vakidioot, jaargang '97-'98, nr 3, 1997, pp. 2-8.

127. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Systems of Communicating Agents, in Proc. ECAI-98 (H. Prade, ed.), Brighton, Wiley, 1998,

pp. 293-297.

128. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Information- Passing and Belief Revision in Multi-Agent systems, in Pre-Proceedings 5th Int. Workshop on Agent Theories, Architectures and Languages (ATAL'98) (J.P. Müller, M.P. Singh & A.S. Rao, eds.), Paris, 1998, pp. 75-89; in: Intelligent Agents V (Agent Theories, Architectures, and Languages) (J.P. Müller, M.P.

Singh & A.S. Rao (eds.), LNAI 1555, Springer, Berlin, 1999, pp. 29-45; abstract in: Proc. 3rd Int. Conf. on Multi-Agent Systems (ICMAS'98) (Y. Demazeau, ed.), IEEE Computer Society, Los Alamitos CA, 1998, pp. 473-474.

129. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Constructing Translations between Individual Vocabularies in Multi-Agent Systems, in Proc.

8th Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98) (F. Giunchiglia, ed.), Sozopol, Bulgaria, LNAI 1480, Springer, Berlin, 1998, pp. 240-253; abstract in Proc. NAIC'98 (H. La Poutré & J. van den Herik, eds.), CWI, Amsterdam, p. 307; also under title "Translations of Vocabularies in Systems of Communicating Agents" in Working Notes of Workshop of UK Special Interest Group on Multi-Agent Systems, Manchester, 1998, 14 p.; revised, expanded version in: Proc. Second workshop on concurrent constraint programming for time critical applications and multi-agent systems (COTIC'98)}, Electronic Notes in Theoretical Computer Science 16(1), 1998, "http://www.elsevier.nl/locate/entcs/volume16.html".

130. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Control Structures of Rule-Based Agent Languages, in Pre-Proceedings 5th Int. Workshop on Agent Theories, Architectures and Languages (ATAL'98) (J.P. Müller, M.P. Singh & A.S. Rao, eds.), Paris, 1998, pp. 231-245; in: Intelligent Agents V (Agent Theories, Architectures, and Languages) (J.P. Müller, M.P. Singh & A.S. Rao (eds.), LNAI 1555, Springer, Berlin, 1999, pp. 381-396.

131. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, A Formal Embedding of AgentSpeak(L) in 3APL, Techn. Report UU-CS-1998-07, Utrecht University, 1998, 24p.; in Proc. NAIC'98 (H. La Poutré & J. van den Herik, eds.), CWI, Amsterdam, pp. 249-258; in: Advanced Topics in Artificial Intelligence (Proc. AI'98) (G. Antoniou and J. Slaney, eds.), LNAI 1502, Springer-Verlag, Berlin, 1998, pp. 155-166.

132. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, A Formal

Semantics of the Core of AGENT-0, in Proc. ECAI'98 Workshop on Practical Reasoning and Rationality (PRR'98) (J. Bell, ed.), Brighton, England, 1998, pp. 20-29; revised abridged version in Proc. BNAIC'99 (11th Belgium-Netherlands Conference on Artificial Intelligence), (E. Postma & M. Gyssens, eds,), Maastricht, 1999, pp. 27-34; revised and extended version under title “An Operational Semantics for the Single Agent Core of AGENT0”, Techn. Report UU-CS-1999-30, Utrecht University, Utrecht, 1999, 20 p.

133. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Failure, Monitoring and Recovery in the Agent Language 3APL, AAAI Fall Symp. on Cogn. Robotics, Orlando FL, Techn. Report FS-98-02, AAAI Press, Menlo Park CA, pp. 68-75.

134. J.-J. Ch. Meyer (red.), Intelligent Agents, themanummer Informatie, jaargang 40, april 1998.

135. J.-J. Ch. Meyer, Intelligent Agents, Informatie jaargang 40, april 1998, pp. 6-13.

136. J.-J. Ch. Meyer, Agent Languages and Their Relationship to Other Programming

Paradigms, in: Intelligent Agents V (Agent Theories, Architectures, and Languages) (J.P. Müller, M.P. Singh & A.S. Rao (eds.), LNAI 1555, Springer, Berlin, 1999, pp. 309-316.

137.W. van der Hoek, J.-J. Ch. Meyer & J.W. van Schagen, Formalizing Potential of

Agents: The KARO Framework Revisited, in: Formalizing the Dynamics of

Information (M. Faller, S. Kaufmann & M. Pauly, eds.), CSLI Publications,

(CSLI Lect. Notes 91), Stanford, 2000, pp. 51-67.

138. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, A Modal Logic

for Network Topologies,.in Proc. of the 7th European Workshop on Logics in

Artificial Inteligence (JELIA 2000) (Ojeda-Aciego, M. and Guzman, I.P. de &

Brewka, G. and Pereira, L.M., eds.),, LNAI 1919, Springer-Verlag, Heidelberg, 2000, pp. 269-283.

139. J.-J. Ch. Meyer, Epistemic Logic, Chapter 9 of: The Blackwell Guide to

Philosophical Logic (L. Goble, ed.), Blackwell Publishers, Oxford, UK, 2001, pp.

183-202; also Preprint no 010, CKI/Artificial Intelligence Preprint Series, 1999.

140. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Agent Programming in 3APL, in Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 1999, pp.357-401.

141. M.M. de Weerdt, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Imprecise Observations of Mobile Robots Specified by a Modal Logic, in Proc. of the fifth annual conference of the Advanced School for Computing and Imaging

(ASCI'99), (M. Boasson, J.A. Kaandorp, J.F.M. Tonino & M.G. Vosselman, eds.), Heijen, The Netherlands, June 15-17, 1999, pp. 184-190.

142. F.S. de Boer, R.M. van Eijk, W. van der Hoek & J.-J. Ch. Meyer, Failure

Semantics for the Exchange of Information in Multi-Agent Systems, in: Proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) (C. Palamidessi, ed.), LNCS 1877, Springer-Verlag, Heidelberg, 2000, pp. 214-228; revised expanded version under title “A Fully-Abstract Model for the Exchange of Information in Multi-Agent Systems”, Theoretical Computer Science 290, 2003, pp. 1753-1773.

143. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Semantics of Communicating Agents Based on Deduction and Abduction, Report UU-CS-1999- 09, Utrecht University, Utrecht, 1999, 33 p.; ext. abstract in Proc. IJCAI'99 Workshop ABS-2 on Agent Communication Languages (F. Dignum & B. Chaib- draa, eds.), Stockholm, 1999, pp. 105-118;; also in 153; revised version in:

Issues in Agent Communication (F. Dignum & M. Greaves, eds.), LNAI 1916,

Springer, Berlin, 2000, pp. 63-79.

144. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Operational

Semantics for Agent Communication Languages, Report UU-CS-1999-08, Utrecht University, Utrecht, 1999, 22 p.; ext. abstract in Proc. IJCAI'99 Workshop ABS-2 on Agent Communication Languages (F. Dignum & B. Chaib-draa, eds.), Stockholm, 1999, pp. 89-103; also in 153; in: Issues in Agent

Communication: Proc. of First Workshop on Agent Communication

Languages (F. Dignum & B. Chaib-draa, eds.), Springer, Heidelberg, 2000;

revised version in: Issues in Agent Communication (F. Dignum & M. Greaves, eds.), LNAI 1916, Springer, Berlin, 2000, pp. 80-95; also in:

Proceedings of Second Workshop of UK Special Interest Group on Multi-Agent

Systems (UKMAS'99)}, "Hewlett-Packard Laboratories, Bristol, U.K., 1999;

abstract in: K. Decker, M. Fisher, M. Luck, M. Tennenholtz & UKMAS'98

Contributors, Continuing Research in Multi-Agent Systems, The Knowledge

Engineering Review 14(3), 1999, pp. 279-283;

145. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Open Multi- Agent Systems: Agent Communication and Integration, Report UU-CS-1999-17, Utrecht University, Utrecht, 1999, 15 p.; also in Pre-Proceedings of the Sixth Int. Workshop on Agent Theories, Architectures, and Languages (ATAL'99), (N.R. Jennings & Y. Lespérance, eds.), Orlando, Florida, 1999, pp. 176-190; rev. version in: Intelligent Agents VI, Proc. of 6th Int. workshop on Agent Theories,

Architectures, and Languages (ATAL’99) (N.R. Jennings & Y. Lespérance, eds.),

LNAI 1757, Springer, Heidelberg, 2000, pp. 218-232; abstract in BNAIC’99

(11th Belgium-Netherlands Conference on Artificial Intelligence), (E. Postma &

M. Gyssens, eds,), Maastricht, 1999, pp. 239-240.

146. J.-J. Ch. Meyer, Dynamic Logic for Reasoning about Actions and Agents, in

Pre-prints Workshop on Logic-Based Artificial Intelligence (LBAI'99) (J. Minker,

ed.), Washington, D.C., 1999, 30 p.; also CKI preprint no.12, Univ. Utrecht, 1999; revised version Chapter 13 in: Logic-Based Artificial Intelligence (J. Minker, ed.), Kluwer, Boston/Dordrecht, 2000, pp. 281-311.

147. W. van der Hoek & J.-J. Ch. Meyer, A Postscript to a Completeness Proof for Johan, in: JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday (J. Gerbrandy, M. Marx, M. de Rijke & Y. Venema), Amsterdam University Press, Amsterdam, 1999.

148. J. Broersen, R.J. Wieringa & J.-J. Ch. Meyer, -calculus-based Deontic Logic for

Regular Actions, in Proc. 5th Int. workshop on Deontic Logic in Computer

Science (EON’00) (R. Demolombe & R. Hilpinen, eds.), Toulouse, 2000, pp. 43- 61; revised version under title “A Fixed-Point Characterization of a Deontic Logic of Regular Action”, Fundamenta Informaticae 45, 2001, pp. 1-21.

149. J.-J. Ch. Meyer, Logic in AI, in: Artificial Intelligence : Definition, Trends,

Techniques and Cases, from Encyclopedia of Life Support Systems (EOLSS), Developed under the Auspices of the UNESCO, Eolss Publishers, Oxford ,UK, [http://www.eolss.net]

150. J.-J. Ch. Meyer, Keynote address: Formal and Informal Aspects of Intelligent

Agent-Based Systems, in: (Proc. of IFIP TC8/WG8.1 Int. Conf. on) Information

System Concepts: An Integrated Discipline Emerging (ISCO-4) (E.D. Falkenberg,

K. Lyytinen & A.A. Verrijn-Stuart, eds.), Kluwer, Boston / Dordrecht, 2000,

pp. 299-310.

151. J.-J. Ch. Meyer & J. Treur, Introduction to “Dynamics and Management of

Reasoning Processes”, in 152, 2001, pp. 1-6.

152. J.-J. Ch. Meyer & J. Treur (eds.), Dynamics and Management of Reasoning

Processes, Handbook of Defeasible Reasoning and Uncertainty Management

Systems, Vol. 6, Kluwer, Dordrecht/Boston/London, 2001, 385 p.

153. W. van der Hoek, J.-J. Ch. Meyer & C. Witteveen (eds.), Foundations and Applications of Collective Agent-Based Systems (CABS), Workshop at 11th European Summer School in Logic, Language and Information (ESSLLI'99), Utrecht University, 1999.

154. J.-J. Ch. Meyer, Technische Kunstmatige Intelligentie, De Vakidioot, jaargang

‘99/’00, nummer 2, pp. 23-27.

155. J.-J. Ch. Meyer & P.-Y. Schobbens (eds), Formal Models of Agents (LNAI 1760),

Springer, Berlin, 1999, 253 p.

156. J.-J. Ch. Meyer & P.-Y. Schobbens, Formal Models of Agents: an Introduction, in

J.-J. Ch. Meyer & P.-Y. Schobbens (eds.), Formal Models of Agents (LNAI 1760), Springer, Berlin, 1999, pp. 1-7.

157. J.-J. Ch. Meyer, Onderwijs, onderzoek en toepassing, hoofdstuk I 2 in ICT-

zakboekje (T. Bemelmans, P. de Bra, M. Looijen & G. van Oortmerssen, red.),

PBNA, Arnhem, 1999, pp. 10-17.

158. B.P. Harrenstein, W. van der Hoek, J.-J. Ch. Meyer & C. Witteveen, Subgame

Perfect Nash Equilibria in Dynamic Logic, in: Proc. of the ILLC Workshop on Logic and Games (M. Pauly & A. Baltag, eds.), Amsterdam, ILLC Prepublications Series PP-1999-25, ILLC, Amsterdam, 1999, pp. 29-30; extended version under title “A Modal Interpretation of Nash-Equilibria and Some Related Concepts”, in Preproc. 4th Conf. on Logic and the Foundations of Game anf Decision Theory (LOFT 2000) (G. Bonanno, E. Colombatto & W. van der Hoek, eds.), ICER, Turin, 2000, pp. 1-21; also in: CABS Project Team, CABS Progress Report Jan – June 2000, TU Delft, 2000; revised version under title “On Modal Logic Interpretations of Games”,, in: Proc. ECAI’02, 15th European Conf. on Artif. Intell. (F. van Harmelen, ed.), Lyon, France, IOS Press, Amsterdam, 2002, pp. 28-32.

159. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, A Programming

Logic for Part of the Agent Language 3APL, in: (Proc. First Goddard Workshop on) Formal Approaches to Agent-Based Systems (FAABS 2000) (Rash, J.L. and Rouff, C.A.and Truszkowski, W.and Gordon, D. and Hinchey, M.G. eds.),, LNAI 1871, Springer, Berlin/Heidelberg, 2001, pp. 78-89.

160. U. Hustadt , C. Dixon, R.A. Schmidt, M. Fisher, J.-J. Ch. Meyer, & W. van der

Hoek, Verification within the KARO Agent Theory, in: (Proc. First Goddard Workshop on) Formal Approaches to Agent-Based Systems (FAABS 2000) (Rash, J.L. and Rouff, C.A.and Truszkowski, W.and Gordon, D. and Hinchey, M.G. eds.),, LNAI 1871, Springer, Berlin/Heidelberg, 2001, pp. 33-47; revised and extended version in: Agent Technology from a Formal Perspective (Rouff, C., Hinchey, M., Rash, J.;, Truszkowski, W., Gordon-Spears, D. , eds.), NASA Monographs in Systems and Software Engineering Series), Springer, Berlin, 2006, pp. 193-225;; also under title “Proof Methods for the KARO Framework” in Proc. FAPR2000/AgentLink Workshop “Practical Reasoning Agents” (W. van der Hoek & J.-J. Ch. Meyer, eds.), 2000.

161. U. Hustadt, C. Dixon, R.A. Schmidt, M. Fisher, J.-J. Ch. Meyer & W. van der Hoek,

Reasoning about Agents in the KARO Framework, in: Working Notes of the Third UK Workshop on Multi-Agent Systems (UKMAS-2000) (M. d’Inverno & M. Luck, eds.), Oxford, 14-15 Dec. 2000, 11 p.

162. J.M. Broersen , R.J. Wieringa & J.-J.Ch. Meyer, A Semantics for Persistency in

Propositional Dynamic Logic, in: Proceedings First International Conference on Computational Logic (CL2000), (J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L.M. Pereira, Y. Sagiv, P.J. Stuckey, eds.), LNAI 1861, Springer, 2000, pp. 912-925.

163. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Modal Logic with

Bounded Quantification over Worlds, J. of Logic and Computation 11(5), 2001, pp. 701—715.

164. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Generalised

Object-Oriented Concepts for Inter-Agent Communication, in Pre-Proc. 7th Int. Workshop on Agent Theories, Architectures, and Languages (ATAL 2000), Boston, 2000, pp. 248-262; also in: Intelligent Agents VII (C. Castelfranchi & Y. Lespérance, eds.), LNAI 1986, Springer, 2001, pp. 260-274.

165. K.V. Hindriks, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Agent

Programming with Declarative Goals, in Pre-Proc. 7th Int. Workshop on Agent Theories, Architectures, and Languages (ATAL 2000), Boston, 2000, pp. 217-231; also in: Intelligent Agents VII (C. Castelfranchi & Y. Lespérance, eds.), LNAI 1986, Springer, 2001, pp. 228-243.; also in: Proc. FAPR2000/AgentLink Workshop “Practical Reasoning Agents” (W. van der Hoek & J.-J. Ch. Meyer, eds.), 2000;

Revised and extended version under same title with authors F.S. de Boer, K.V. Hindriks, W. van der Hoek & J.-J. Ch. Meyer, submitted to JAL@@@

166. J.-J. Ch. Meyer, F.S. de Boer, R.M. van Eijk, K.V. Hindriks & W. van der Hoek,

On Programming KARO Agents, in: Proc. Int. Conf. on Formal and Applied Practical Reasoning (FAPR2000) (J. Cunningham & D. Gabbay, eds.), Imperial College, London, 2000, pp. 93-103 (ISSN1469-4166t

167. W. van der Hoek & J.-J. Ch. Meyer, Proc. FAPR2000/AgentLink Workshop

“Practical Reasoning Agents”, Imperial College, London, 2000.

168. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, A Verification

Framework for Agent Communication, Autonomous Agents and Multi-Agent Systems 6(2), 2003, pp. 185-219.

169. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Model-Theoretic

Account of First-Order Belief Expansion, manuscript.

170. J.-J. Ch. Meyer & J. Treur, Basic Concepts, in 152, 2001, pp. 7-13; also in 182,

2002, pp. 9-16.

171. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, On Dynamically

Generated Ontology Translators in Agent Communication, Int. J. of Intelligent Systems 16, 2001, pp. 587-607.

172. J.-J. Ch. Meyer, Schoonheid en informatica: schoonheid in de ogen van een (logico-)

informaticus, A-Eskwadraat Lustrumalmanak 2000-2001, Universiteit Utrecht, pp. 101-104.

173. J.-J. Ch. Meyer, Intelligent Agents: Issues and Logics, in: Logics for Emerging

Applications of Databases (J. Chomicki, R. van der Meyden & G. Saake,

eds.), Springer, Berlin, 2004, pp. 131-165; preliminary version as CKI preprint nr

031, May 2002, 34 p.

174. W. de Vries, W. van der Hoek, J.-J. Ch. Meyer and F.S. de Boer, "An

Operational Model for Agent Programming", in: Working Notes of the Third UK

Workshop on Multi-Agent Systems (UKMAS-2000) (M. d’Inverno & M. Luck, eds.), Oxford, 14-15 Dec. 2000, 13 p.

175. W. de Vries, F.S. de Boer, W. van der Hoek &. J.-J. Ch. Meyer, An Operational

Real-Time Model for Interacting Agents, accepted for MAAMAW’01, poster

presentation

176. W. de Vries, F.S. de Boer W. van der Hoek &. J.-J. Ch. Meyer, , A Truly

Concurrent Model for Interacting Agents, accepted for PRIMA-2001, in: Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents (PRIMA 2001) (Soe-Tsyr Yuan and Makoto Yokoo, eds.), LNAI 2132, Springer, 2001, pp. 16--30.

177. W. de Vries, F.S. de Boer, K.V. Hindriks, W. van der Hoek &. J.-J. Ch. Meyer, A

Programming Language for Coordinating Group Actions, in: Proc. of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS’01) (B. Dunin-Keplicz & E. Nawarecki, eds.), 2001, pp. 297—304; rev. version in: From Theory to Practice in Multi-Agent (B. Dunin-Keplicz and Edward Nawarecki, eds.),, LNAI 2296, Springer, 2002, pp. 313—321,; also in Proc. 13th Belgium-Netherlands Conf. on Artif. Intell. (BNAIC 2001) (B. Kröse, M, de Rijke, G. Schreiber & M. van Someren, eds.), Universiteit van Amsterdam, 2001,. pp. 267-274.

178. B.P. Harrenstein, W. van der Hoek, J.-J. Ch. Meyer & C. Witteveen, Boolen Games,

in : Theoretical Aspects of Rationality and Knowledge, Proceedings of the Eighth Conference (TARK 2001) (J.F.A.K. van Benthem, ed.),, Morgan Kaufmann, San Francisco, 2001, pp. 287—298.

179. J.-J. Ch. Meyer, Cognitieve Robotica, in Verslag Symposium Robotics, A-

Eskwadraat, Universiteit Utrecht, 2001, pp. 21-24.

180. U. Hustadt, C. Dixon, R.A. Schmidt, M. Fisher, J.-J. Ch. Meyer & W van der Hoek,

Reasoning about agents in the KARO framework, in: Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01) (C. Bettini & A. Montanari, eds.), Cividale del Friuli, Italy, IEEE Press, Los Alamitos, CA, USA ,2001, pp. 206—213.

181. J.-J. Ch. Meyer, Intelligente Agenten en Denkende Robots, in: M. Smit, R. Feitsma

& R. van Drent (red.), Science of Sciencefiction? Van wetenschappelijke ontdekking naar toepassing, Helix / Bureau Studium Generale, Universiteit Utrecht, Utrecht, 2001, pp. 32-43.

182. J.-J. Ch. Meyer & J. Treur (eds.), Agent-Based Defeasible Control in Dynamic

Environments, Handbook of Defeasible Reasoning and Uncertainty Management

Systems, Vol. 7, Kluwer, Dordrecht/Boston/London, 2002, x + 479p.

183. J.-J. Ch. Meyer & J. Treur, Introduction to “Agent-Based Defeasible Control in

Dynamic Environments”, in 182, 2002, pp. 3-8.

184. J.-J. Ch. Meyer, Book Review of “H.J. Levesque & G. Lakemeyer, The Logic of

Knowledge Bases”, Artificial Intelligence in Medicine 25, 2002, pp. 89-92.

185. J. Broersen, J.-J. Ch. Meyer & R.J. Wieringa, The Mutual Exclusion Problem in

Reasoning about Action and Change, in: Proc. of the 9th Int. Workshop on Non-Monotonic Reasoning (NMR-2002) (S. Benferhat & E. Giunchiglia, eds.), Toulouse, 2002, pp. 365-371

186. J.-J. Ch. Meyer & M.J. Wooldridge (eds.), Proceedings of workshop “Logics for

Agent-Based Systems (LABS)” at KR-2002, Toulouse, 2002, 73 p.

187 M. Dastani, F. de Boer, F. Dignum, W. van der Hoek, M. Kroese & J.-J. Ch. Meyer

(3APL Group), Programming the Deliberation Cycle of Cognitive Robots, in Proc. CogRob’02 (C. Baral & S. McIlraith (eds.), AAAI Press, 2002, pp. 22-28.

188. J.-J. Ch. Meyer & M. Tambe (eds.),: Pre-Proceedings of the 8th Int. Workshop on

Agent Theories, Architectures and Languages (ATAL 2001), Seattle, Washington, USA, August 1-3, 2001, 389 p. ; published in revised form as: J.-J. Ch. Meyer & M. Tambe (eds.), Intelligent Agents VIII: Agent Theories, Architectures and Languages (ATAL 2001 revised papers), LNAI 2333, Springer, Berlin/Heidelberg, 2002, xi + 461 p.

189. J.-J. Ch. Meyer & M. Tambe, Introduction to Intelligent Agents VIII, in: J.-J. Ch.

Meyer & M. Tambe (eds.), Intelligent Agents VIII: Agent Theories, Architectures and Languages (ATAL 2001 revised papers), LNAI 2333, Springer, Berlin/Heidelberg, 2002, pp. 1-5.

190.V. Dignum, J.-J. Ch. Meyer & H. Weigand, Towards an Organisational Model for

Agent Societies Using Contracts (abstract), in: Proc. of the 1st Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS2002) (C. Castelfranchi & W. L. Johnson, eds.), Bologna, Italy,, ACM Press, 2002, pp. 694-695.

191. J.-W. Roorda, W. van der Hoek & J.-J. Ch. Meyer, Iterated Belief Change in

Multiple Agent Systems, in: Proc. of the 1st Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS2002) (C. Castelfranchi & W. L. Johnson, eds.), Bologna, Italy,, ACM Press, 2002, pp. 889-896; full version under title “, Iterated Belief Change in Multi-Agent Systems”, Logic Journal of the IGPL 11(2), 2003, pp. 223-246

192. V. Dignum, J.-J. Ch. Meyer, H. Weigand & F. Dignum, An Organisational-oriented

Model for Agent Societies, in Proc. Int. Workshop on Regulated Agent-Based

Social Systems: Theory and Applications (RASTA’02) (G. Lindemann, D. Moldt,

M. Paolucci, B. Yu, eds.), Univ. Hamburg, FBI—HH-M-318/02, 2002, pp. 31-50;

193. J.-J. Ch. Meyer, Knowledge, Abilities, Results, and Opportunities, in: Liber

Amicorum Jaco de Bakker (F. de Boer, M. van der Heijden, P. Klint & J. Rutten, eds.), 2002, pp. 143-149.

194. H.-J. Lebbink,, C.L.M. Witteman & J.-J. Ch. Meyer, Ontology-Based Knowledge

Acquisition for Knowledge Systems, in: Proc. 14th Belgium-Netherlands Conf. On Artif. Intell. (BNAIC’02) (H. Blockeel & M. Denecker, eds.), Leuven, Belgium, 2002, pp. 195-202.

195. M. Dastani, F. de Boer, F. Dignum, W. van der Hoek, M. Kroese & J.-J. Ch. Meyer,

Implementing Cognitive Agents in 3APL, in: Proc. 14th Belgium-Netherlands Conf. On Artif. Intell. (BNAIC’02) (H. Blockeel & M. Denecker, eds.), Leuven, Belgium, 2002, pp. 515-516.

196. H. Weigand, V. Dignum, J.-J. Ch. Meyer & F. Dignum, Specification by

Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts, in: Petta, P. et al (eds), Workshop Notes of the 3rd Int Workshop Engineering Societies in the Agents World, Madrid, 2002, pp. 251-264; revised version in: Engineering Societies in the Agents World III (Proceedings ESAW’02) (P. Petta, R. Tolksdorf, F. Zambonelli, eds.):, LNAI 2577, Springer, Berlin, 2003, pp. 257-269.

197. V. Dignum, J.-J. Ch. Meyer, F. Dignum & H. Weigand, Formal Specification of

Interaction in Agent Societies, in: Formal Approaches to Agent-Based Systems (Proc. FAABS 2002) (M.G. Hinchey, J.L. Rash, W.F. Truszkowski, C. Rouff & D. Gordon-Spears, eds.), LNAI 2699, Springer, Berlin, 2003, pp. 37-52.

198. R.M. van Eijk, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Process Algebra

for Agent Communication: A General Semantic Approach, in: Communication in Multiagent Systems – Agent Communication Languages and Conversation Policies (M.-Ph. Huget, ed.), LNCS 2650, Springer-Verlag, Berlin, 2003, pp. 113 – 128.

199. M.B. van Riemsdijk, W. van der Hoek & J.-J. Ch. Meyer, Agent Programming in

Dribble: from Beliefs to Goals with Plans, abstract in: Formal Approaches to Agent-Based Systems (Proc. FAABS 2002) (M.G. Hinchey, J.L. Rash, W.F. Truszkowski, C. Rouff & D. Gordon-Spears, eds.), LNAI 2699, Springer, Berlin, 2003, pp. 294-295; full paper under title ” Agent Programming in Dribble: from Beliefs to Goals Using Plans” in: Proc. 2nd Int. J. Conf, on Autonomous Agents and Multiagent Systems (AAMAS’03)(J.S. Rosenschein, T. Sandholm, M. Wooldridge & M. Yokoo, eds.), Melbourne Australia, ACM Press, New York, 2003, pp. 393-400.

200. W. van der Hoek, J.W. Klop, J.-J.Ch. Meyer & R. de Vrijer, Collegediktaat

Inleiding Logica / Formele Methoden, VUA/UU, 1991 – 2002.

201. J.-J. Ch. Meyer, Intelligent agents (abstract), Proc. 11th Int. Coll. On Numerical

Analysis and Comp. Sc. With Applications (Plodiv 2002), Techn. Univ. Plovdiv, Plovdiv, Bulgaria, 2002, p. 40.

202. J.-J.Ch. Meyer, Intelligent Agents: From Foundations to Implementation, in: Proc.

Nederlandse ICT-Kenniscongres (E.H.L. Aarts, ed.), Ned. Congres Centrum, Den Haag, 5-6 sept. 2002, p. 95.

203. F.L. Koch & J.-J. Ch. Meyer, AgentLight: developing logic-based autonomous

agents for small devices, in: Proceedings of 1st Workshop of Dissertation Thesis on Artificial Intelligence, WTDIA'2002, Recife, Brazil, Nov/2002, pp. 12-18,

204. J.-J. Ch. Meyer, Agent Technology, De Vakidioot, jaargang '02-'03, nr 1, 2002, pp. 12-15.

205. M. Dastani, F. de Boer, F. Dignum, J.-J. Ch. Meyer, Programming Agent

Deliberation: An Approach Illustrated Using the 3APL Language, in: Proc. 2nd Int. J. Conf, on Autonomous Agents and Multiagent Systems (AAMAS’03)(J.S. Rosenschein, T. Sandholm, M. Wooldridge & M. Yokoo, eds.), Melbourne Australia, ACM Press, New York, 2003, pp. 97-104; abstract in: Proc. 15th Belgium-Netherlands Conf. On Artif. Intell. (BNAIC 2003) (T. Heskens, P. Lucas, L. Vuurpijl & W. Wiegerinck, eds.), KUN, Nijmegen, 2003, pp. 401 –402;..

206. H.M. Aldewereld, W. van der Hoek and J.-J.Ch. Meyer, Rational Teams: Logical

Aspects of Multi-Agent Systems. In: B. Dunin-Keplicz & R. Verbrugge (eds.), Proceedings of the first international workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03), pp. 35--52, Warsaw, Poland, 2003; revised version in Fundamenta Informaticae 63 (2-3), 2004, pp. 159 – 183.

207. E.C. ten Hoeve, M. Dastani, F. Dignum & J.-J. Ch. Meyer, 3APL Platform

(demonstration) , in Proc. 15th Belgium-Netherlands Conf. On Artif. Intell. (BNAIC 2003) (T. Heskens, P. Lucas, L. Vuurpijl & W. Wiegerinck, eds.), KUN, Nijmegen, 2003, pp. 451-452..

208. M. Dastani, M.B. van Riemsdijk, F. Dignum & J.-J. Ch. Meyer, A Programming

Language for Cognitive Agents: Goal-Directed 3APL, in: Proceedings of the First Workshop on Programming Multiagent Systems: Languages, frameworks, techniques, and tools (ProMAS03), (M. Dastani, J. Dix, A. El Fallah-Seghrouchni & D. Kinny, eds.), Melbourne, 2003, pp. 9-15,; revised version in: Programming Multi-Agent Systems (Proc. ProMAS 2003) (M. Dastani, J. Dix, A. El Fallah-Seghrouchni, eds.), LNAI 3067, Springer, Berlin, 2004, pp. 111-130; also in Proc. 15th Belgium-Netherlands Conf. On Artif. Intell. (BNAIC 2003) (T. Heskens, P. Lucas, L. Vuurpijl & W. Wiegerinck, eds.), KUN, Nijmegen, 2003, pp. 83-90.

209. J.-J. Ch. Meyer, Tools and Education Towards Formal Methods Practice, in: Formal

Approaches to Agent-Based Systems (Proc. FAABS 2002) (M.G. Hinchey, J.L. Rash, W.F. Truszkowski, C. Rouff & D. Gordon-Spears, eds.), LNAI 2699, Springer, Berlin, 2003, pp. 274-279.

210. H.-J. Lebbink, C. Witteman & J.-J. Ch. Meyer, Dialogue Games for Inconsistent and

Biased Information, in: Proc. Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'03), in Electronic Lecture Notes in Theoretical Computer Science 85(2), 2003, 18 p., http://www.elsevier.nl/locate/entcs/volume85.html; abstract under title “A Dialogue Game for Inconsistent and Biased Information “ in Proc. 15th Belgium-Netherlands Conf. On Artif. Intell. (BNAIC 2003) (T. Heskens, P. Lucas, L. Vuurpijl & W. Wiegerinck, eds.), KUN, Nijmegen, 2003, pp. 427-428.

211. M. Dastani, F. Dignum & J.-J. Ch. Meyer, 3APL – A Programming Language for

Cognitive Agents, ERCIM News No. 53, pp. 26-27, April 2003.

212. F. L. Koch & J.-J. Ch. Meyer, Knowledge-Based Autonomous Agents for Pervasive

Computing using AgentLight, in: ACM/IFIP/USENIX International Middleware Conference, MIDDLEWARE 2003 WORK-IN-PROGRESS, IEEE

Distributed Systems Online (http://dsonline.computer.org/0306/f/koc.htm),

Rio de Janeiro, BR, June 2003.

213. M. Dastani, F. Dignum & J.-J. Ch. Meyer,, Autonomy and Agent Deliberation, in:

Proceedings of The First International Workshop on Computational Autonomy - Potential, Risks, Solutions (Autonomous 2003) (M. Rovatsos & M. Nickles, eds.), Melbourne, 2003, pp. 23-35,; revised version in: Agents and Computational Autonomy: Potential, Risks, and Solutions (M. Nickels, M. Rovatsos & G. Weiss, eds.), LNCS 2969, Springer, Heidelberg, 2004, pp. 114-127.

214. H.-J. Lebbink, C. Witteman & J.-J. Ch. Meyer,, A Dialogue Game to Agree to

Disagree about Inconsistent Information, presented at DiaBruck 2003 (7th Workshop on the Semantics and Pragmatics of Dialogue (SEMDIAL),; also in: Proc. 1st European Workshop on Multi-Agent Systems (EUMAS 2003) (M. d’Inverno, C. Sierra & F. Zambonelli, eds.), St Catherine’s College, Oxford University, Oxford, 2003, 7 p.; abstract under title “A Dialogue Game to Offer an Agreement to Disagree” in: Proc. 3rd Int. Joint Conf. On Autonomous Agents & Multi Agent Systems (AAMAS 2004) (N.R. Jennings, C. Sierra, L. Sonenberg & M. Tambe, eds.), ACM, New York, 2004, pp. 1238-1239; full version in Proc. ProMAS 2004 (R.H. Bordini, M. Dastani, J, Dix & A El Fallah-Seghrouchni, eds.), AAMAS 2004, New York, 2004, pp..103-114; revised version in: Programming Multi-Agent Systems (ProMAS 2004) (R.H. Bordini, M. Dastani, J, Dix & A El Fallah-Seghrouchni, eds.),, LNAI 3346, Springer, Berlin/Heidelberg, 2005, pp. 199-223.

215. J.-J. Ch. Meyer, Specifying Multi-Agent Systems: From Individual (Mental)

Attitudes to Social (Normative( Attitudes, exposé invité / abstract invied lecture, in: Proc Modèles formels de l’interaction (MFI’03) (A. Herzig, B. Chaib-Draa & Ph. Mathieu, eds.), Lille, Cépaduès-éditions, Toulouse, 2003, p. 313.

216. M. van Otterlo, M. Wiering, M. Dastani, & J.-J. Ch. Meyer, A Characterization of

Sapient Agents, in Proc. 1st Int. Conf. on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS-03), H. Hexmoor (ed.), IEEE press, Boston, MA, 2003, pp. 172-177; reprinted in Proc. 2005 IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS’05,) Workshop on Sapient Agents (R.V. Mayorga & L.I. Perlovsky, eds.). Boston MA, USA, April 2005.

217. B.P. Harrenstein, W. van der Hoek, J.-J. Ch. Meyer & C. Witteveen, A Modal

Characterization of Nash Equilibrium, Fundamenta Informaticae 57(2-4), 2003, pp. 281—321.

218. V. Dignum, F. Dignum & J.-J. Ch. Meyer, An Agent-Mediated Approach to the

Support of Knowledge Sharing in Organizations, The Knowledge Eng. Review 19(2), 2004 [publ. online 2005], pp; 147-174; also Techn. Report UU-CS-2004-019, Utrecht University, 2004

219. J. Bentahar, B. Moulin, J.-J. Ch. Meyer & B. Chaib-draa, A Logical Model for

Commitment and Argument Network for Agent Communication (ext. abstr.), in: Proc. 3rd Int. Joint Conf. On Autonomous Agents & Multi Agent Systems (AAMAS 2004) (N.R. Jennings, C. Sierra, L. Sonenberg & M. Tambe, eds.), ACM, New York, 2004, pp. 792-799; full version submitted @@@

220. M.B. van Riemsdijk, J.-J. Ch. Meyer & F.S. de Boer, Semantics of Plan Revision in

Intelligent Agents, in: Ch. Rattray, S. Maharaj & C. Shankland, (eds.), Algebraic Methodology and Software Technology (Proc. AMAST 2004), Sirling, Scotland, LNCS 3116, Springer, Berlin, 2004, pp. 426-442; extended version in Theoretical Computer Science 351, 2006, pp. 240-257; also Technical Report UU-CS-2004-002, Utrecht University, Utrecht, 2004.

221. F.S. de Boer, C. Pierik, R.M. van Eijk & J.-J. Ch. Meyer, Coordinating Agents in

OO, in: Objects, Agents, and Features (M. Ryan, J.-J. Ch. Meyer & H.-D. Ehrich, eds., LNCS 2975, Springer, Berlin, 2004, pp. 8-25.

222. F. Dignum, J. Broersen, V. Dignum & J.-J. Ch. Meyer, Meeting the Deadline: Why,

When and How, in: Formal Approaches to Agent-Based Systems (FAABS 2004),

Revised Selected Papers (M.G. Hinchey, J.L. Rash, W.F. Truszkowski, eds.).,

Greenbelt, MD, April 26-27, 2004, LNAI 3228, Springer, Berlin/Heidelberg, 2005, pp. 30-40.

223. M. Dastani, J. Hulstijn F. Dignum, , & J.-J. Ch. Meyer, Issues in Multiagent System

Development, in: Proc. 3rd Int. Joint Conf. On Autonomous Agents & Multi Agent Systems (AAMAS 2004) (N.R. Jennings, C. Sierra, L. Sonenberg & M. Tambe, eds.), ACM, New York, 2004, pp. 922-929; abstract in: Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004) (R. Verbrugge, N. Taatgen & L. Schomaker, eds.), Univ. of Groningen, 2004, pp. 353-354.

224. D. Grossi, F. Dignum, L.M.M. Royakkers & J.-J. Ch. Meyer, Collective Obligations

and Agents: Who Gets the Blame?, in: Proc. Deontic Logic in Computer Science (DEON 2004) (A. Lomuscio & D. Nute, eds.), LNAI 3065, Springer, Berlin, 2004, pp. 129-145.

225. M. Ryan, J.-J. Ch. Meyer & H.-D. Ehrich (eds.), Objects, Agents, and Features,

LNCS 2975, Springer, Berlin, 2004, 227p.

226. J.-J. Ch. Meyer, M.D. Ryan & H.-D. Ehrich, Objects, Agents, and Features: An

Introduction, in: Objects, Agents, and Features (M. Ryan, J.-J. Ch. Meyer & H.-D. Ehrich, eds., LNCS 2975, Springer, Berlin, 2004, pp. 1-7.

227. J. van Diggelen, R.J. Beun, F. Dignum, R.M. van Eijk, J.-J. Ch.. Meyer, Optimal

Communication Vocabularies in the Presence of Heterogeneous Ontologies, Technical Report UU-CS-2004-003, Utrecht University, 2004; under title “Optimal communication vocabularies and heterogeneous ontologies” in Pre-proceedings AAMAS’04 Workshop on Agent Communication (ACL'04) (F. Dignum, R.M. van Eijk & M.-Ph. Huget, eds.), New York, NY, 2004, pp. 75 - 89; in: Agent Communication:international Workshop on Agent Communication (AC 2004) (R.M. van Eijk, M.-Ph. Huget & F. Dignum,, eds.), LNAI 3396, Springer, Berlin/Heidelberg, 2005, pp. 76-90.

228. J.-J. Ch. Meyer, Reasoning about Emotional Agents, in Proc.16th European Conf. on

Artif. Intell. (ECAI 2004) (R. López de Mántaras & L. Saitta, eds.), IOS Press, 2004, pp. 129-133; ext. version technical report CKI; abstract in: Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004) (R. Verbrugge, N. Taatgen & L. Schomaker, eds.), Univ. of Groningen, 2004, pp. 375-376; full version: Preprint no 44, CKI/Artificial Intelligence Preprint Series, 2004; also in Int. J. of Intelligent Systems 21 (6), 2006, pp. 601-619.

229. J. Broersen, F. Dignum, V. Dignum & J.-J. Ch. Meyer, Designing a Deontic Logic

of Deadlines, in: Proc. Deontic Logic in Computer Science (DEON 2004) (A. Lomuscio & D. Nute, eds.), LNAI 3065, Springer, Berlin, 2004, pp. 43-56.

230. A. Hommersom, J.-J. Ch. Meyer & E.P. de Vink, A Semantic Approach for

Reasoning about Security Protocols (extended abstract), in Proc. ESSLLI’04-Workshop on Logic and communication in multi-agent systems (LCMAS’04) (A. Lomuscio, W. van der Hoek, M. Wooldridge & E. de Vink, eds.), organized by LORIA, INRIA, université Henri Poincare, Nancy, France, 2004, pp. 79-97; revised version under title “Toward Reasoning about Security Protocols: A Semantic Approach” in Electronic Notes in Theoretical Computer Science 126 (Proc. of the 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems, W. van der Hoek, A. Lomuscio, E. de Vink & M. Wooldridge, eds. ), Elsevier, 2005, pp. 53-75; full version under title “Update Semantics of Security Protocols”, Synthese 142, 2004, pp. 229-267 (Knowledge, Rationality & Action subseries pp. 289-327).

231. M.B. van Riemsdijk, M. Dastani, F. Dignum & J.-J. Ch. Meyer, Dynamics of

Declarative Goals in Agent Programming, in Proc. DALT 2004 (J. Leite, A. Omicini, P. Torroni & P. Yolum, eds.), AAMAS 2004, New York, 2004, pp. 17-32; revised version in: Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, Revised Selected Papers (J. Leite, A. Omicini, P. Torroni, & P. Yolum, eds.), LNAI 3476, Springer, Berlin/Heidelberg, 2005, pp. 1-18.; abstract in: Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004) (R. Verbrugge, N. Taatgen & L. Schomaker, eds.), Univ. of Groningen, 2004, pp. 341-342.

232. M. Dastani, M.B. van Riemsdijk, J. Hulstijn, F. Dignum & J.-J. Ch. Meyer, Enacting

and Deacting Roles in Agent Programming, in Proc. AOSE-2004 (J. Odell, P. Georgini & J.P. Müller, eds.), AAMAS 2004, New York, 2004, pp. 179-194; revised version in: Agent-Oriented Software Engineering V (AOSE 2004), Revised Selected Papers (J. Odell, P. Giorgini, J.P. Müller, eds.), New York, NY, USA, July 19, 2004, LNCS 3382, Springer, Berlin/Heidelberg, 2005, pp. 189-204.

233. M.B. van Riemsdijk, F.S. de Boer & J.-J. Ch. Meyer, Dynamic Logic for Plan

Revision in Intelligent Agents, in Pre-Proceedings CLIMA V (5th Int. Workshop on Computational Logic in Multi-Agent Systems) (J. Leite & P. Torroni, eds.), Lisbon, Portugal, September 29-30, 2004, pp. 196-211; revised version in: Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'04), LNAI 3487, Springer, Berlin, 2005, pp. 16-32; full version as Techn. Report UU-CS-2005-013, Utrecht University, Utrecht, 2005; revised version under title “Dynamic Logic for Plan Revision in Agent Programming” in J Logic Computation16 (3), 2006, 375-402.

234. J.-J. Ch. Meyer, Agent-Oriented Programming: Where Do We Stand? (invited talk),

in: Ch. Rattray, S. Maharaj & C. Shankland, (eds.), Algebraic Methodology and Software Technology (Proc. AMAST 2004), Sirling, Scotland, LNCS 3116, Springer, Berlin, 2004, pp. 23-26.

235. J. Bentahar, B. Moulin, J.-J. Ch. Meyer & B. Chaib-draa, A Computational Model

for Conversation Policies for Agent Communication, in Pre-Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems) (J. Leite & P. Torroni, eds.), Lisbon, Portugal, September 29-30, 2004, pp. 66-81; revised version in: Computational Logic in Multi-Agent Systems: 5th International Workshop (CLIMA V), (J. Leite & P. Torroni, eds.), LNAI 3487, Springer, Berlin/Heidelberg, 2005, pp. 178-195.

236. J.-J. Ch. Meyer & F. Veltman, Intelligent Agents and Common Sense Reasoning,

Chapter 18 of: P. Blackburn, J.F.A.K. van Benthem, & F. Wolter (eds.), Handbook of Modal Logic, Elsevier, 2007, pp. 991-1029

237. D. Grossi, F. Dignum & J.-J. Ch. Meyer, Contextual Taxonomies, in Pre-

Proceedings CLIMA V (5th Int. Workshop on Computational Logic in Multi-Agent Systems) (J. Leite & P. Torroni, eds.), Lisbon, Portugal, September 29-30, 2004, pp. 2-17; revised version in: Computational Logic in Multi-Agent Systems: 5th International Workshop (CLIMA V), (J. Leite & P. Torroni, eds.), LNAI 3487, Springer, Berlin/Heidelberg, 2005, pp. 33-51.

238. F.S. de Boer, W. de Vries, J.-J. Ch. Meyer, R.M. van Eijk & W. van der Hoek,

Process Algebra and Constraint Programming for Modelling Interactions in MAS, AAECC (Applicable Algebra in Engineering, Communication and Computing) 16, Springer, 2005, pp. 113-150.

239. J.-J. Ch. Meyer, Eén grote onderzoekschool informatica geen oplossing (artikel),,

Automatisering Gids #23, 4 juni 2004, p. 15.

240. H.-J. Lebbink, C. Witteman & J.-J. Ch. Meyer,, A Dialogue Game Approach to

Multi-Agent System Programming, in: Proc. 16th Belgium-Netherlands Conf., on Artif. Intell. (BNAIC-2004) (R. Verbrugge, N. Taatgen & L. Schomaker, eds.), Univ. of Groningen, 2004, pp. 251-258. (Elsevier Award for Best Scientific Paper at BNAIC-2004)

241. J.-J. Ch. Meyer, Intelligent Agents: een moderne vorm van AI, De Connectie,

promonummer, December 2004, pp.14-16.

242. M. Birna van Riemsdijk, M. Dastani & J.-J. Ch. Meyer, Semantics of Declarative

Goals in Agent Programming, in Proc. Autonomous Agents & Multi Agent Systems (AAMAS’05) (.F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh & M. Wooldridge, eds), Utrecht, ACM, 2005, pp. 133-140.

243. .J. Bentahar, B. Moulin, J.-J. Ch. Meyer & B. Chaib-draa, A Modal Semantics for an

Argumentation-Based Pragmatics for Agent Communication, in: Argumentation in Multi-Agent Systems (Proc. ArgMAS 2004 (I. Rahwan, P. Moraitis & C. Reed, eds.), New York, NY, USA, July 19, 2004, LNCS/LNAI 3366, Springer, Berlin/Heidelberg, 2005, pp. 44-63.

244. J. Bentahar, B. Moulin & J.-J. Ch. Meyer, A Tableau Method for Verifying

Dialogue Game Protocols for Agent Communication, in: Declarative Agent Languages and Technologies III (DALT 2005), Selected and Revised Papers (M. Baldoni, U. Endriss, A. Omicini & P. Torroni, eds.), LNCS 3904, Springer, Berlin / Heidelberg, 2006, pp. 223 – 244;

245. D. Grossi, J.-J. Ch. Meyer & F. Dignum, Modal Logic Investigations in the

Semantics of Counts-as, Proc. 10th International Conference on Artificial Intelligence and Law (ICAIL 2005),. ACM Press, 2005, pp. 1--9

246. G. Jonker, J.-J. Ch. Meyer & F. Dignum, A Market Mechanism for Airport Traffic

Planning, in: Proc. EUMAS’04 (C. Ghidini, P. Giorgini & W. van der Hoek, eds.), Barcelona, 2004, pp. 365-375; revised and extended version under title “Towards a Market Mechanism for Airport Traffic Control”, in: Progress in Artificial Intelligence (Proc. 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 2005) [Proc. 3rd Workshop on Multi-Agent Systems: Theory and Applications (MASTA'05)] (C. Bento, A. Cardoso & G. Dias , eds.), LNAI 3808, Springer, Berlin / Heidelberg, 2005, pp. 500—511.

247. H. Aldewereld, J. Vázquez-Salceda, F. Dignum & J.-J. Ch. Meyer, Norm

Compliance of Protocols in Electronic Institutions, in Proc. Autonomous Agents & Multi Agent Systems (AAMAS’05) (.F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh & M. Wooldridge, eds), Utrecht, ACM, 2005, pp. 1291-1292.; more extended version under title “Verifying Norm Compliancy of Protocols”, in AAMAS’05 Workshop on Agents, Norms and Institutions for Regulated Multi Agent Systems (ANI@REM 2005) (G. Lindemann, S. Ossowski, J. Padget & J. Vázquez-Salceda, eds.) Utrecht, 2005, pp. 47-60; revised version in: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers (O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J.S. Sichman, J. Vázquez-Salceda, eds.), LNCS/LNAI 3913, Springer, Berlin / Heidelberg, 2006, pp. 231–245,; full version: H. Aldewereld, F. Dignum, J.-J. Ch. Meyer & J. Vázquez-Salceda, Proving Norm Compliancy of Protocols in Electronic Institutions, Techn. Report UU-CS-2005-010, Utrecht University, Utrecht, 2005

248. J. van Diggelen, R.J. Beun, F. Dignum, R. van Eijk & J.-J. Ch. Meyer,

Communication under Construction: Three Protocols for Lazy Ontology Alignment, in AAMAS’05 Workshop on Agent-Mediated Knowledge Management (AMKM-2005) (J. van Diggelen, V. Dignum, L. van Elst & A. Abecker eds.), Utrecht, 2005, pp. 1-13.

249. M. Dastani, M.B. van Riemsdijk & J.-J. Ch. Meyer, Programming Multi-Agents

Systems in 3APL, in: Multi-Agent Programming (Languages, Platforms and Applications) (R.H. Bordini, M. Dastani, J. Dix & A. El Fallah Seghrouchni, eds.), Springer Science, New York, 2005, pp. 39-67.

251. F. Koch, J.-J. Ch. Meyer, F. Dignum & I. Rahwan, Programming Deliberative

Agents for Mobile Services: The 3APL-M Platform, in AAMAS’05 Workshop on Programming Multi Agent Systems (ProMAS 2005) (R.H. Bordini, M. Dastani, J. Dix & A. El Fallah-Seghrouchni , eds.) Utrecht, 2005, pp. 179-192 ; also in: Programming Multi-Agent Systems: Third International Workshop (ProMAS 2005) (R.H. Bordini, M. Dastani, J. Dix & A. El Fallah-Seghrouchni , eds.), LNAI 3862, Springer, Berlin/Heidelberg, 2006, pp. 222-235.

252. H.-J. Lebbink, C. Witteman & J.-J. Ch. Meyer, Can I Please Drop This? Dialogues

about Belief Contraction, in AAMAS’05 Workshop on Agent Communication (AC 2005) (R. van Eijk, R. Flores & M.-P. Huget, eds.) Utrecht, 2005, pp. 67-81;

253. M. Birna van Riemsdijk, M. Dastani & J.-J. Ch. Meyer, Subgoal Semantics in Agent

Programming, in: Progress in Artificial Intelligence (Proc. 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 2005) [Proc. 3rd Workshop on Multi-Agent Systems: Theory and Applications (MASTA'05)] (C. Bento, A. Cardoso & G. Dias, eds.), LNAI 3808, Springer, Berlin/Heidelberg, 2005, pp. 548—559.

254. G. Jonker, J.-J. Ch. Meyer & F. Dignum, Efficiency and Fairness in Air Traffic

Control, in Proc. 7th Belgium-Netherlands Conf. On Artif. Intell. (BNAIC 2005) (R. Verbeeck, K. Tuyls, A. Nové, B. Manderick & B. Kuijpers, eds.) KVAB, 2005, Brussel, pp. 151-157.

255. D. Grossi, F. Dignum & J.-J. Ch. Meyer, Context in Catagorization, in: L. Serafini

and P. Bouquet (eds.), Proc. of CRR'05, Workshop on Context Representation and Reasoning. CEUR Workshop Proceedings, VOL. 136. 2005, http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-136/).

256. D. Grossi, F. Dignum & J.-J. Ch. Meyer, Contextual Terminologies, in F. Toni & P.

Toroni (eds.), Pre-Proceedings of CLIMA VI. London, June, 2005, pp. 151—167; revised version in: Computational Logic in Multi-Agent Systems (Proc. CLIMA VI). Editors: F. Toni & P. Torroni (eds.), LNCS 3900, Springer, Berlin/Heidelberg, 2006, pp. 284 – 302.

257. J. van Diggelen, R.J. Beun, F. Dignum, R. van Eijk & J.-J. Ch. Meyer, Combining

Normal Communication with Ontology Allignment, in AAMAS’05 Workshop on Agent Communication (AC 2005) (R. van Eijk, R. Flores & M.-P. Huget, eds.) Utrecht, 2005, pp. 17-31;

258. J.-J. Ch. Meyer, Agent Technology: From Practical Reasoning to Agent

Programming, in Proc. “Norms, Knowledge and Reasoning in Technology”, 3-4 June 2005, Boxmeer, Section Philosophy and Ethics of Technology, TU/e, Eindhoven, 2005, 5 p.,; also in: Proc. Int. Symp. on Innovations in Intelligent Systems and Applications (INISTA) 2005, (T. Yildirim, B. Diri, S. Albayrak, B. Bolat & Ü. Bakirci (eds.), Yildiz Technical University, Istanbul, 2005, pp. VI-X.

259. J.-J. Ch. Meyer, Research on Agent-Based Systems at the IS Group of Utrecht

University, BNVKI Newsletter 22(4), August 2005, pp. 72-73.

260. J.-J. Ch. Meyer, Programming Cognitive Agents (invited talk), in: Multiagent

System Technologies (Proc. MATES 2005, Koblenz) (T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch & M.H. Huhns., eds.), LNAI 3550, Springer, Berlin/Heidelberg, 2005, pp. 27-34.

261. J.-J. Ch. Meyer, The Modal Logic of Agency (abstract talk), Proc. Int. Conf. On

Computer Science Applications of Modal Logic, Moscow, Sept 5-9, 2005, Poncelet Laboratory, UMI 2615 of CNRS and Independent Univ. of Moscow, p. 27.

262. J. van Diggelen, R.J. Beun, F. Dignum, R.M. van Eijk & J.-J. Ch. Meyer,

ANEMONE: An Effective Minimal Ontology Negotiation Environment, Proc. Fifth Int. Joint Conf. On Autonomous Agents and Multiagent Systems (AAMAS’06) (P. Stone & G. Weiss, eds.), Hakodate, Hokkaido, Japan, ACM Press, 2006, pp. 899-906.

263. M.B. van Riemsdijk, F.S. de Boer, M. Dastani & J.-J. Ch. Meyer, Prototyping 3APL

in the Maude Term Rewriting Language, Extended Abstract in Proc. Fifth Int. Joint Conf. On Autonomous Agents and Multiagent Systems (AAMAS’06) (P. Stone & G. Weiss, eds.), May 8–12 2006, Hakodate, Hokkaido, Japan, ACM Press,2006, pp. 1279-1281; full paper in preproc. 7th Int. Workshop on Computational Logic in Multi-Agent Systems (CLIMAVII) (K. Inoue, K. Satoh & F. Toni, eds.), held at AAMAS-06, Hakodate, Japan, 2006, pp. 79-94; revised version in: Computational Logic in Multi-Agent Systems, 7th International Workshop (CLIMA VII, Hakodate, Japan, May 2006), Revised Selected and Invited Papers, (K. Inoue, K. Satoh & F. Toni, eds.).LNAI 4371, Springer, Berlin, 2006, pp. 95-114.

264. M.B. van Riemsdijk, M. Dastani, J.-J. Ch. Meyer & F.S. de Boer, Goal-Oriented

Modularity in Agent Programming, in Proc. Fifth Int. Joint Conf. On Autonomous Agents and Multiagent Systems (AAMAS’06) (P. Stone & G. Weiss, eds.), Hakodate, Hokkaido, Japan, ACM Press, 2006, , pp. 1271-1278.

265. M. Dastani, M.B. van Riemsdijk & J.-J. Ch. Meyer, Goal Types in Agent

Programming, extended abstract Proc. Fifth Int. Joint Conf. On Autonomous Agents and Multiagent Systems (AAMAS’06) (P. Stone & G. Weiss, eds.), Hakodate, Hokkaido, Japan, ACM Press, pp. 1285-1287; full version in: Proc. ECAI 2006 (G. Brewka, S. Coradeschi, A. Perini & P. Traverso, eds.), Riva del Garda, IOS Press, Amsterdam, 2006, pp. 220-224.

266. M.B. van Riemsdijk & J.-J. Ch. Meyer, A Compositional Semantics of Plan

Revision in Intelligent Agents, in: Algebraic Methodology And Software Technology (Proc. AMAST 2006) (M. Johnson & V. Vene, eds.), LNCS 4019, Springer, Berlin/Heidelberg, 2006, pp. 353-367.

267. J.-J. Ch. Meyer, Agent Technology, Encyclopedia of Information Science and

Technology, Editor: Mehdi Khosrow-Pour, D.B.A. Information Resources Management Association, to appear.@@@

268. J. van Diggelen, R.-J. Beun, F. Dignum, R.M. van Eijk & J.-J. Ch. Meyer, Ontology

Negotiation: Goals, Requirements and Implementation, Int. J. of Agent-Oriented Software Engineering (IJAOSE) 1(1), 2007, pp. 63-90.

269. D. Grossi, J.-J. Ch. Meyer & F. Dignum, Counts-as: Classification or Constitution?

An Answer Using Modal Logic, in: Deontic Logic and Artificial Normative Systems (Proc. DEON 2006) (L. Goble & J.-J. Ch. Meyer, eds.), LNAI 4048, Springer, Berlin/Heidelberg, 2006. pp. 115 - 130

270. M. Dastani & J.-J. Ch. Meyer,. Programming Emotional Agents, in: Proc. ECAI

2006 (G. Brewka, S. Coradeschi, A. Perini & P. Traverso, eds.), Riva del Garda, IOS Press, Amsterdam, 2006, pp. 215-219;

271. M.B. van Riemsdijk, M. Dastani & J.-J. Ch. Meyer, Goals in Conflict: Semantical

Explorations of Goals in Agent Programming, submitted @@@

272. D. Grossi, J.-J. Ch. Meyer & F. Dignum, Classificatory Aspects of Counts-as: An

Analysis in Modal Logic, submitted @@@

273. R. Starmans & J.-J. Ch. Meyer, Zwaartepunten IKS-onderzoek in Nederland in kaart

gebracht,, rapport, 2006.@@@

274. B. van der Vecht, A.P. Meyer, R.M. Neef, F. Dignum & J.-J. Ch. Meyer, Influence-

Based Autonomy Levels in Agent Decision-Making, in Proc. COIN2006@ECAI (ECAI2006 Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (G. Boella, O. Boissier, E. Matson & J. Vazquez-Salceda, eds.), ECCAI, 2006, pp. 76-82; revised version in: Coordination, Organizations, Institutions, and Norms in Agent Systems II (Proc. COIN2006) (P. Noriega, J. Vázquez-Salceda, G. Boella, O. Boissier, V. Dignum, N. Fornara & E. Matson, eds.), LNAI 4386, Springer, 2007, pp. 322-337; abstract in Proc.18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2006), Namur, Belgium, 2006, p. 431.

275. . J. Bentahar, B. Moulin, J.-J. Ch. Meyer & Y. Lespérance, A New Logical

Semantics for Agent Communication, in preproc. 7th Int. Workshop on Computational Logic in Multi-Agent Systems (CLIMAVII) (K. Inoue, K. Satoh & F. Toni, eds.), held at AAMAS-06, Hakodate, Japan, 2006, pp. 127-143; revised version in: Computational Logic in Multi-Agent Systems, 7th International Workshop (CLIMA VII, Hakodate, Japan, May 2006), Revised Selected and Invited Papers, (K. Inoue, K. Satoh & F. Toni, eds.).LNAI 4371, Springer, Berlin, 2006, pp. 151-170.

276. K.V. Hindriks & J.-J. Ch. Meyer, Agent Logics as Program Logics: Grounding

KARO, in Preproceedings of KI 2006 (M. Kohlhase, C.Freksa, eds.), on CD; published in 29th Annual German Conference on AI, KI 2006 (C. Freksa, M. Kohlhase, K. Schill, eds.)), Bremen, Germany, June 14-17, 2006, Proceedings, LNAI 4314, Springer, 2007, pp. 404-418

277. K.V. Hindriks & J.-J. Ch. Meyer, An Agent Program Logic with Declarative Goals,

in Proc. FAMAS06 (ECAI2006 Workshop on Formal Aspects of Multi-Agent Systems (B. Dunin-Keplicz & R. Verbrugge, eds.), ECCAI, 2006, pp. 1-15;

278. B.R. Steunebrink, M. Dastani & J.-J. Ch. Meyer, Emotions as Heuristics in Multi-

Agent Systems, in: D. Reinhardt, P. Levi & J.-J. Ch. Meyer (eds.), Proc. 1st Workshop on Emotion and Computing – Current Research and Future Impact, held at KI2006, Bremen, June 19th, 2006, pp. 15-18.

279. R.J. Beun, R.M. van Eijk, J.-J. Ch. Meyer & N.L. Vergunst., A Computational

Approach to the Interpretation of Indirect Speech Acts, in Proc. International Conference on Multidisciplinary Information Sciences and Technologies, (V.P. Guerrero-Bote, ed.),. Open Institute of Knowledge, Mérida, 2006, pp. 311-315.

280. L. Goble & J.-J. Ch. Meyer (eds.), Deontic Logic and Artificial Normative Systems

(Proc. DEON 2006), LNAI 4048, Springer, Berlin/Heidelberg, 2006. x + 273p

281. J.-J. Ch. Meyer, Nondeterminisme in het programmeren van intelligente software-

agenten, AiAiAi nr 89, jaargang 16, 2006, pp. 41-38.

282. D. Reinhardt, P. Levi & J.-J. Ch. Meyer (eds.), Proc. 1st Workshop on Emotion and

Computing – Current Research and Future Impact, held at KI2006, Bremen, June 19th, 2006, 66 p.

283.W. de Vries, J.-J. Ch. Meyer, F.S. de Boer & W. van der Hoek, A Coordination

Language For Agents Interacting In Distributed Plan--Execute Cycles, submitted @@@

284. J.-J. Ch. Meyer, An Introduction to Agent Technology [copies of slides serving as a

general introduction to] 8th European Agent Systems Summerschool (EASSS 2006), University of Savoie – ESIA, Annecy, France, 17-21 July 2006, pp. 1-33.

285. R. Starmans & J.-J. Ch. Meyer, Funding Research in Computer Science, BNVKI

Newsletter 23(5), Oct. 2006,, pp. 97-102.

286. . J.-J. Ch. Meyer, Going beyond BDI: Programming ‘BDI+’ Agents, (abstract

invited talk,), in Proc. EUMAS’06 (4th Eur. Workshop on Multi-Agent Systems) (A. Omicini, B. Dunin-Keplicz & J. Padget, eds.), Univ. de Lisboa/Minho, Lisbon, 2006, 1 p.

287. J. van Diggelen, R.J. Beun, F. Dignum, R.M. van Eijk, J.-J. Ch. Meyer, Ontology

Negotiation in Heterogeneous Multi-Agent Systems: The ANEMONE System, Applied Ontology 2 (3-4), 2007, pp. 267 -303.

288. D. Grossi, F. Dignum & J.-J. Ch. Meyer, A Formal Road from Institutional Norms to

Organizational Structures, in Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS’07) (M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo, eds.), Honolulu, Hawai’i, USA, 2007, pp. 616-623.

289. H. Aldewereld, F. Dignum & J.-J. Ch. Meyer, Designimg Protocols for Agent

Institutions, in Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS’07) (M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo, eds.), Honolulu, Hawai’i, USA, 2007, pp.138-140; full version under title “From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions” in Pre-Proc. AAMAS07 Workshop on Programming Multi-Agent Systems (ProMAS2007) (M. Dastani, A. El Fallah Seghrouchni, A. Ricci & M. Winikoff, eds.), Honolulu, Hawaii, 2007, pp. 22-37.; postproceedings@@@.

290. G. Jonker, F. Dignum & J.-J. Ch. Meyer, Achieving Cooperation among Selfish

Agents in the Air Traffic Management Domain Using Signed Money, in Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS’07) (M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo, eds.), Honolulu, Hawai’i, USA, 2007, pp.1258-1260.

291. M. Dastani, B. van Riemsdijk & J.-J. Ch. Meyer, A Grounded Specification Language

for Agent Programs, in Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS’07) (M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo, eds.), Honolulu, Hawai’i, USA, 2007, pp. 578-585.

292. M. Dastani, D. Hobo & J.-J. Ch. Meyer, Practical Extensions in Agent Programming

Languages, in Proc. 6th Int. J. Conf. On Autonomous Agents and Multi-Agent Systems (AAMAS’07) (M. Huhns, O. Shehory, E.H. Durfee & M. Yokoo, eds.), Honolulu, Hawai’i, USA, 2007, pp. 918-920;

293. M. Dastani & J.-J. Ch. Meyer, A Practical Agent Programming Language, in Pre-

Proc. AAMAS07 Workshop on Programming Multi-Agent Systems (ProMAS2007) (M. Dastani, A. El Fallah Seghrouchni, A. Ricci & M. Winikoff, eds.), Honolulu, Hawaii, 2007, pp. 72-87; postproceedings@@@.

294. J. Bentahar, J.-J. Ch. Meyer & B. Moulin, Securing Agent-Oriented Systems: An

Argumentation and Reputation-Based Approach, Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA. IEEE Computer Society, 2007, pp. 507-515).

295. J. Bentahar, B. Moulin, and J.-J. Ch. Meyer, A New Model Checking Approach for

Verifying Agent Communication Protocols, in: Proc. of the IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006), Ottawa, 2006, pp. 96-100.

296. J. Bentahar & J.-J. Ch. Meyer,. A New Quantitative Trust Model for Negotiating

Agents. In: C. Rolland, O. Pastor & J.-L. Cavarero (eds.): Proc. of the First Int. Conf. on Research Challenges in Information Science (RCIS 2007), Ouarzazate, Morocco, April 23-26, 2007. 2007, pp. 39-50; full/revised version under title “A New Quantitative Trust Model for Negotiating Agents Using Argumentation”, Int. J. of Computer Science and Applications (IJCSA) (Special Issue on Communications, Interactions and Interoperability in Information Systems), Volume IV Issue II, 2007, pp. 1-21.

297. B. Steunebrink, M. Dastani & J.-J. Ch. Meyer, Emotions as Heuristics for Rational

Agents, Technical Report UU-CS-2007-006, Utrecht University, Utrecht, 2007, 8 p.

298. N. Alechina, M. Dastani, B. Logan & J.-J. Ch. Meyer, A Logic of Agent Programs, in:

Proc. AAAI-07 (R.C. Holte & A.E. Howe, eds.), Vancouver, Canada, AAAI Press, 2007, pp. 795-800; full version submitted to @@@

299. D. Grossi, J.-J. Ch. Meyer & F. Dignum, On the Logic of Constitutive Rules, in:

Dagstuhl Seminar Proc. 07122 “Normative Multi-Agent Systems” Vol. II (G. Boella, L. van der Torre & H. Verhagen, eds.), Dagstuhl, 2007, 33 p. (best paper award); full version under title “The Many Faces of Counts-as: A Formal Analysis of Constitutive Rules”, Journal of Applied Logic 6, 2006, pp. 192-217.

300. M. Kracht, J.-J. Ch. Meyer & K. Segerberg The Logic of Action, The Stanford Encyclopedie of Philosophy (2009 Edition), Edward N. Zalta (ed.), URL=http://plato.stanford.edu/archives/2009/entries/@@@/@@@

301. B. van der Vecht, F. Dignum, J.-J. Ch. Meyer & M. Neef,, A Dynamic Coordination

Mechanism Using Adjustable Autonomy, in: Proc. COIN2007 (Workshop on Coordination, Organisation, Institutions and Norms@MALLOW2007) (P. Noriega & J. Padget, eds.), Durham, UK, pp. 169-180; revised version in: Coordination, Organizations, Institutions, and Norms in Agent Systems III (Proc. COIN 2007) (J. Sichman, P. Noriega, J. Padget & S. Ossowski , eds.), LNCS 4870, Springer, 2008, pp. 83-96.

302 G. Jonker, H. Hesselink, F. Dignum & J.-J. Ch. Meyer, Preventing Selfish Behaviour in

Distributed Tactical Airport Planning, in Proc. 7th USA/Europe ATM R&D Seminar, Barcelona, Spain, 2007.

303. P. Turrini, J.-J. Ch. Meyer & C. Castelfranchi, Rational Agents That Blush, in:

Affective Computing and Intelligent Interaction (Proc. ACII 2007) (A. Paiva, R. Prada & R.W. Picard, eds.), Lisbon, Portigal, LNCS 4738, Spinger, Berlin/Heidelberg, 2007, pp. 314-325; revised version under title “Controlling Emotions by Changing Friends” in: Proc. 5th Eur. Workshop on Multi-Agent Systems (EUMAS-2007) (M. Dastani & R. Bordini, eds.), Hammamet, Tunisia, 2007, pp. 482-496.

304. K.V. Hindriks & J.-J. Ch. Meyer, Toward a Programming Theory for Rational Agents, accepted for JAAMAS (special issue FAMAS 2006)@@@

305. B. Steunebrink, M. Dastani & J.-J. Ch. Meyer, A Logic of Emotions for Intelligent

Agents, in Proc. AAAI-07 (R.C. Holte & A.E. Howe, eds.), Vancouver, Canada, AAAI Press, 2007, pp. 142-.147

306. J.-J. Ch. Meyer, Our Quest fot the Holy Grail of Agent Verification, in: Proc.

TABLEAUX 2007 (N. Olivetti, ed.), LNAI 4548, Springer, Berlin/Heidelberg, 2007, pp. 2-9; also abstract under title “The Quest fot the Holy Grail of Agent Verification” in Proc. Workshop on Logics for Resource-Bounded Agents (LRBA@MALLOW2007)(T. Ågotnes, N. Alechina & B. Logan, eds.), Durham, UK, 2007, p. 7.

307. N.A./M. Tinnemeier, M. Dastani & J.-J. Ch. Meyer, Goal Selection Strategies for

Rational Agents, in: Proc. LADS@MALLOW2007 (Languages, Methodologies and Development Tools for Multi-Agent Systems (M. Dastani, A. El Fallah Seghrouchni, J. Leite & P. Torroni, eds.), Durham, UK, 2007, p. 160-175.; abstract in: Proc. 19th Belgian-Dutch Conf. on Artificial Intelligence (BNAIC 2007) (M. Dastani & E. de Jong, eds.) , Utrecht, 2007, pp. 401-402; revised version in: Languages, Methodologies and Development Tools for Multi-Agent Systems (Proc. LADS 2007) (M. Dastani, A. El Fallah Seghrouchni, J. Leite & P. Torroni, eds.), LNAI 5118, Springer, 2008, pp. 54-70.

308. P. Doherty & J.-J. Ch. Meyer, Towards a Delegation Framework for Aerial Robotic

Mission Scenarios, in: Cooperative Information Agents XI (Proc. CIA 2007) (M. Klusch, K.V. Hindriks, M.P. Papazoglou & L. Sterling (eds.), LNAI 4676, Springer, Berlin/Heidelberg, 2007, pp. 5-26; also abstract in: Proc. 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’07) (E.B. Johnsen, O. Owe & G. Schneider (eds.), Oslo Univ., Oslo, 2007, p. 125.

309. B.R. Steunebrink, M. Dastani & J.-J. Ch. Meyer, A Formal Model of Qualitative Emotions for Intelligent Agents, to be submitted @@@

310. N.J. Vergunst, B.R. Steunebrink, M. Dastani, F.P.M. Dignum & J.-J. Ch. Meyer,

Towards Programming Multimodal Dialogues, in: Proc. 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology -Workshops (WI-IAT 2007 Workshop Proceedings), (Y.




Download 161.94 Kb.
leave a comment
Page1/2
Date conversion29.09.2011
Size161.94 Kb.
TypeДокументы, Educational materials
Add document to your blog or website

страницы:   1   2
Be the first user to rate this..
Your rate:
Place this button on your site:
docs.exdat.com

The database is protected by copyright ©exdat 2000-2014
При копировании материала укажите ссылку
send message
Documents

upload
Documents

Рейтинг@Mail.ru
наверх