×

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, John-Jules Ch.; Meyer, J.-J. Ch.; Meyer, John-Jules; Meyer, John-Jules Charles; Meyer, John-Jules C.; Meyer, J.-J. C.; Meyer, J.-J.; Meyer, John-J. Ch.; Meyer, J.-J. Ch; Meyer, J. J.
Homepage: https://www.uu.nl/staff/JJCMeyer
External Links: MGP · dblp
Documents Indexed: 167 Publications since 1981, including 13 Books
Reviewing Activity: 68 Reviews

Publications by Year

Citations contained in zbMATH Open

95 Publications have been cited 470 times in 318 Documents Cited by Year
Epistemic logic for AI and computer science. Zbl 0868.03001
Meyer, John-Jules Ch.; van der Hoek, Wiebe
88
1995
A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009
Meyer, J.-J. Ch.
53
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.
16
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
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
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
A complete epistemic logic for multiple agents. Zbl 0956.03022
van der Hoek, W.; Meyer, J. J.
8
1997
An integrated modal approach to rational agents. Zbl 0926.68108
van der Hoek, W.; van Linder, B.; Meyer, J.-J. Ch.
7
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
Actions that make you change your mind. Zbl 0839.03016
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
7
1995
Free choice and contextually permitted actions. Zbl 0860.03021
Dignum, F.; Meyer, J.-J. Ch.; Wieringa, R. J.
7
1996
Formalising abilities and opportunities of agents. Zbl 0903.68045
van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.
7
1998
Graded modalities in epistemic logic. Zbl 0978.03515
van der Hoek, W.; Meyer, J.-J. Ch.
7
1992
A default logic based on epistemic states. Zbl 0838.03021
Meyer, J.-J. Ch.; van der Hoek, W.
7
1995
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
Merging regular processes by means of fixed-point theory. Zbl 0602.68025
Meyer, J.-J. Ch.
7
1986
Deontic logic in computer science: normative system specification. Zbl 0845.68088
Meyer, John-Jules Ch. (ed.); Wieringa, Roel J. (ed.)
6
1993
A fixed-point characterization of a deontic logic of regular action. Zbl 0995.03016
Broersen, Jan; Wieringa, Roel; Meyer, John-Jules
6
2001
Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014
de Bakker, J. W.; Meyer, J.-J. Ch.
6
1987
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
Autonomy and agent deliberation. Zbl 1098.68911
Dastani, Mehdi; Dignum, Frank; Meyer, John-Jules
5
2004
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
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
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
Reasoning about emotional agents. Zbl 1104.68766
Meyer, John-Jules Ch.
4
2006
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 agents that have the ability to choose. Zbl 0971.03022
van der Hoek, Wiebe; van Linder, Bernd; Meyer, John-Jules
3
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
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
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
On specifying sets of integers. Zbl 0554.68008
Bergstra, Jan A.; Meyer, John-J. Ch.
3
1984
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
A simple solution of the “deepest” paradox in deontic logic. Zbl 0642.03005
Meyer, J.-J. Ch.
3
1987
Rational teams: logical aspects of multi-agent systems. Zbl 1102.68104
Aldewereld, Huib; van der Hoek, Wiebe; Meyer, John-Jules
2
2004
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
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
2
2003
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
Update semantics of security protocols. Zbl 1072.03019
Hommersom, Arjen; Meyer, John-Jules; de Vink, Erik
2
2004
Contextual taxonomies. Zbl 1081.68682
Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.
2
2005
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 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
Non-monotonic reasoning by monotonic means. Zbl 0789.68129
Meyer, J.-J. Ch.; van der Hoek, W.
2
1991
The equational specification of finite minimal unoids using only unary hidden functions. Zbl 0548.68016
Bergstra, Jan A.; Meyer, John-Jules Ch.
2
1982
Applications of compactness in the Smyth powerdomain of streams. Zbl 0614.68015
Meyer, J.-J. Ch.; de Vink, E. P.
2
1987
Normative multi-agent programs and their logics. Zbl 1258.68155
Dastani, Mehdi; Grossi, Davide; Meyer, John-Jules Ch.; Tinnemeier, Nick
2
2009
Possible logics for belief. Zbl 0786.03020
van der Hoek, W.; Meyer, J.-J. Ch.
2
1989
A deontic logic for socially optimal norms. Zbl 1143.03337
Broersen, Jan; Mastop, Rosja; Meyer, John-Jules Ch.; Turrini, Paolo
2
2008
Applications of compactness in the Smyth powerdomain of streams. Zbl 0652.68027
Meyer, J.-J. Ch.; de Vink, E. P.
2
1988
Hiding in stream semantics of uniform concurrency. Zbl 0672.68008
Meyer, J.-J. Ch.; Olderog, E.-R.
2
1990
On infinite computations in denotational semantics. Zbl 0514.68018
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1983
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
Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1984
Temporalizing epistemic default logic. Zbl 0921.03036
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
1998
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
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
Informational independence: Models and normal forms. Zbl 0891.68114
van der Gaag, Linda C.; Meyer, J.-J. Ch.
1
1998
Formal semantics of temporal epistemic reflection. Zbl 1051.68126
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
2001
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
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
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 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
A new logical semantics for agent communication. Zbl 1177.68218
Bentahar, Jamal; Moulin, Bernard; Meyer, John-Jules Ch.; Lespérance, Yves
1
2007
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
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
An update operator for strategic ability. Zbl 1196.03025
Turrini, Paolo; Broersen, Jan; Mastop, Rosja; Meyer, John-Jules
1
2009
Semantics of plan revision in intelligent agents. Zbl 1086.68084
van Riemsdijk, M. Birna; Meyer, John-Jules Ch.; de Boer, Frank S.
1
2006
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
Release logics for temporalizing dynamic logic. Orthogonalizing modal logics. Zbl 0974.03504
Krabbendam, Jeroen; Meyer, John-Jules
1
2000
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
Agents with emotions. Zbl 1211.68453
Dastani, Mehdi; Meyer, John-Jules Ch.
1
2010
A logic for normative multi-agent programs. Zbl 1262.68163
Dastani, Mehdi; Meyer, John-Jules Ch.; Grossi, Davide
1
2013
Full hybrid \(\mu \)-calculus, its bisimulation invariance and application to argumentation. Zbl 1361.68231
Gratie, Cristian; Florea, Adina Magda; Meyer, John-Jules Ch.
1
2012
Pomset semantics for true concurrency with synchronization and recursion. Zbl 0755.68099
Meyer, J.-J. Ch.; de Vink, E. P.
1
1989
Modal logics for knowledge representation. Zbl 0760.68076
Meyer, J.-J. Ch.
1
1992
Step semantics for “true” concurrency with recursion. Zbl 0703.68073
Meyer, J.-J. C.; de Vink, E. P.
1
1989
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1982
On the elimination of iteration quantifiers in a fragment of algorithmic logic. Zbl 0507.03008
Bergstra, J. A.; Meyer, J.-J. Ch.
1
1982
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.
1
1983
A simple transfer lemma for algebraic specifications. Zbl 0522.68025
Bergstra, J. A.; Meyer, J.-J. Ch.
1
1982
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
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
1
2012
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
Full hybrid \(\mu \)-calculus, its bisimulation invariance and application to argumentation. Zbl 1361.68231
Gratie, Cristian; Florea, Adina Magda; Meyer, John-Jules Ch.
1
2012
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
1
2012
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
Agents with emotions. Zbl 1211.68453
Dastani, Mehdi; Meyer, John-Jules 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
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 deontic logic for socially optimal norms. Zbl 1143.03337
Broersen, Jan; Mastop, Rosja; Meyer, John-Jules Ch.; Turrini, Paolo
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
Autonomy and agent deliberation. Zbl 1098.68911
Dastani, Mehdi; Dignum, Frank; Meyer, John-Jules
5
2004
Designing a deontic logic of deadlines. Zbl 1169.03334
Broersen, Jan; Dignum, Frank; Dignum, Virginia; Meyer, John-Jules Ch.
5
2004
Rational teams: logical aspects of multi-agent systems. Zbl 1102.68104
Aldewereld, Huib; van der Hoek, Wiebe; Meyer, John-Jules
2
2004
Update semantics of security protocols. Zbl 1072.03019
Hommersom, Arjen; Meyer, John-Jules; de Vink, Erik
2
2004
A modal characterization of Nash equilibrium. Zbl 1041.03016
Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees
14
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
2
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
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
Handbook of defeasible reasoning and uncertainty management systems. VII: Agent-based defeasible control in dynamic environments. Zbl 1058.68090
Meyer, J.-J. Ch.; Treur, J.
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
On agents that have the ability to choose. Zbl 0971.03022
van der Hoek, Wiebe; van Linder, Bernd; Meyer, John-Jules
3
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
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
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
A semantics for persistency in propositional dynamic logic. Zbl 0983.03021
Broersen, Jan; Wieringa, Roel; Meyer, John-Jules
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
An integrated modal approach to rational agents. Zbl 0926.68108
van der Hoek, W.; van Linder, B.; Meyer, J.-J. Ch.
7
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
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.
7
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.
7
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
88
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
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.; Wieringa, Roel J.
6
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
Graded modalities in epistemic logic. Zbl 0978.03515
van der Hoek, W.; Meyer, J.-J. Ch.
7
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. I. Zbl 0744.68117
Meyer, J.-J. Ch.; van der Hoek, W.; Vreeswijk, G. A. W.
1
1991
Hiding in stream semantics of uniform concurrency. Zbl 0672.68008
Meyer, J.-J. Ch.; Olderog, E.-R.
2
1990
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
Pomset semantics for true concurrency with synchronization and recursion. Zbl 0755.68099
Meyer, J.-J. Ch.; de Vink, E. P.
1
1989
Step semantics for “true” concurrency with recursion. Zbl 0703.68073
Meyer, J.-J. C.; 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.
53
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
Applications of compactness in the Smyth powerdomain of streams. Zbl 0652.68027
Meyer, J.-J. Ch.; de Vink, E. P.
2
1988
Order and metric in the stream semantics of elemental concurrency. Zbl 0607.68014
de Bakker, J. W.; Meyer, J.-J. Ch.
6
1987
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
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.
2
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.
16
1984
On specifying sets of integers. Zbl 0554.68008
Bergstra, Jan A.; Meyer, John-J. Ch.
3
1984
Corrigendum: On infinite computations in denotational semantics. Zbl 0533.68020
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1984
On infinite computations in denotational semantics. Zbl 0514.68018
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I.
2
1983
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.
1
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
Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1982
On the elimination of iteration quantifiers in a fragment of algorithmic logic. Zbl 0507.03008
Bergstra, J. A.; Meyer, J.-J. Ch.
1
1982
A simple transfer lemma for algebraic specifications. Zbl 0522.68025
Bergstra, J. A.; Meyer, J.-J. Ch.
1
1982
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
all top 5

