Publikationer pr. år
Publikationer pr. år
Publikationsnetværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Understanding responses of people with ASD in diverse reasoning tasks: A formal study
Braüner, T., Ghosh, A. & Ghosh, S., feb. 2025, I: Cognitive Processing. 26, 1, s. 201-218 18 s., 102432.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication
Kofod, J. L., Blackburn, P. R. & Braüner, T., 2024, (Accepteret/In press) I: Logic Journal of the IGPL.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Analytic Proof-Theory for Prior's System Q: First Steps
Braüner, T., 2024, (Accepteret/In press) Seventy years of tense-logic: Logic and Philosophy of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time; Nr. 1, Bind 6).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
-
Logic and Psychology: A Couple of Case Studies
Braüner, T., 2024, FCR 2024 Formal and Cognitive Reasoning 2024: Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence. Özçep, Ö. L., Rußwinkel, N., Sauerwald, K. & Wolter, D. (red.). CEUR-WS.org, Bind 3763. s. 11-18 8 s. (CEUR Workshop Proceedings, Bind 3763).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Prior's Ideal Language
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepteret/In press) I: Mathematical Structures in Computer Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Projekter
- 3 Afsluttet
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Projektdeltager), Blackburn, P. R. (Projektdeltager) & Polyanskaya, I. (Projektdeltager)
01/01/2014 → 30/04/2019
Projekter: Projekt › Forskning
-
HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods
Braüner, T. (Projektdeltager), Bolander, T. (Projektdeltager), Goranko, V. (Projektdeltager), Blackburn, P. (Projektdeltager) & Areces, C. (Projektdeltager)
The Danish Natural Science Research Council
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
-
HyLoMOL: Hybrid Logic Meets Other Logics
Braüner, T. (Anden), Bolander, T. (Projektdeltager), Villadsen, J. (Projektdeltager), Blackburn, P. (Projektdeltager) & de Paiva, V. (Projektdeltager)
The Danish Natural Science Research Council
01/01/2005 → 31/12/2008
Projekter: Projekt › Forskning
Aktiviteter
-
Foredrag: Er computere i stand til at tænke?
Braüner, T. (Oplægsholder)
5 nov. 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
27th European Conference on Artificial Intelligence ECAI 2024 (Begivenhed)
Braüner, T. (Medlem)
19 okt. 2024 → 24 okt. 2024Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
The Nordic Logic Summer School 2024 (Begivenhed)
Braüner, T. (Medlem)
10 jun. 2024 → 13 jun. 2024Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Logic meeting at DTU
Braüner, T. (Oplægsholder)
31 maj 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)
Braüner, T. (Oplægsholder)
23 mar. 2024 → 24 mar. 2024Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Presse/medier
-
Tværfaglig ph.d. hjælper autistiske børn via sproglig træning
Polyanskaya, I., Braüner, T. & Blackburn, P. R.
21/03/2019
1 element af Mediedækning
Presse/medie
-
Lektor får støtte fra Velux Fonden til autisme-forskning
29/11/2013
1 element af Mediedækning
Presse/medie
-