×

zbMATH — the first resource for mathematics

Meyer, John-Jules Charles

Compute Distance To:
Author ID: meyer.john-jules-charles Recent zbMATH articles by "Meyer, John-Jules Charles"
Published as: Meyer, J.; Meyer, J. C.; Meyer, J. Ch.; Meyer, J. J.; Meyer, J.-C.; Meyer, J.-J.; Meyer, J.-J. C.; Meyer, J.-J. Ch; Meyer, J.-J. Ch.; Meyer, John-J. Ch.; Meyer, John-Jules; Meyer, John-Jules C.; Meyer, John-Jules Ch.; Meyer, John-Jules Charles
Homepage: https://www.uu.nl/staff/JJCMeyer
External Links: MGP · Wikidata · dblp
Documents Indexed: 177 Publications since 1975, including 13 Books
all top 5

Co-Authors

15 single-authored
49 van der Hoek, Wiebe
22 de Boer, Frank S.
16 Dastani, Mehdi M.
14 de Bakker, Jacobus W.
14 Dignum, F. P. M.
12 van Eijk, Rogier M.
11 Broersen, Jan M.
10 Bergstra, Jan A.
10 Grossi, Davide
10 van Linder, Bernd
10 Wieringa, Roel J.
7 Turrini, Paolo
6 de Vink, Erik P.
6 Hindriks, Koen V.
6 Treur, Jan
6 van Riemsdijk, M. Birna
5 Bentahar, Jamal
5 Klop, Jan Willem
5 Mastop, Rosja
5 Olderog, Ernst-Rüdiger
5 Zucker, Jeffery I.
4 Moulin, Bernard
3 de Vries, Wieke
3 Sindlar, Michal P.
3 Tinnemeier, Nick
2 Alechina, Natasha
2 Chaib-draa, Brahim
2 Dignum, Virginia
2 Ehrich, Hans-Dieter
2 Florea, Adina Magda
2 Goble, Lou
2 Gratie, Cristian
2 Hommersom, Arjen
2 Knobbout, Max
2 Krabbendam, Jeroen
2 Logan, Brian
2 Prakken, Henry
2 Renooij, Silja
2 Ryan, Mark Dermot
2 Schobbens, Pierre-Yves
2 Spruit, Paul
2 Tambe, Milind
2 Timmer, Sjoerd T.
2 Verheij, Bart
2 Vreeswijk, Gerard A. W.
2 Weigand, Hans-Georg
1 Aldewereld, Huib
1 Dennis, Louise Abigail
1 Dixon, Clare
1 Doherty, Patrick
1 Fisher, Michael E.
1 Gabbay, Dov M.
1 Harrenstein, Paul
1 Herzig, Andreas
1 Hustadt, Ullrich
1 Khan, Fazeel
1 Kok, Joost N.
1 Lebbink, Henk-Jan
1 Lespérance, Yves
1 Lorini, Emiliano
1 Mbarki, Mohamed
1 Pierik, Cees
1 Roorda, Jan-Willem
1 Royakkers, Lambèr M. M.
1 Schmidt, Renate A.
1 Smets, Philippe
1 Steunebrink, Bas R.
1 Treuer, J.
1 van der Gaag, Linda C.
1 van Ditmarsch, Hans Pieter
1 van Leeuwen, J. C.
1 van Schagen, J. W.
1 Wan, Wunjung
1 Witteman, Cilia L. M.
1 Witteveen, Cees

Publications by Year

Citations contained in zbMATH

