Intet foto af Torben Braüner
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

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

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikationer 1999 2019

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepteret/In press) I : Topics in Cognitive Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer Nature, (Language, Cognition, and Mind).

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

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (red.). Cognitive Science Society, s. 45-46

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

Åben adgang
Fil

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R., 2018, s. 16-27.

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil

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

Projekter 2005 2019

HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

Braüner, T., Bolander, T., Goranko, V., Blackburn, P. & Areces, C.

The Danish Natural Science Research Council

01/01/200931/12/2013

Projekter: Forskning

HyLoMOL: Hybrid Logic Meets Other Logics

Braüner, T., Bolander, T., Villadsen, J., Blackburn, P. & de Paiva, V.

The Danish Natural Science Research Council

01/01/200531/12/2008

Projekter: Forskning

Aktiviteter 2002 2018

9th International Joint Conference on Automated Reasoning (Begivenhed)

Torben Braüner (Medlem)
14 jul. 201817 jul. 2018

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

25th Workshop on Logic, Language, Information and Computation (Begivenhed)

Torben Braüner (Medlem)
24 jul. 201827 jul. 2018

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Oplægsholder)
9 jan. 201713 jan. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)

Torben Braüner (Medlem)
25 sep. 201728 sep. 2017

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Ninth Methods for Modality Workshop - 2017 (Begivenhed)

Torben Braüner (Medlem)
8 jan. 20179 jan. 2017

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Presse/medie

RUC-lektor i datalogi sætter logikken på ny formel

Torben Braüner

31/01/2011

1 element af mediedækning

Presse/medie