Nick Tinnemeier

From MaRDI portal
(Redirected from Person:3055671)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Programming norm change
Journal of Applied Non-Classical Logics
2018-08-28Paper
Model checking normative agent organisations
Lecture Notes in Computer Science
2010-11-09Paper
Normative Multi-agent Programs and Their Logics
Lecture Notes in Computer Science
2009-11-12Paper
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Lecture Notes in Computer Science
2009-02-12Paper


Research outcomes over time


This page was built for person: Nick Tinnemeier