106 Publications have been cited 577 times in 383 Documents Cited by Year
Epistemic logic for AI and computer science. Zbl 0868.03001
Meyer, John-Jules Ch.; van der Hoek, Wiebe
95
1995
On forwarding indices of networks. Zbl 0681.90077
Heydemann, M. C.; Meyer, J. C.; Sotteau, D.
62
1989
A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009
Meyer, J.-J. Ch.
52
1988
Linear time and branching time semantics for recursion with merge. Zbl 0985.68517
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
17
1984
A logical approach to the dynamics of commitments. Zbl 0939.68831
Meyer, J.-J. C.; van der Hoek, W.; van Linder, B.
15
1999
A modal characterization of Nash equilibrium. Zbl 1041.03016
Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees
14
2003
Making some issues of implicit knowledge explicit. Zbl 0759.68082
van der Hoek, W.; Meyer, J.-J. Ch.
14
1992
Forwarding indices of consistent routings and their complexity. Zbl 0804.90041
Heydemann, M. C.; Meyer, J. C.; Sotteau, D.; Opatrny, J.
12
1994
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028
De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1988
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
Deontic logic in computer science: normative system specification. Zbl 0845.68088
Meyer, John-Jules Ch. (ed.); Wieringa, Roel J. (ed.)
10
1993
Metric semantics for concurrency. Zbl 0661.68011
de Bakker, J. W.; Meyer, J.-J. Ch.
10
1988
A complete epistemic logic for multiple agents. Zbl 0956.03022
van der Hoek, W.; Meyer, J. J.
8
1997
Forwarding indices of \(k\)-connected graphs. Zbl 0761.05054
Heydemann, M. C.; Meyer, J. C.; Opatrny, J.; Sotteau, D.
8
1992
A verification framework for agent programming with declarative goals. Zbl 1122.68078
de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; Meyer, J.-J. Ch.
7
2007
Group knowledge is not always distributed (neither is it always implicit). Zbl 0942.68120
van der Hoek, Wiebe; van Linder, Bernd; Meyer, John-Jules
7
1999
An integrated modal approach to rational agents. Zbl 0926.68108
van der Hoek, W.; van Linder, B.; Meyer, J.-J. Ch.
7
1999
Actions that make you change your mind. Zbl 0839.03016
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
7
1995
A default logic based on epistemic states. Zbl 0838.03021
Meyer, J.-J. Ch.; van der Hoek, W.
7
1995
Merging regular processes by means of fixed-point theory. Zbl 0602.68025
Meyer, J.-J. Ch.
7
1986
A fixed-point characterization of a deontic logic of regular action. Zbl 0995.03016
Broersen, Jan; Wieringa, Roel; Meyer, John-Jules
6
2001
Formalising abilities and opportunities of agents. Zbl 0903.68045
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
6
1998
Free choice and contextually permitted actions. Zbl 0860.03021
Dignum, F.; Meyer, J.-J. Ch.; Wieringa, R. J.
6
1996
Graded modalities in epistemic logic. Zbl 0978.03515
van der Hoek, W.; Meyer, J.-J. Ch.
6
1992
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
6
1987
Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014
de Bakker, J. W.; Meyer, J.-J. Ch.
6
1987
Classificatory aspects of counts-as: an analysis in modal logic. Zbl 1116.03016
Grossi, Davide; Meyer, John-Jules Ch.; Dignum, Frank
5
2006
Designing a deontic logic of deadlines. Zbl 1169.03334
Broersen, Jan; Dignum, Frank; Dignum, Virginia; Meyer, John-Jules Ch.
5
2004
Autonomy and agent deliberation. Zbl 1098.68911
Dastani, Mehdi; Dignum, Frank; Meyer, John-Jules
5
2004
Reasoning about emotional agents. Zbl 1104.68766
Meyer, John-Jules Ch.
4
2006
Agent programming with declarative goals. Zbl 1056.68562
Hindriks, Koen V.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
4
2001
Dynamic logic for reasoning about actions and agents. Zbl 0988.03054
Meyer, J.-J. Ch.
4
2000
A logic of capabilities. Zbl 0964.03520
van der Hoek, W.; van Linder, B.; Meyer, J.-J. Ch.
4
1994
Actors, actions, and initiative in normative system specification. Zbl 0976.03514
Wieringa, R. J.; Meyer, J.-J. Ch
4
1993
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? Zbl 0873.68134
Wieringa, R. J.; Weigand, H.; Meyer, J.-J. Ch.; Dignum, F. P. M.
4
1991
Using programming concepts in deontic reasoning. Zbl 0716.03017
Meyer, J.-J. Ch.
4
1989
On specifying sets of integers. Zbl 0554.68008
Bergstra, Jan A.; Meyer, John-J. Ch.
4
1984
Contextual terminologies. Zbl 1236.68225
Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.
3
2006
Counts-as: Classification or constitution? An answer using modal logic. Zbl 1148.03315
Grossi, Davide; Meyer, John-Jules Ch.; Dignum, Frank
3
2006
Verification within the KARO agent theory. Zbl 0988.68180
Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John-Jules; van der Hoek, Wiebe
3
2001
Failure semantics for the exchange of information in multi-agent systems. Zbl 0999.68210
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
3
2000
On agents that have the ability to choose. Zbl 0971.03022
van der Hoek, Wiebe; van Linder, Bernd; Meyer, John-Jules
3
2000
On the forwarding index problem for small graphs. Zbl 0664.05029
Heydemann, M. C.; Meyer, J. C.; Sotteau, D.
3
1988
A simple solution of the “deepest” paradox in deontic logic. Zbl 0642.03005
Meyer, J.-J. Ch.
3
1987
Applications of compactness in the Smyth powerdomain of streams. Zbl 0614.68015
Meyer, J.-J. Ch.; de Vink, E. P.
3
1987
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
3
1985
Nombre chromatique total du joint d’un ensemble stable par un cycle. Zbl 0324.05105
Meyer, J. C.
3
1976
Explaining Bayesian networks using argumentation. Zbl 06507006
Timmer, Sjoerd T.; Meyer, John-Jules Ch.; Prakken, Henry; Renooij, Silja; Verheij, Bart
2
2015
Normative multi-agent programs and their logics. Zbl 1258.68155
Dastani, Mehdi; Grossi, Davide; Meyer, John-Jules Ch.; Tinnemeier, Nick
2
2009
A deontic logic for socially optimal norms. Zbl 1143.03337
Broersen, Jan; Mastop, Rosja; Meyer, John-Jules Ch.; Turrini, Paolo
2
2008
The many faces of counts-as: A formal analysis of constitutive rules. Zbl 1149.68421
Grossi, Davide; Meyer, John-Jules Ch.; Dignum, Frank
2
2008
Contextual taxonomies. Zbl 1081.68682
Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.
2
2005
Update semantics of security protocols. Zbl 1072.03019
Hommersom, Arjen; Meyer, John-Jules; de Vink, Erik
2
2004
Rational teams: logical aspects of multi-agent systems. Zbl 1102.68104
Aldewereld, Huib; van der Hoek, Wiebe; Meyer, John-Jules
2
2004
A fully abstract model for the exchange of information in multi-agent systems. Zbl 1038.68019
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
2
2003
Iterated belief change in multi-agent systems. Zbl 1044.03011
Roorda, Jan-Willem; van der Hoek, Wiebe; Meyer, John-Jules
2
2003
On programming KARO agents. Zbl 0974.68202
Meyer, John-Jules; de Boer, Frank; van Eijk, Rogier; Hindriks, Koen; van der Hoek, Wiebe
2
2001
Contextual deontic logics. Zbl 0940.03024
Krabbendam, Jeroen; Meyer, John-Jules
2
1999
Seeing is believing. And so are hearing and jumping. Zbl 0868.03013
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
2
1997
Counterfactual reasoning by (means of) defaults. Zbl 0866.03017
Meyer, J.-J. Ch.; van der Hoek, W.
2
1993
Non-monotonic reasoning by monotonic means. Zbl 0789.68129
Meyer, J.-J. Ch.; van der Hoek, W.
2
1991
Realizable values of the forwarding index. Zbl 0687.05026
Heydemann, M.-C.; Meyer, J.-C.; Opatrny, J.; Sotteau, D.
2
1990
Hiding in stream semantics of uniform concurrency. Zbl 0672.68008
Meyer, J.-J. Ch.; Olderog, E.-R.
2
1990
Possible logics for belief. Zbl 0786.03020
van der Hoek, W.; Meyer, J.-J. Ch.
2
1989
Applications of compactness in the Smyth powerdomain of streams. Zbl 0652.68027
Meyer, J.-J. Ch.; de Vink, E. P.
2
1988
Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1984
Linear time and branching time semantics for recursion with merge. Zbl 0527.68011
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Linear time and branching time semantics for recursion with merge. Zbl 0517.68026
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
On infinite computations in denotational semantics. Zbl 0514.68018
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1983
The equational specification of finite minimal unoids using only unary hidden functions. Zbl 0548.68016
Bergstra, Jan A.; Meyer, John-Jules Ch.
2
1982
Nombre chromatique total d’un hypergraphe. Zbl 0311.05139
Meyer, J. C.
2
1978
A two-phase method for extracting explanatory arguments from Bayesian networks. Zbl 1401.68331
Timmer, Sjoerd T.; Meyer, John-Jules Ch.; Prakken, Henry; Renooij, Silja; Verheij, Bart
1
2017
A logic for normative multi-agent programs. Zbl 1262.68163
Dastani, Mehdi; Meyer, John-Jules Ch.; Grossi, Davide
1
2013
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
1
2012
Agents with emotions. Zbl 1211.68453
Dastani, Mehdi; Meyer, John-Jules Ch.
1
2010
Using theorem proving to verify properties of agent programs. Zbl 1201.68068
Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J. Ch.
1
2010
An update operator for strategic ability. Zbl 1196.03025
Turrini, Paolo; Broersen, Jan; Mastop, Rosja; Meyer, John-Jules
1
2009
A new logical semantics for agent communication. Zbl 1177.68218
Bentahar, Jamal; Moulin, Bernard; Meyer, John-Jules Ch.; Lespérance, Yves
1
2007
Dynamic logic for plan revision in agent programming. Zbl 1116.68093
van Riemsdijk, M. Birna; de Boer, Frank S.; Meyer, John-Jules Ch.
1
2006
Semantics of plan revision in intelligent agents. Zbl 1086.68084
van Riemsdijk, M. Birna; Meyer, John-Jules Ch.; de Boer, Frank S.
1
2006
A modal semantics for an argumentation-based pragmatics for agent communication. Zbl 1117.68506
Bentahar, Jamal; Moulin, Bernard; Meyer, John-Jules Ch.; Chaib-draa, Brahim
1
2005
Semantics of plan revision in intelligent agents. Zbl 1108.68482
van Riemsdijk, M. Birna; Meyer, John-Jules Charles; de Boer, Frank S.
1
2004
Specification by refinement and agreement: Designing agent interaction using landmarks and contracts. Zbl 1022.68728
Weigand, Hans; Dignum, Virginia; Meyer, John-Jules; Dignum, Frank
1
2003
Handbook of defeasible reasoning and uncertainty management systems. VII: Agent-based defeasible control in dynamic environments. Zbl 1058.68090
Meyer, J.-J. Ch. (ed.); Treur, J. (ed.)
1
2002
A programming language for coordinating group actions. Zbl 1053.68922
de Vries, Wieke; de Boer, Frank S.; Hindriks, Koen V.; van der Hoek, Wiebe; Meyer, John-Jules C.
1
2002
Formal semantics of temporal epistemic reflection. Zbl 1051.68126
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
2001
On dynamically generated ontology translators in agent communication. Zbl 0979.68013
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2001
A semantics for persistency in propositional dynamic logic. Zbl 0983.03021
Broersen, Jan; Wieringa, Roel; Meyer, John-Jules
1
2000
Open multi-agent systems: Agent communication and integration. Zbl 0970.68662
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2000
Formalizing potential of agents. The KARO framework revisited. Zbl 0972.68151
van der Hoek, W.; Meyer, J.-J. Ch.; van Schagen, J. W.
1
2000
Release logics for temporalizing dynamic logic. Orthogonalizing modal logics. Zbl 0974.03504
Krabbendam, Jeroen; Meyer, John-Jules
1
2000
Constructing translations between individual vocabularies in multi-agent systems. Zbl 0927.03051
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
1998
Temporalizing epistemic default logic. Zbl 0921.03036
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
1998
Informational independence: Models and normal forms. Zbl 0891.68114
van der Gaag, Linda C.; Meyer, J.-J. Ch.
1
1998
Modalities for reasoning about knowledge and uncertainties. Zbl 0955.03512
van der Hoek, Wiebe; Meyer, John-Jules
1
1996
Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. Zbl 0988.68551
Spruit, Paul; Wieringa, Roel; Meyer, John-Jules
1
1995
Modal logics for knowledge representation. Zbl 0760.68076
Meyer, J.-J. Ch.
1
1992
Epistemic logic for computer science: A tutorial. II. Zbl 0760.68073
Meyer, J.-J. Ch.; van der Hoek, W.; Vreeswijk, G. A. W.
1
1991
A parameter linked with \(G\)-factors and the binding number. Zbl 0756.05067
Favaron, O.; Heydemann, M. C.; Meyer, J. C.; Sotteau, D.
1
1991
Epistemic logic for computer science: A tutorial. I. Zbl 0744.68117
Meyer, J.-J. Ch.; van der Hoek, W.; Vreeswijk, G. A. W.
1
1991
A two-phase method for extracting explanatory arguments from Bayesian networks. Zbl 1401.68331
Timmer, Sjoerd T.; Meyer, John-Jules Ch.; Prakken, Henry; Renooij, Silja; Verheij, Bart
1
2017
Explaining Bayesian networks using argumentation. Zbl 06507006
Timmer, Sjoerd T.; Meyer, John-Jules Ch.; Prakken, Henry; Renooij, Silja; Verheij, Bart
2
2015
A logic for normative multi-agent programs. Zbl 1262.68163
Dastani, Mehdi; Meyer, John-Jules Ch.; Grossi, Davide
1
2013
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
1
2012
Agents with emotions. Zbl 1211.68453
Dastani, Mehdi; Meyer, John-Jules Ch.
1
2010
Using theorem proving to verify properties of agent programs. Zbl 1201.68068
Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J. Ch.
1
2010
Normative multi-agent programs and their logics. Zbl 1258.68155
Dastani, Mehdi; Grossi, Davide; Meyer, John-Jules Ch.; Tinnemeier, Nick
2
2009
An update operator for strategic ability. Zbl 1196.03025
Turrini, Paolo; Broersen, Jan; Mastop, Rosja; Meyer, John-Jules
1
2009
A deontic logic for socially optimal norms. Zbl 1143.03337
Broersen, Jan; Mastop, Rosja; Meyer, John-Jules Ch.; Turrini, Paolo
2
2008
The many faces of counts-as: A formal analysis of constitutive rules. Zbl 1149.68421
Grossi, Davide; Meyer, John-Jules Ch.; Dignum, Frank
2
2008
A verification framework for agent programming with declarative goals. Zbl 1122.68078
de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; Meyer, J.-J. Ch.
7
2007
A new logical semantics for agent communication. Zbl 1177.68218
Bentahar, Jamal; Moulin, Bernard; Meyer, John-Jules Ch.; Lespérance, Yves
1
2007
Classificatory aspects of counts-as: an analysis in modal logic. Zbl 1116.03016
Grossi, Davide; Meyer, John-Jules Ch.; Dignum, Frank
5
2006
Reasoning about emotional agents. Zbl 1104.68766
Meyer, John-Jules Ch.
4
2006
Contextual terminologies. Zbl 1236.68225
Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.
3
2006
Counts-as: Classification or constitution? An answer using modal logic. Zbl 1148.03315
Grossi, Davide; Meyer, John-Jules Ch.; Dignum, Frank
3
2006
Dynamic logic for plan revision in agent programming. Zbl 1116.68093
van Riemsdijk, M. Birna; de Boer, Frank S.; Meyer, John-Jules Ch.
1
2006
Semantics of plan revision in intelligent agents. Zbl 1086.68084
van Riemsdijk, M. Birna; Meyer, John-Jules Ch.; de Boer, Frank S.
1
2006
Contextual taxonomies. Zbl 1081.68682
Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.
2
2005
A modal semantics for an argumentation-based pragmatics for agent communication. Zbl 1117.68506
Bentahar, Jamal; Moulin, Bernard; Meyer, John-Jules Ch.; Chaib-draa, Brahim
1
2005
Designing a deontic logic of deadlines. Zbl 1169.03334
Broersen, Jan; Dignum, Frank; Dignum, Virginia; Meyer, John-Jules Ch.
5
2004
Autonomy and agent deliberation. Zbl 1098.68911
Dastani, Mehdi; Dignum, Frank; Meyer, John-Jules
5
2004
Update semantics of security protocols. Zbl 1072.03019
Hommersom, Arjen; Meyer, John-Jules; de Vink, Erik
2
2004
Rational teams: logical aspects of multi-agent systems. Zbl 1102.68104
Aldewereld, Huib; van der Hoek, Wiebe; Meyer, John-Jules
2
2004
Semantics of plan revision in intelligent agents. Zbl 1108.68482
van Riemsdijk, M. Birna; Meyer, John-Jules Charles; de Boer, Frank S.
1
2004
A modal characterization of Nash equilibrium. Zbl 1041.03016
Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees
14
2003
A fully abstract model for the exchange of information in multi-agent systems. Zbl 1038.68019
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
2
2003
Iterated belief change in multi-agent systems. Zbl 1044.03011
Roorda, Jan-Willem; van der Hoek, Wiebe; Meyer, John-Jules
2
2003
Specification by refinement and agreement: Designing agent interaction using landmarks and contracts. Zbl 1022.68728
Weigand, Hans; Dignum, Virginia; Meyer, John-Jules; Dignum, Frank
1
2003
Handbook of defeasible reasoning and uncertainty management systems. VII: Agent-based defeasible control in dynamic environments. Zbl 1058.68090
Meyer, J.-J. Ch. (ed.); Treur, J. (ed.)
1
2002
A programming language for coordinating group actions. Zbl 1053.68922
de Vries, Wieke; de Boer, Frank S.; Hindriks, Koen V.; van der Hoek, Wiebe; Meyer, John-Jules C.
1
2002
A fixed-point characterization of a deontic logic of regular action. Zbl 0995.03016
Broersen, Jan; Wieringa, Roel; Meyer, John-Jules
6
2001
Agent programming with declarative goals. Zbl 1056.68562
Hindriks, Koen V.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
4
2001
Verification within the KARO agent theory. Zbl 0988.68180
Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John-Jules; van der Hoek, Wiebe
3
2001
On programming KARO agents. Zbl 0974.68202
Meyer, John-Jules; de Boer, Frank; van Eijk, Rogier; Hindriks, Koen; van der Hoek, Wiebe
2
2001
Formal semantics of temporal epistemic reflection. Zbl 1051.68126
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
2001
On dynamically generated ontology translators in agent communication. Zbl 0979.68013
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2001
Dynamic logic for reasoning about actions and agents. Zbl 0988.03054
Meyer, J.-J. Ch.
4
2000
Failure semantics for the exchange of information in multi-agent systems. Zbl 0999.68210
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
3
2000
On agents that have the ability to choose. Zbl 0971.03022
van der Hoek, Wiebe; van Linder, Bernd; Meyer, John-Jules
3
2000
A semantics for persistency in propositional dynamic logic. Zbl 0983.03021
Broersen, Jan; Wieringa, Roel; Meyer, John-Jules
1
2000
Open multi-agent systems: Agent communication and integration. Zbl 0970.68662
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
2000
Formalizing potential of agents. The KARO framework revisited. Zbl 0972.68151
van der Hoek, W.; Meyer, J.-J. Ch.; van Schagen, J. W.
1
2000
Release logics for temporalizing dynamic logic. Orthogonalizing modal logics. Zbl 0974.03504
Krabbendam, Jeroen; Meyer, John-Jules
1
2000
A logical approach to the dynamics of commitments. Zbl 0939.68831
Meyer, J.-J. C.; van der Hoek, W.; van Linder, B.
15
1999
Group knowledge is not always distributed (neither is it always implicit). Zbl 0942.68120
van der Hoek, Wiebe; van Linder, Bernd; Meyer, John-Jules
7
1999
An integrated modal approach to rational agents. Zbl 0926.68108
van der Hoek, W.; van Linder, B.; Meyer, J.-J. Ch.
7
1999
Contextual deontic logics. Zbl 0940.03024
Krabbendam, Jeroen; Meyer, John-Jules
2
1999
Formalising abilities and opportunities of agents. Zbl 0903.68045
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
6
1998
Constructing translations between individual vocabularies in multi-agent systems. Zbl 0927.03051
van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.
1
1998
Temporalizing epistemic default logic. Zbl 0921.03036
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
1998
Informational independence: Models and normal forms. Zbl 0891.68114
van der Gaag, Linda C.; Meyer, J.-J. Ch.
1
1998
A complete epistemic logic for multiple agents. Zbl 0956.03022
van der Hoek, W.; Meyer, J. J.
8
1997
Seeing is believing. And so are hearing and jumping. Zbl 0868.03013
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
2
1997
Free choice and contextually permitted actions. Zbl 0860.03021
Dignum, F.; Meyer, J.-J. Ch.; Wieringa, R. J.
6
1996
Modalities for reasoning about knowledge and uncertainties. Zbl 0955.03512
van der Hoek, Wiebe; Meyer, John-Jules
1
1996
Epistemic logic for AI and computer science. Zbl 0868.03001
Meyer, John-Jules Ch.; van der Hoek, Wiebe
95
1995
Actions that make you change your mind. Zbl 0839.03016
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
7
1995
A default logic based on epistemic states. Zbl 0838.03021
Meyer, J.-J. Ch.; van der Hoek, W.
7
1995
Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. Zbl 0988.68551
Spruit, Paul; Wieringa, Roel; Meyer, John-Jules
1
1995
Forwarding indices of consistent routings and their complexity. Zbl 0804.90041
Heydemann, M. C.; Meyer, J. C.; Sotteau, D.; Opatrny, J.
12
1994
A logic of capabilities. Zbl 0964.03520
van der Hoek, W.; van Linder, B.; Meyer, J.-J. Ch.
4
1994
Deontic logic in computer science: normative system specification. Zbl 0845.68088
Meyer, John-Jules Ch. (ed.); Wieringa, Roel J. (ed.)
10
1993
Actors, actions, and initiative in normative system specification. Zbl 0976.03514
Wieringa, R. J.; Meyer, J.-J. Ch
4
1993
Counterfactual reasoning by (means of) defaults. Zbl 0866.03017
Meyer, J.-J. Ch.; van der Hoek, W.
2
1993
Making some issues of implicit knowledge explicit. Zbl 0759.68082
van der Hoek, W.; Meyer, J.-J. Ch.
14
1992
Forwarding indices of \(k\)-connected graphs. Zbl 0761.05054
Heydemann, M. C.; Meyer, J. C.; Opatrny, J.; Sotteau, D.
8
1992
Graded modalities in epistemic logic. Zbl 0978.03515
van der Hoek, W.; Meyer, J.-J. Ch.
6
1992
Modal logics for knowledge representation. Zbl 0760.68076
Meyer, J.-J. Ch.
1
1992
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? Zbl 0873.68134
Wieringa, R. J.; Weigand, H.; Meyer, J.-J. Ch.; Dignum, F. P. M.
4
1991
Non-monotonic reasoning by monotonic means. Zbl 0789.68129
Meyer, J.-J. Ch.; van der Hoek, W.
2
1991
Epistemic logic for computer science: A tutorial. II. Zbl 0760.68073
Meyer, J.-J. Ch.; van der Hoek, W.; Vreeswijk, G. A. W.
1
1991
A parameter linked with \(G\)-factors and the binding number. Zbl 0756.05067
Favaron, O.; Heydemann, M. C.; Meyer, J. C.; Sotteau, D.
1
1991
Epistemic logic for computer science: A tutorial. I. Zbl 0744.68117
Meyer, J.-J. Ch.; van der Hoek, W.; Vreeswijk, G. A. W.
1
1991
Realizable values of the forwarding index. Zbl 0687.05026
Heydemann, M.-C.; Meyer, J.-C.; Opatrny, J.; Sotteau, D.
2
1990
Hiding in stream semantics of uniform concurrency. Zbl 0672.68008
Meyer, J.-J. Ch.; Olderog, E.-R.
2
1990
On forwarding indices of networks. Zbl 0681.90077
Heydemann, M. C.; Meyer, J. C.; Sotteau, D.
62
1989
Using programming concepts in deontic reasoning. Zbl 0716.03017
Meyer, J.-J. Ch.
4
1989
Possible logics for belief. Zbl 0786.03020
van der Hoek, W.; Meyer, J.-J. Ch.
2
1989
Step semantics for “true” concurrency with recursion. Zbl 0703.68073
Meyer, J.-J. C.; de Vink, E. P.
1
1989
Pomset semantics for true concurrency with synchronization and recursion. Zbl 0755.68099
Meyer, J.-J. Ch.; de Vink, E. P.
1
1989
A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009
Meyer, J.-J. Ch.
52
1988
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency. Zbl 0652.68028
De Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1988
Metric semantics for concurrency. Zbl 0661.68011
de Bakker, J. W.; Meyer, J.-J. Ch.
10
1988
On the forwarding index problem for small graphs. Zbl 0664.05029
Heydemann, M. C.; Meyer, J. C.; Sotteau, D.
3
1988
Applications of compactness in the Smyth powerdomain of streams. Zbl 0652.68027
Meyer, J.-J. Ch.; de Vink, E. P.
2
1988
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0623.68016
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
6
1987
Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014
de Bakker, J. W.; Meyer, J.-J. Ch.
6
1987
A simple solution of the “deepest” paradox in deontic logic. Zbl 0642.03005
Meyer, J.-J. Ch.
3
1987
Applications of compactness in the Smyth powerdomain of streams. Zbl 0614.68015
Meyer, J.-J. Ch.; de Vink, E. P.
3
1987
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
Merging regular processes by means of fixed-point theory. Zbl 0602.68025
Meyer, J.-J. Ch.
7
1986
Infinite streams and finite observations in the semantics of uniform concurrency. Zbl 0566.68011
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R.
3
1985
Linear time and branching time semantics for recursion with merge. Zbl 0985.68517
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
17
1984
On specifying sets of integers. Zbl 0554.68008
Bergstra, Jan A.; Meyer, John-J. Ch.
4
1984
Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1984
Linear time and branching time semantics for recursion with merge. Zbl 0527.68011
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Linear time and branching time semantics for recursion with merge. Zbl 0517.68026
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
On infinite computations in denotational semantics. Zbl 0514.68018
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1983
The equational specification of finite minimal unoids using only unary hidden functions. Zbl 0548.68016
Bergstra, Jan A.; Meyer, John-Jules Ch.
2
1982
...and 6 more Documents
all top 5

