• Universitetsvej 1, 42.1

    DK-4000 Roskilde

    Danmark

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

Søgeresultater

  • 2021

    A Note on Hybrid Modal Logic with Propositional Quantiers (Work in Progress)

    Blackburn, P. R., Braüner, T. & Kofod, J. L., 2021, ICLA 2021 Proceedings: 9th Indian Conference on Logic and its Applications, March 4-7, 2021. Ghosh, S. & Ramanujam, R. (red.). The Association for Logic in India, s. 34-39

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

    Åben adgang
    Fil
  • Grounding as a collaborative process

    Benotti, L. & Blackburn, P. R., 2021, Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, s. 515-531 17 s.

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

    Åben adgang
    Fil
  • Hybrid logic with propositional quantiers: Natural deduction style (Work in progress)

    Braüner, T., Blackburn, P. R. & Kofod, J. L., 2021, Non-Classical Modal and Predicate Logic: Book of abstracts. Ruhr University Bochum, s. 29-32

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

    Åben adgang
    Fil
  • 2020

    Formalizing a Seligman-Style TableauSystem for Hybrid Logic (Short Paper)

    Halkjær From, A., Blackburn, P. R. & Villadsen, J., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (red.). Springer, s. 474-481

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

  • Isabelle/HOL as a Meta-Language for Teaching Logic

    Halkjær From, A., Villadsen, J. & Blackburn, P., 2020, Proceedings 9th International Workshop on Theorem Proving Components for Educational Software (ThEdu'20). Waterloo: Open Publishing Association, s. 18-34 17 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 328).

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

    Åben adgang
    Fil
  • 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

    Blackburn, 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
  • 2011

    Classical planning and causal implicatures

    Blackburn, P. R. & Benotti, L., 2011, Modeling and Using Context. CONTEXT 2011. Beigl, M., Christiansen, H., Roth-Berghofer, T. R., Kofod-Petersen, A., Coventry, K. R. & Schmidtke, H. R. (red.). Heidelberg: Springer, 14 s. (Lecture Notes in Computer Science, Bind 6967).

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

  • 2010

    Negotiating causal implicatures

    Benotti, L. & Blackburn, P., 2010, Proceedings of the SIGDIAL 2010 Conference: 11th Annual Meetingof the Special Interest Group onDiscourse and Dialogue. Katagiri, Y., Nakano, M., Fernández, R. & Lemon, O. (red.). Association for Computational Linguistics, s. 67-70 4 s.

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

  • 2007

    Generating models for temporal representations

    Blackburn, P. & Hinderer, S., 2007, International Conference Recent Advances in Natural Language Processing, RANLP 2007 - Proceedings. Nicolov, N., Nikolov, N., Mitkov, R., Bontcheva, K. & Angelova, G. (red.). Association for Computational Linguistics, s. 69-75 7 s. (International Conference Recent Advances in Natural Language Processing, RANLP, Bind 2007-January).

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

  • 2002

    Tableaux for quantified hybrid logic

    Blackburn, P. & Marx, M., 2002, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002, Proceedings. Egly, U. & Fermuller, C. G. (red.). Springer, s. 38-52 15 s. (Lecture Notes in Computer Science, Bind 2381).

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

  • 2001

    Hybrid Ockhamist temporal logic

    Blackburn, P. & Goranko, V., 2001, Proceedings 8th International Symposium on Temporal Representation and Reasoning, TIME 2001. Bettini, C. & Montanari, A. (red.). IEEE, s. 183-188 6 s. 930716. (Proceedings of the International Workshop on Temporal Representation and Reasoning).

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

  • Situation calculus as hybrid logic: First steps

    Blackburn, P., Kamps, J. & Marx, M., 2001, Progress in Artificial Intelligence: Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving - 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Proc.. Brazdil, P. & Jorge, A. (red.). Springer, s. 253-260 8 s. (Lecture Notes in Computer Science, Bind 2258).

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

  • 1999

    A road-map on complexity for hybrid logics

    Areces, C., Blackburn, P. & Marx, M., 1999, Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Flum, J. & Rodriguez-Artalejo, M. (red.). Springer, s. 307-321 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 1683).

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

  • 1997

    Logical aspects of computational linguistics: An introduction

    Blackburn, P., Dymetman, M., Lecomte, A., Ranta, A., Retor, C. & De La Clergerie, E. V., 1997, Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers. Retore, C. (red.). Physica-Verlag, s. 1-20 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 1328).

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

  • 1996

    A proof system for finite trees

    Blackburn, P., Meyer-Viol, W. & De Rijke, M., 1996, Computer Science Logic - 9th International Workshop, CSL 1995 Annual Conference of the EACSL, Selected Papers. Buning, H. K. (red.). Springer, s. 86-105 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 1092).

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