A weakest precondition calculus for BUnity
Aştefănoaei, L., de Boer, F.S., Dastani, M., Meyer, J.-J. Ch
Published in Science of computer programming (01.09.2013)
Published in Science of computer programming (01.09.2013)
Get full text
Journal Article
Toward a programming theory for rational agents
Hindriks, K. V., Meyer, J.-J. Ch
Published in Autonomous agents and multi-agent systems (01.08.2009)
Published in Autonomous agents and multi-agent systems (01.08.2009)
Get full text
Journal Article
Reasoning about agent deliberation
Alechina, N., Dastani, M., Logan, B. S., Meyer, J.-J. Ch
Published in Autonomous agents and multi-agent systems (01.03.2011)
Published in Autonomous agents and multi-agent systems (01.03.2011)
Get full text
Journal Article
Informational independence: Models and normal forms
van der Gaag, L. C., Meyer, J.-J. Ch
Published in International journal of intelligent systems (01.01.1998)
Published in International journal of intelligent systems (01.01.1998)
Get full text
Journal Article
Model Checking Agent Communication
Bentahar, J., Meyer, J.-J. Ch, Wan, W.
Published in Specification and Verification of Multi-agent Systems (07.07.2010)
Published in Specification and Verification of Multi-agent Systems (07.07.2010)
Get full text
Book Chapter
Correctness of Multi-Agent Programs: A Hybrid Approach
Dastani, M., Meyer, J.-J. Ch
Published in Specification and Verification of Multi-agent Systems (07.07.2010)
Published in Specification and Verification of Multi-agent Systems (07.07.2010)
Get full text
Book Chapter
A verification framework for agent programming with declarative goals
de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.Ch
Published in Journal of applied logic (01.06.2007)
Published in Journal of applied logic (01.06.2007)
Get full text
Journal Article
A Formalization of the Coach Problem
Schropp, G. Y. R., Meyer, J-J. Ch, Ramamoorthy, S.
Published in RoboCup 2014: Robot World Cup XVIII (2015)
Published in RoboCup 2014: Robot World Cup XVIII (2015)
Get full text
Book Chapter
Arguing about Preferences and Decisions
van der Weide, T. L., Dignum, F., Meyer, J. -J. Ch, Prakken, H., Vreeswijk, G. A. W.
Published in Argumentation in Multi-Agent Systems (2011)
Published in Argumentation in Multi-Agent Systems (2011)
Get full text
Book Chapter
Classifying the decision to perform surgery in MEN1 cancer patients using decision trees
Hohle, D., Pieterman, C. R. C., Valk, G. D., Hermus, A. R., Koppeschaar, H. P. F., Meyer, J. C., de Lange, R. P. J.
Published in 2011 24th International Symposium on Computer-Based Medical Systems (CBMS) (01.06.2011)
Published in 2011 24th International Symposium on Computer-Based Medical Systems (CBMS) (01.06.2011)
Get full text
Conference Proceeding
A modal contrastive logic: The logic of ‘but’
Ch. Meyer, J. -J., van der Hoek, W.
Published in Annals of mathematics and artificial intelligence (01.09.1996)
Published in Annals of mathematics and artificial intelligence (01.09.1996)
Get full text
Journal Article
Actors, actions, and initiative in normative system specification
Wieringa, R. J., Meyer, J. -J. Ch
Published in Annals of mathematics and artificial intelligence (01.03.1993)
Published in Annals of mathematics and artificial intelligence (01.03.1993)
Get full text
Journal Article