Cited by 466 Authors

32 Meyer, John-Jules Charles
20 van der Hoek, Wiebe
13 van Ditmarsch, Hans Pieter
9 Lorini, Emiliano
8 Balbiani, Philippe
8 Bergstra, Jan A.
8 de Bakker, Jacobus W.
8 Zhou, Sanming
7 Ågotnes, Thomas
6 Broersen, Jan M.
6 Dastani, Mehdi M.
6 Herzig, Andreas
6 Olderog, Ernst-Rüdiger
6 Studer, Thomas
6 Wooldridge, Michael J.
5 Belardinelli, Francesco
5 Castro, Pablo F.
5 de Boer, Frank S.
5 Jamroga, Wojciech
5 Kooi, Barteld Pieter
5 Lomuscio, Alessio
5 Maibaum, Thomas Stephen Edward
5 Pérennes, Stéphane
5 Schneider, Gerardo
5 Sotteau, Dominique
5 van Benthem, Johan F. A. K.
5 Xu, Junming
4 de Vink, Erik P.
4 Dignum, F. P. M.
4 Dixon, Clare
4 French, Tim
4 Grossi, Davide
4 Heydemann, Marie-Claude
4 Hughes, Jesse
4 Majster-Cederbaum, Mila E.
4 Meyer, Jean-Claude
4 Mokhtar, Hamid
4 Prakken, Henry
4 Sartor, Giovanni
4 Thomson, Alison
4 van der Torre, Leendert W. N.
4 Wang, Yinan
4 Wieringa, Roel J.
4 Xu, Min
3 Alechina, Natasha
3 Baier, Christel
3 Baltag, Alexandru
3 Bermond, Jean-Claude
3 Bulling, Nils
3 De Giacomo, Giuseppe
3 Dix, Jurgen
3 Fang, Xingui
3 Godo, Lluís
3 Hindriks, Koen V.
3 Jäger, Gerhard
3 Kaneko, Mamoru
3 Kok, Joost N.
3 Kuijer, Louwe Bouke
3 Lespérance, Yves
3 Levesque, Hector J.
3 Liau, Churn-Jung
3 Liu, Fenrong
3 Liu, Hu
3 Manoussakis, Yannis G.
3 Murano, Aniello
3 Nguyen, Linh Anh
3 Pacuit, Eric
3 Prisacariu, Cristian
3 Roy, Olivier
3 Sardina, Sebastian
3 Sergot, Marek J.
3 Su, Kaile
3 Suzuki, Nobu-Yuki
3 van Breugel, Franck
3 van Eijk, Rogier M.
3 Velázquez-Quesada, Fernando Raymundo
2 America, Pierre
2 Aminof, Benjamin
2 Artemov, Sergei
2 Aucher, Guillaume
2 Beirlaen, Mathieu
2 Benevides, Mario R. F.
2 Berto, Francesco
2 Brünnler, Kai
2 Carmo, José M. C. L. M.
2 Chen, Meirun
2 Cicerone, Serafino
2 Cousot, Patrick
2 Cowling, Peter I.
2 de Bakker, Jaco
2 de Lima, Tiago
2 Di Stefano, Gabriele
2 Dunin-Kȩplicz, Barbara
2 Ésik, Zoltán
2 Fernandez de la Vega, Wenceslas
2 Fisher, Michael E.
2 Fisher, Michael W.
2 Flammini, Michele
2 Gauyacq, Ginette
2 Giordani, Alessandro
...and 366 more Authors
all top 5

