Patrick Rowan Blackburn

Professor, Ph.D., Habilitation

  • Universitetsvej 1, 42.1

    DK-4000 Roskilde

    Danmark

20112020

Publikationer pr. år

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

Publikation

Filter
Konferencebidrag i proceedings
2019

Interaction and the Marcan formula

Blackburn, P. R., 2019, Aventuras en el Mundo de la Lógica : Ensayos en Honor a María Manzano. Huertas, A. & Moldovan, A. (red.). College Publications, s. 75-93 19 s. (Cuadernos de lógica, epistemología y lenguaje, Bind 13).

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

Rigid First-Order Hybrid Logic

Blackburn, P. R., Martins, M., Manzano, M. & Huertas, A., 2 jul. 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Lemhoff, R., Moortgat, M. & de Queiroz, R. (red.). Berlin: Springer, s. 53-69 17 s. (Lecture Notes in Computer Science, Bind 11541).

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

2018

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

Second-Order False Beliefs and Recursive Complements in Children with ASD

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (red.). Massachusetts, USA: Cascadilla Press, Bind 2. s. 632-643 12 s. (Boston University Conference on Language Development. Proceedings, Bind 42).

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

Åben adgang
Fil
2016

Polite Interactions with Robots

Benotti, L. & Blackburn, P. R., 2016, What Social Robots Can and Should Do: Proceedings of Robophilosophy 2016 / TRANSOR 2016. Seibt, J., Nørskov, M. & Andersen, S. S. (red.). Amsterdam: IOS Press, s. 293-302 10 s. (Frontiers in Artificial Intelligence and Applications, Bind 290).

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

Recursive belief manipulation and second-order false-beliefs

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, CogSci 2016 Proceedings: 38th Annual Meeting of the Cognitive Science Society - Recognizing and Representing Events. Papafragou, A., Grodner, D., Mirman, D. & Trueswell, J. (red.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, s. 2579-2584

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

Åben adgang
Fil

Second-order false-belief tasks: Analysis and formalization

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Berlin: Springer, s. 125-144 (Lecture Notes in Computer Science, Bind 9803).

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

Åben adgang
Fil

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (red.). College Publications, Bind 11. s. 302-321

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

2013

A Seligman-Style Tableau System

Bidragets oversatte titel: Et Seligman Tableau SystemBlackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (red.). Heidelberg: Springer Publishing Company, s. 147-163 16 s. (Lecture Notes in Computer Science, Bind 8312).

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

Contextual Validity in Hybrid Logic

Blackburn, P. R. & Jørgensen, K. F., 2013, Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Brezillion, P. & Blackburn, P. (red.). Springer Publishing Company, s. 185-198 14 s. (Lecture Notes in Computer Science, Bind 8175).

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

2012

Indexical Hybrid Tense Logic

Blackburn, P. R. & Jørgensen, K. F., 2012, Advances in Modal Logic. London, s. 144-160 16 s.

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

Fil