Programmering, logik og intelligente systemer

Publikationer

2020

Implications of Assessing Student-Driven Projects: A Case Study of Possible Challenges and an Argument for Reflexivity

Pedersen, S. & Hobye, M., 2020, I : Education Sciences. 10, 1, 19.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2019

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., aug. 2019, I : International Journal of Design. 13, 2, s. 39-53 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil

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

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, I : Topics in Cognitive Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Kirkeby, M. H. & Christiansen, H., 2019, I : International Journal of Approximate Reasoning. 105, s. 217-228

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (red.). Cham: Springer, Bind 11408. s. 94-111 (Lecture Notes in Computer Science, Bind 11408). (Theoretical Computer Science and General Issues, Bind 11408).

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

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Doménech, J., Gallagher, J. P. & Genaim, S., sep. 2019, I : Theory and Practice of Logic Programming. 19, 5-6, s. 990–1005

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019.

Publikation: KonferencebidragPaperForskningpeer review

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Afsendt). 14 s.

Publikation: KonferencebidragPaperForskning

HCML: Write your own chatbot in the HCML script language and run in an interpreter written in Processing

Christiansen, H., 2019

Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Braüner, T., 2019, (Accepteret/In press) I : Logic and Logical Philosophy.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Internal complexity for exploratory interaction

Hobye, M., 2019, SMC 2019 Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (red.). Málaga: Universidad de Málaga, s. 499-500 2 s.

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

Åben adgang

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

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, (Accepteret/In press) Discourse coherence: From psychology to linguistics and back again. Amblard, M., Musiol, M. & Rebuschi, M. (red.). Springer VS, (Language, Cognition, and Mind).

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

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 s.

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

Åben adgang

Robot Gestalts in Staged Performances: Poster abstract

Christiansen, H., Hobye, M. & Lindelof, A. M., mar. 2019.

Publikation: KonferencebidragPosterForskningpeer review

Åben adgang

Second-order false belief reasoning by children with autism: a correlation and training study

Polyanskaya, I., 2019, Roskilde: Roskilde Universitet. 243 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Some remarks on Hybrid Modal Logic with Propositional Quantfiers

Blackburn, P. R., Braüner, T. & Kofod, J. L., 2019, (Accepteret/In press) The Metaphysics of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time - Themes from Prior, Bind 3).

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

The Design Researcher as Activist

Haldrup, M., Ranten, M. F., Hobye, M. & Padfield, N., jun. 2019.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (red.). Cham: Springer, s. 112-130 (Lecture Notes in Computer Science, Bind 11285). (Theoretical Computer Science and General Issues; Nr. 11285).

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

Åben adgang

Udviser sociale chatbots empati?

Lynge, J., Andersen, K. G. & Braüner, T., 2019, I : Aktuel Naturvidenskab. 2019, 5, s. 35-37

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
Fil
2018

Abstract nonsense

Gonçalves, J., 2018, FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. Yorgey, B. & Quick, D. (red.). New York: Association for Computing Machinery, s. 26-37

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

A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (red.). Santa Fe: Association for Computational Linguistics, s. 1-9

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

Åben adgang

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

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., jul. 2018, I : Theory and Practice of Logic Programming. 18, 3-4, s. 553-570

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, s. 589-594 (IEEE RO-MAN proceedings; Nr. 2018).

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

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 jul. 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (red.). Springer, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

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

Fil

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 okt. 2018, Roskilde: Roskilde Universitet. 20 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 153).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil

Digital signatur: En eksemplarisk analyse af en teknologis indre mekanismer og processer

Jørgensen, N., 17 dec. 2018, Roskilde: Roskilde Universitet. 58 s.

Publikation: Bog/antologi/afhandling/rapportKompendium/lecture notesUndervisning

Formal semantics for the Sally-Anne tasks

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

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil

Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018

Gallagher, J. P. (red.) & Sulzmann, M. (red.), 2018, Switzerland: Springer. 281 s. (Lecture Notes in Computer Science, Bind 10818). (Theoretical Computer Science and General Issues).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fioravanti, F. (red.) & Gallagher, J. P. (red.), 2018, Springer. 341 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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

Natural language processing with (tabled and constraint) logic programming

Christiansen, H. & Dahl, V., 2018, Declarative Logic Programming: Theory, Systems, and Applications. Kifer, M. & Liu, Y. A. (red.). New York: Association for Computing Machinery, s. 477-511 35 s.

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

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B., 2018, I : Journal of Logic and Algebraic Programming. 95, s. 1-16

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Probabilistic program analysis

Kirkeby, M. H., 2018, Roskilde: Roskilde Universitet. 139 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 151).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Gallagher, J. P. (red.), van Glabbeek, R. (red.) & Serwe, W. (red.), apr. 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang

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

Tree dimension in verification of constrained Horn clauses

Kafle, B., Gallagher, J. P. & Ganty, P., 2018, I : Theory and Practice of Logic Programming. 18, 2, s. 224-251

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

Truth tracking performance of social networks: how connectivity and clustering can make groups less competent

Hahn, U., Hansen, J. U. & Olsson, E. J., 17 sep. 2018, I : Synthese.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
2017

A Natural Logic for Natural-Language Knowledge Bases

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Fischer Nilsson, J., 1 sep. 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., López, M. D. J., Loukanova, R. & Moss, L. (red.). Newcastle upon Tyne: Cambridge Scholars Publishing, s. 1-26 26 s.

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

Anden-ordens false belief og sproglig rekursion hos børn med Autisme Spektrum Forstyrrelser

Polyanskaya, I., jun. 2017, I : Dansk Audiologopædi. 53, 2, s. 4-9 6 s., 1.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
Fil

A political and technological anatomy of a mobile phone crack

Jørgensen, N., 2 sep. 2017.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Completeness and Termination for a Seligman-style Tableau System

Bidragets oversatte titel: Fuldstændighed og termination for et Seligman-style tableau systemBlackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2017, I : Journal of Logic and Computation. 27, 1, s. 81-107

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 apr. 2017, I : Science of Computer Programming. 137, s. 125-140

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Detecting, diagnosing and fixing energy issues for mobile applications

Li, X., 2017, Roskilde Universitet. 101 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Energy-Aware Software Engineering

Eder, K. & Gallagher, J. P., 22 mar. 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (red.). InTechOpen, s. 103-127

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

Åben adgang
Fil

Energy Challenges for ICT

Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J., 22 mar. 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (red.). InTechOpen, 37 s.

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

Åben adgang
Fil