Jens Ulrik Hansen
Tidligere ansat
- 2011
- Udgivet
A Hybrid Public Announcement Logic with Distributed Knowledge. / Hansen, Jens Ulrik.
I: Electronic Notes in Theoretical Computer Science, Vol. 273, 08.07.2011, s. 33-50.Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
A logic toolbox for modeling knowledge and information in multi-agent systems and social epistemology. / Hansen, Jens Ulrik.
Roskilde Universitet, 2011. 221 s. (Datalogiske skrifter ).Publikation: Forskning › PhD. afhandling
- 2010
- Udgivet
Logical knowledge representation of regulatory relations in biomedical pathways. / Zambach, Sine; Hansen, Jens Ulrik.
ITBAM 2010: 1st International Conference on Information Technology in Bio- and Medical Informatics. red. / S. Khuri; L. Lhotská; N. Pisanti. Springer, 2010. s. 186-200 (Lecture Notes in Computer Science; Nr. 6266).Publikation: Forskning - peer review › Konferencebidrag i proceedings
- Udgivet
Terminating Tableaux for Dynamic Epistemic Logics. / Hansen, Jens Ulrik.
I: Electronical Notes in Theoretical Computer Science, 2010, s. 141-156.Publikation: Forskning - peer review › Konferenceartikel
- 2009
- Udgivet
Many-valued hybrid logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.
Logics for Dynamics of Information and Preferences: Seminar's yearbook 2008. red. / Lena Kurzen; Fernando R. Velazquez-Quesada. University of Amsterdam, 2009. s. 238-263.Publikation: Forskning › Bidrag til bog/antologi
- Udgivet
Terminating tableaux for dynamic epistemic logics. / Hansen, Jens Ulrik.
I: Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter, Nr. 128, 2009, s. 88-102.Publikation: Forskning - peer review › Konferenceartikel
- 2008
- Udgivet
Many-valued hybrid logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.
Advances in Modal Logic. red. / Carlos Areces; Robert Goldblatt. Vol. 7 College Publications, 2008. s. 111-132.Publikation: Forskning - peer review › Konferencebidrag i proceedings
- 2007
- Ekstern
A Tableau system for a first-order hybrid logic. / Hansen, Jens Ulrik.
2007. Paper presented at International Workshop on Hybrid Logic 2007, Dublin, Irland.Publikation: Forskning - peer review › Paper
- Ekstern
Decidability of a Hybrid Duration Calculus. / Bolander, Thomas; Hansen, Jens Ulrik; Hansen, Michael Reichhardt.
I: Electronic Notes in Theoretical Computer Science, Vol. 174, 2007, s. 113-133.Publikation: Forskning - peer review › Tidsskriftartikel