1. 2018
  2. In preparation

    Second-order false beliefs and recursive complements in children with Autism Spectrum Disorder. / Polyanskaya, Irina; Braüner, Torben; Blackburn, Patrick Rowan.

    BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Massachusetts, USA : Cascadilla Press, 2018.

    Publication: Research - peer-reviewArticle in proceedings

  3. 2017
  4. Published

    Flexible Query Answering Systems : 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017. Proceedings. / Christiansen, Henning (Editor); Jaudoin, Hélène (Editor); Chountas, Panagiotis (Editor); Andreasen, Troels (Editor); Legind Larsen, Henrik (Editor).

    Cham, Switzerland : Springer, 2017. 285 p. (Lecture notes in artificial intelligence, Vol. 10333).

    Publication: Research - peer-reviewAnthology

  5. Published

    Constraint specialisation in Horn clause verification. / Kafle, Bishoksan; Gallagher, John Patrick.

    In: Science of Computer Programming, Vol. 137, 01.04.2017, p. 125-140.

    Publication: Research - peer-reviewJournal article

  6. Published

    Energy-Aware Software Engineering. / Eder, Kerstin; Gallagher, John Patrick.

    ICT - Energy Concepts for Energy Efficiency and Sustainability. ed. / Giorgos Fagas; Luca Gammaitoni; John P. Gallagher; Douglas J. Paul. InTech Open Access Publishers, 2017. p. 103-127.

    Publication: Research - peer-reviewBook chapter

  7. Published

    Energy Challenges for ICT. / Fagas, Giorgos ; Gallagher, John Patrick; Gammaitoni, Luca; Paul, Douglas J.

    ICT - Energy Concepts for Energy Efficiency and Sustainability. ed. / Giorgos Fagas; Luca Gammaitoni; John P. Gallagher; Douglas J. Paul. InTech Open Access Publishers, 2017.

    Publication: Research - peer-reviewBook chapter

  8. Published

    ICT : Energy Concepts for Energy Efficiency and Sustainability. / Fagas, Giorgos (Editor); Gammaitoni, Luca (Editor); Gallagher, John Patrick (Editor); Paul, Douglas J. (Editor).

    InTech Open Access Publishers, 2017.

    Publication: Research - peer-reviewAnthology

  9. Published

    Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. / Kafle, Bishoksan; Gallagher, John Patrick.

    In: Computer Languages, Systems and Structures, Vol. 47, No. Part 1, 01.2017, p. 2-18.

    Publication: Research - peer-reviewJournal article

  10. In preparation

    A Natural Logic for Natural-Language Knowledge Bases. / Andreasen, Troels; Styltsvig, Henrik Bulskov; Jensen, Per Anker; Fischer Nilsson, Jørgen .

    Partiality and Underspecification in Information, Languages, and Knowledge. ed. / Henning Christiansen; M. Dolores Jiménez López; Roussanka Loukanova; Larry Moss. Cambridge Scholars Publishing, 2017.

    Publication: Research - peer-reviewBook chapter

  11. Accepted/In press

    Anden-ordens false belief og sproglig rekursion hos børn med Autisme Spektrum Forstyrrelser. / Polyanskaya, Irina.

    In: Dansk Audiologopædi, 2017.

    Publication: CommunicationJournal article

  12. Published

    Completeness and Termination for a Seligman-style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    In: Journal of Logic and Computation, Vol. 27, No. 1, 2017, p. 81-107.

    Publication: Research - peer-reviewJournal article

Previous 1 2 3 4 5 6 7 8 ...25 Next