Cited by 359 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.
7 Ågotnes, Thomas
7 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 Schneider, Gerardo
5 van Benthem, Johan F. A. K.
4 de Vink, Erik P.
4 Dignum, F. P. M.
4 Dixon, Clare
4 Grossi, Davide
4 Hughes, Jesse
4 Majster-Cederbaum, Mila E.
4 Nguyen, Linh Anh
4 Prakken, Henry
4 Sartor, Giovanni
4 van der Torre, Leendert W. N.
4 Wieringa, Roel J.
3 Alechina, Natasha
3 Baier, Christel
3 Baltag, Alexandru
3 Bulling, Nils
3 Dix, Jurgen
3 French, Tim
3 Godo, Lluís
3 Hindriks, Koen V.
3 Kaneko, Mamoru
3 Kok, Joost N.
3 Kuijer, Louwe Bouke
3 Liau, Churn-Jung
3 Liu, Fenrong
3 Liu, Hu
3 Murano, Aniello
3 Pacuit, Eric
3 Prisacariu, Cristian
3 Roy, Olivier
3 Sardina, Sebastian
3 Sedlár, Igor Igor
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 Alberti, Marco
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 Cousot, Patrick
2 de Bakker, Jaco
2 De Giacomo, Giuseppe
2 de Lima, Tiago
2 Dunin-Kȩplicz, Barbara
2 Ésik, Zoltán
2 Gavanelli, Marco
2 Giordani, Alessandro
2 Haeusler, Edward Hermann
2 Heinemann, Bernhard
2 Hoshi, Tomohiro
2 Hustadt, Ullrich
2 Jäger, Gerhard
2 Klop, Jan Willem
2 Kraus, Sarit
2 Lamma, Evelina
2 Legastelois, Bénédicte
2 Lesot, Marie-Jeanne
2 Lespérance, Yves
2 Levesque, Hector J.
2 Liu, Chanjuan
2 Logan, Brian
2 Lokhorst, Gert-Jan C.
2 Lopes, Bruno Domeniciano
2 Ma, Minghui
2 Malvone, Vadim
2 Mastop, Rosja
2 Middelburg, Cornelis A.
2 Nolte, Doris
2 Omicini, Andrea
...and 259 more Authors
all top 5

