Follow
Nick Tinnemeier
Nick Tinnemeier
Current: bol.com, Former: Keylane|Quinity, Former: Utrecht University
Verified email at cs.uu.nl
Title
Cited by
Cited by
Year
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
1362008
A programming language for normative multi-agent systems
M Dastani, NAM Tinnemeier, JJC Meyer
Handbook of Research on Multi-Agent Systems: semantics and dynamics of …, 2009
632009
Roles and norms for programming agent organizations
N Tinnemeier, M Dastani, JJ Meyer
Proceedings of The 8th International Conference on Autonomous Agents and …, 2009
592009
Programming normative artifacts with declarative obligations and prohibitions
NAM Tinnemeier, MM Dastani, JJC Meyer, L van der Torre
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and …, 2009
452009
Programming norm change
N Tinnemeier, M Dastani, JJ Meyer
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
402010
Orwell’s nightmare for agents? programming multi-agent organisations
NAM Tinnemeier, M Dastani, JJC Meyer
Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008 …, 2009
202009
Organizing agent organizations: syntax and operational semantics of an organization-oriented programming language
NAM Tinnemeier
Utrecht University, 2011
192011
Combining multiple knowledge representation technologies into agent programming languages
MM Dastani, KV Hindriks, P Novák, NAM Tinnemeier
Declarative Agent Languages and Technologies VI: 6th International Workshop …, 2009
152009
Programming norm change
M Dastani, JJ Meyer, N Tinnemeier
Journal of Applied Non-Classical Logics 22 (1-2), 151-180, 2012
112012
Model checking normative agent organisations
L Dennis, N Tinnemeier, JJ Meyer
Computational Logic in Multi-Agent Systems: 10th International Workshop …, 2010
112010
Goal selection strategies for rational agents
NAM Tinnemeier, M Dastani, JJC Meyer
Languages, Methodologies and Development Tools for Multi-Agent Systems …, 2008
102008
Organizing Agent Organizations
N Tinnemeier
Syntax and Operational Semantics of an Organization-Oriented Programming …, 2010
72010
Going for Gold with 2APL
L Astefanoaei, CP Mol, MP Sindlar, NAM Tinnemeier
International Workshop on Programming Multi-Agent Systems, 246-250, 2007
72007
Organizing agent organizations: Syntax and operational semantics of an organization-oriented programming language [Ph. D. Thesis]
NAM Tinnemeier
Utrecht: Utrecht University 201 (1), 2011
52011
Combining Multiple Knowledge Representation Technologies into Agent Programming
MM Dastani, KV Hindriks, P Novák, NAM Tinnemeier
Declarative Agent Languages and Technologies VI: 6th International Workshop …, 2009
2009
The Functional Programming Language Tina as Agent Programming Language
NAM Tinnemeier
2006
Type Inference
RJ Rorije, NAM Tinnemeier
2005
Normative Multi-Agent Programs
M Dastani, N Tinnemeier, JJ Meyer
Embodied Agents
HW Elling, NAM Tinnemeier
Software Composition in Functional languages
RJ Rorije, NAM Tinnemeier
The system can't perform the operation now. Try again later.
Articles 1–20