Publikationer pr. år
Personlig profil
Forskningsområder
Data Science, Artificial Intelligence, Big Data, Machine Learning, Social Networks, Logic and Rational Interaction, Logics for Multi-Agent Systems, Formal and Social Epistemology, Logic and Knowledge Representation.
Publikation 2007 2011
A Hybrid Public Announcement Logic with Distributed Knowledge
Hansen, J. U. 8 jul. 2011 I : Electronic Notes in Theoretical Computer Science. 273, s. 33-50Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology
Hansen, J. U. 2011 Roskilde Universitet. 221 s.Publikation: Bog/rapport › Ph.d.-afhandling › Forskning
Fil
Logical knowledge representation of regulatory relations in biomedical pathways
Zambach, S. & Hansen, J. U. 2010 ITBAM 2010: 1st International Conference on Information Technology in Bio- and Medical Informatics. Khuri, S., Lhotská, L. & Pisanti, N. (red.). Springer, s. 186-200 14 s. (Lecture Notes in Computer Science, Bind 6266).Publikation: Kapitel i bog/rapport/konferenceproces › Konferencebidrag i proceedings › Forskning › peer review
Terminating Tableaux for Dynamic Epistemic Logics
Hansen, J. U. 2010 I : Electronical Notes in Theoretical Computer Science. s. 141-156 16 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
Many-valued hybrid logic
Hansen, J. U., Bolander, T. & Braüner, T. 2009 Logics for Dynamics of Information and Preferences: Seminar's yearbook 2008. Kurzen, L. & Velazquez-Quesada, F. R. (red.). University of Amsterdam, s. 238-263Publikation: Kapitel i bog/rapport/konferenceproces › Bidrag til bog/antologi › Forskning