John-Jules Meyer
John-Jules Meyer
Utrecht University / Emotional Brain BV
Verified email at cs.uu.nl
TitleCited byYear
Epistemic logic for AI and computer science
JJ Meyer, W van der Hoek
Cambridge University Press, 2004
8212004
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
JJC Meyer
Notre dame journal of formal logic 29 (1), 109-136, 1988
5311988
Agent programming in 3APL
KV Hindriks, FS De Boer, W Van der Hoek, JJC Meyer
Autonomous Agents and Multi-Agent Systems 2 (4), 357-401, 1999
4711999
Deontic logic in computer science normative system specification
JJC Meyer, RJ Wieringa
3751993
A programming language for cognitive agents goal directed 3APL
M Dastani, MB van Riemsdijk, F Dignum, JJC Meyer
International Workshop on Programming Multi-Agent Systems, 111-130, 2003
2182003
A logical approach to the dynamics of commitments
JJC Meyer, W van der Hoek, B van Linder
Artificial Intelligence 113 (1-2), 1-40, 1999
1851999
Boolean games
P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen
Proceedings of the 8th conference on Theoretical aspects of rationality and†…, 2001
1632001
Agent programming with declarative goals
KV Hindriks, FS De Boer, W Van Der Hoek, JJC Meyer
International Workshop on Agent Theories, Architectures, and Languages, 228-243, 2000
1612000
Applications of deontic logic in computer science: A concise overview
RJ Wieringa, JJC Meyer
Deontic logic in computer science, 17-40, 1993
1581993
Programming multi-agent systems in 3APL
M Dastani, M van Birna Riemsdijk, JJC Meyer
Multi-agent programming, 39-67, 2005
1472005
Deontic logic: A concise overview
JJC Meyer
Deontic Logic in Computer Science: Normative System Specification, 3-16, 1993
1451993
Designing a deontic logic of deadlines
J Broersen, F Dignum, V Dignum, JJC Meyer
International Workshop on Deontic Logic in Computer Science, 43-56, 2004
1392004
Reasoning about emotional agents
JJC Meyer
International journal of intelligent systems 21 (6), 601-619, 2006
1372006
Specifying dynamic and deontic integrity constraints
R Wieringa, JJ Meyer, H Weigand
Data & knowledge engineering 4 (2), 157-189, 1989
1281989
Formal semantics for an abstract agent programming language
KV Hindriks, FS de Boer, W van der Hoek, JJC Meyer
International Workshop on Agent Theories, Architectures, and Languages, 215-229, 1997
1171997
Formal specification of interaction in agent societies
V Dignum, JJC Meyer, F Dignum, H Weigand
International Workshop on Formal Approaches to Agent-Based Systems, 37-52, 2002
1162002
Normative multi-agent programs and their logics
M Dastani, D Grossi, JJC Meyer, N Tinnemeier
International Workshop on Knowledge Representation for Agents and Multi†…, 2008
1152008
An integrated modal approach to rational agents
W van der Hoek, B van Linder, JJC Meyer
Foundations of rational agency, 133-167, 1999
1151999
An organizational-oriented model for agent societies
V Dignum, JJ Meyer, H Weigand, F Dignum
Proc. Int. Workshop on Regulated Agent-Based Social Systems: Theories and†…, 2002
1102002
Programming agent deliberation: an approach illustrated using the 3APL language
M Dastani, F De Boer, F Dignum, JJ Meyer
Proceedings of the second international joint conference on Autonomous†…, 2003
1082003
The system can't perform the operation now. Try again later.
Articles 1–20