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
1222008
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
602009
Roles and norms for programming agent organizations
N Tinnemeier, M Dastani, JJ Meyer
Proceedings of The 8th International Conference on Autonomous Agents and …, 2009
582009
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
412009
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
International Workshop on Programming Multi-Agent Systems, 56-71, 2008
222008
Organizing agent organizations: syntax and operational semantics of an organization-oriented programming language
NAM Tinnemeier
Utrecht University, 2011
192011
Normative Multi-agent Programs and Their Logics, Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia …
M Dastani, D Grossi, JJC Meyer, N Tinnemeier
Springer-Verlag, Berlin, Heidelberg, 2009
192009
Combining multiple knowledge representation technologies into agent programming languages
MM Dastani, KV Hindriks, P Novák, NAM Tinnemeier
International Workshop on Declarative Agent Languages and Technologies, 60-74, 2008
142008
Programming norm change
M Dastani, JJ Meyer, N Tinnemeier
Journal of Applied Non-Classical Logics 22 (1-2), 151-180, 2012
102012
Goal selection strategies for rational agents
NAM Tinnemeier, M Dastani, JJC Meyer
International Workshop on Languages, Methodologies and Development Tools for …, 2007
82007
Model checking normative agent organisations
L Dennis, N Tinnemeier, JJ Meyer
International Workshop on Computational Logic in Multi-Agent Systems, 64-82, 2009
72009
Organizing Agent Organizations
N Tinnemeier
Syntax and Operational Semantics of an Organization-Oriented Programming …, 2010
62010
Going for Gold with 2APL
L Astefanoaei, CP Mol, MP Sindlar, NAM Tinnemeier
International Workshop on Programming Multi-Agent Systems, 246-250, 2007
62007
Knowledge representation for agents and multi-agent systems, chap
M Dastani, D Grossi, JJC Meyer, N Tinnemeier
Normative multi-agent programs and their logics, 16-31, 2009
52009
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