Cited in 49 Serials

35 Theoretical Computer Science
24 Artificial Intelligence
23 Studia Logica
22 Synthese
22 Journal of Applied Logic
16 Journal of Applied Non-Classical Logics
11 Information and Computation
11 Annals of Mathematics and Artificial Intelligence
10 Journal of Logic, Language and Information
8 Journal of Philosophical Logic
8 The Review of Symbolic Logic
7 International Journal of Approximate Reasoning
6 International Journal of Intelligent Systems
4 Acta Informatica
4 Information Processing Letters
3 Annals of Pure and Applied Logic
3 Journal of Automated Reasoning
3 Applicable Algebra in Engineering, Communication and Computing
3 Erkenntnis
2 Notre Dame Journal of Formal Logic
2 Economic Theory
2 Computational & Mathematical Organization Theory
2 The Journal of Logic and Algebraic Programming
2 Journal of Logical and Algebraic Methods in Programming
1 Applied Mathematics and Computation
1 BIT
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
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 MSCS. Mathematical Structures in Computer Science
1 European Journal of Operational Research
1 Distributed Computing
1 Mathematical Logic Quarterly (MLQ)
1 Theory of Computing Systems
1 Topoi
1 Soft Computing
1 International Journal of Applied Mathematics and Computer Science
1 Foundations of Science
1 Fundamenta Informaticae
1 Electronic Commerce Research
1 Computational Intelligence
1 Science in China. Series F
1 Logica Universalis
1 Games
1 Frontiers of Computer Science

Citations by Year