Cited in 66 Serials

40 Theoretical Computer Science
27 Discrete Applied Mathematics
25 Artificial Intelligence
23 Journal of Applied Logic
21 Studia Logica
20 Synthese
16 Journal of Applied Non-Classical Logics
11 Information and Computation
11 Annals of Mathematics and Artificial Intelligence
9 Journal of Logic, Language and Information
8 Information Processing Letters
8 The Review of Symbolic Logic
7 Discrete Mathematics
7 Journal of Philosophical Logic
7 International Journal of Approximate Reasoning
6 International Journal of Intelligent Systems
4 Acta Informatica
4 Networks
4 Annals of Pure and Applied Logic
3 Journal of Automated Reasoning
3 Applicable Algebra in Engineering, Communication and Computing
3 Erkenntnis
3 The Journal of Logic and Algebraic Programming
2 Journal of Combinatorial Theory. Series B
2 Notre Dame Journal of Formal Logic
2 European Journal of Combinatorics
2 Graphs and Combinatorics
2 Linear Algebra and its Applications
2 Economic Theory
2 Computational & Mathematical Organization Theory
2 Journal of Logical and Algebraic Methods in Programming
1 Bulletin of the Australian Mathematical Society
1 Computers & Mathematics with Applications
1 Linear and Multilinear Algebra
1 Applied Mathematics and Computation
1 BIT
1 Journal of Computer and System Sciences
1 Journal of Pure and Applied Algebra
1 The Journal of Symbolic Logic
1 Mathematical Social Sciences
1 Journal of Symbolic Computation
1 New Generation Computing
1 International Journal of Parallel Programming
1 Journal of Parallel and Distributed Computing
1 Random Structures & Algorithms
1 MSCS. Mathematical Structures in Computer Science
1 European Journal of Operational Research
1 Distributed Computing
1 Combinatorics, Probability and Computing
1 Mathematical Logic Quarterly (MLQ)
1 International Transactions in Operational Research
1 Theory of Computing Systems
1 Topoi
1 Taiwanese Journal of Mathematics
1 Soft Computing
1 Acta Mathematica Sinica. English Series
1 International Journal of Applied Mathematics and Computer Science
1 Foundations of Science
1 Journal of the Australian Mathematical Society
1 Electronic Commerce Research
1 Computational Intelligence
1 Journal of Discrete Algorithms
1 Boletim da Sociedade Paranaense de Matemática. Terceira Série
1 Science in China. Series F
1 Games
1 Frontiers of Computer Science

Citations by Year

Wikidata Timeline