Foto af Jens Ulrik Hansen
  • Universitetsvej 1

    DK-4000 Roskilde

    Danmark

20072018
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2007 2018

2018

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T., 2018, I : Journal of Logic and Computation. 28, 5, s. 883-908

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
2016

Reflecting on social influence in networks

Christoff, Z., Hansen, J. U. & Proietti, C., 2016, I : Journal of Logic, Language and Information. 25, 3-4, s. 299-333

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2015

A logic for diffusion in social networks

Hansen, J. U. & Christoff, Z., 2015, I : Journal of Applied Logic. 13, 1, s. 48-77

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Reasoning about opinion dynamics in social networks

Hansen, J. U., 2015, I : Journal of Logic and Computation. Online First

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2014

A logic-based approach to pluralistic ignorance

Hansen, J. U., 2014, Logic and Interactive Rationality: Yearbook 2012. Christoff, Z., Galeazziv, P., Gierasimczuk, N., Marcoci, A. & Smets, S. (red.). Bind II. s. 227-245

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Modeling truly dynamic epistemic scenarios in PDEL

Hansen, J. U., 2014, The Logica Yearbook 2013. Dancak, M. & Puncochar, V. (red.). College Publications, s. 63-76

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

On the rationality of pluralistic ignorance

Bjerring, J. C., Hansen, J. U. & Jang Lee Linding Pedersen, N., 2014, I : Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 191, s. 2445-2470

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Pluralistic ignorance: A case for social epistemology and epistemic

Hansen, J. U., 2014, Proceedings of the workshop on Epistemic Logic for Individual, Social, and Interactive Epistemology (ELISIEM 2014).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Reasoning about opinion dynamics in social networks

Hansen, J. U., 2014, Proceedings of the eleventh conference on logic and the foundations of game and decision theory (LOFT XI).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Reflecting on social influence in social networks

Christoff, Z., Hansen, J. U. & Proietti, C., 2014, of Information Dynamics in Articial Societies Workshop (IDAS 2014).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2013

A two-tiered formalization of social influence

Christoff, Z. & Hansen, J. U., 2013, Logic, Rationality and Interaction, Proceedings of the Fourth International Workshop (LORI 2013). Huang, H., Grossi, D. & Roy, O. (red.). Springer, s. 68-81 (Lecture Notes in Computer Science, Bind 8196).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Logical models of informational cascades

Baltag, A., Christoff, Z., Hansen, J. U. & Smets, S., 2013, Logic across the University: Foundations and Applications. van Benthem, J. & Liu, F. (red.). College Publications, s. 405-432

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2012

A logic-based approach to pluralistic ignorance

Hansen, J. U., 2012, Future Directions for Logic - Proceedings of PhDs in Logic III. De Vuyst, J. & Demey, L. (red.). College Publications, s. 67-80

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

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-50

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
2010

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: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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 tidsskriftKonferenceartikelForskningpeer review

2009

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-263

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Terminating tableaux for dynamic epistemic logics

Hansen, J. U., 2009, I : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 128, s. 88-102 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2008

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (red.). College Publications, Bind 7. s. 111-132 22 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2007

A Tableau system for a first-order hybrid logic

Hansen, J. U., 2007. 9 s.

Publikation: KonferencebidragPaperForskningpeer review

Decidability of a Hybrid Duration Calculus

Bolander, T., Hansen, J. U. & Hansen, M. R., 2007, I : Electronic Notes in Theoretical Computer Science. 174, s. 113-133

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review