Programming, Logic and Intelligent Systems

Research Output 2006 2018

2018

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. (eds.). Association for Computational Linguistics, p. 1-9

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, (Accepted/In press) Proceedings of the 40th Annual Meeting of the Cognitive Science Society, Madison, Wisconsin, USA.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570

Research output: Contribution to journalConference articleResearchpeer-review

File

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

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2018, (Accepted/In press) In : Topics in Cognitive Science.

Research output: Contribution to journalJournal articleResearchpeer-review

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, p. 589-594

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Lecture Notes in Computer Science: Springer, LNCS, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

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

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Roskilde: Roskilde Universitet. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).

Research output: Book/ReportReportResearch

Open Access
File

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

Jørgensen, N., 17 Dec 2018, Roskilde: Roskilde Universitet. 58 p.

Research output: Book/ReportCompendium/lecture notesEducation

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R., 2018, (Accepted/In press)

Research output: Contribution to conferencePaperResearchpeer-review

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

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

Research output: Book/ReportAnthologyResearchpeer-review

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

Christiansen, H., 2018

Research output: Other contributionNet publication - Internet publicationCommunication

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

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2018, .... Springer Nature, (Language, Cognition, and Mind).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017

Gallagher, J. P. (ed.) & Fioravanti, F. (ed.), 2018, Springer. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Book/ReportAnthologyResearchpeer-review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T., 2018, In : Journal of Logic and Computation. 28, 5, p. 883-908

Research output: Contribution to journalJournal articleResearchpeer-review

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. (eds.). Association for Computing Machinery and Morgan & Claypool, p. 477-511

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Optimised determinisation and completion of finite tree automata

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

Research output: Contribution to journalJournal articleResearchpeer-review

Probabilistic program analysis

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

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

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

Gallagher, J. P. (ed.), van Glabbeek, R. (ed.) & Serwe, W. (ed.), Apr 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

Second-order false beliefs and recursive complements in children with Autism Spectrum Disorder

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, (Accepted/In press) BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Massachusetts, USA: Cascadilla Press

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Tree dimension in verification of constrained Horn clauses

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
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. (eds.). Newcastle upon Tyne: Cambridge Scholars Publishing, p. 1-26 26 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

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

Polyanskaya, I., Jun 2017, In : Dansk Audiologopædi. 53, 2, p. 4-9 6 p., 1

Research output: Contribution to journalJournal articleCommunication

Open Access
File

Completeness and Termination for a Seligman-style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2017, In : Journal of Logic and Computation. 27, 1, p. 81-107

Research output: Contribution to journalJournal articleResearchpeer-review

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 Apr 2017, In : Science of Computer Programming. 137, p. 125-140

Research output: Contribution to journalJournal articleResearchpeer-review

Detecting, diagnosing and fixing energy issues for mobile applications

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

Research output: Book/ReportPh.D. thesisResearch

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. (eds.). InTechOpen, p. 103-127

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File

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. (eds.). InTechOpen, 37 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File

Flexible Query Answering Systems: 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017. Proceedings

Christiansen, H. (ed.), Jaudoin, H. (ed.), Chountas, P. (ed.), Andreasen, T. (ed.) & Legind Larsen, H. (ed.), May 2017, Cham, Switzerland: Springer. 285 p. (Lecture notes in artificial intelligence, Vol. 10333).

Research output: Book/ReportAnthologyResearchpeer-review

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

Kafle, B. & Gallagher, J. P., Jan 2017, In : Computer Languages, Systems and Structures. 47, Part 1, p. 2-18

Research output: Contribution to journalJournal articleResearchpeer-review

Hybrid Logic

Braüner, T., 2017, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (ed.). Stanford University

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-review

Open Access

ICT: Energy Concepts for Energy Efficiency and Sustainability

Fagas, G. (ed.), Gammaitoni, L. (ed.), Gallagher, J. P. (ed.) & Paul, D. J. (ed.), 22 Mar 2017, InTechOpen.

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

Interactive Installations for Spatial Access to Artistic Sketchbooks

Christiansen, H. & Laursen, B., 2017, In : EAI Endrosed Trasactions on Creative Technologies. 4, 12, 8 p., e3

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

On proving confluence modulo equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2017, In : Formal Aspects of Computing. 29, 1, p. 57-95

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Partiality and Underspecification in Information, Languages, and Knowledge

Christiansen, H. (ed.), Jiménez-López, M. D. (ed.), Loukanova, R. (ed.) & Moss, L. (ed.), 2017, Cambridge Scholars Publishing. 360 p.

Research output: Book/ReportAnthologyResearchpeer-review

Pathway Computation in Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Nilsson, J. F., 2017, Foundations of Intelligent Systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings . Kryszkiewicz, M., Appice, A., Ślęzak, D., Rybinski, H., Skowron, A. & Raś, Z. W. (eds.). Cham: Springer, p. 424-434 (Lecture Notes in Computer Science; No. 10352). (Lecture notes in artificial intelligence; No. 10352).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Theory of Mind, linguistic recursion and autism spectrum disorder

Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2017, In : Beyond Philology. 14, 1, p. 69-95 26 p., 5

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Widening the Experience of Artistic Sketchbooks

Christiansen, H. & Laursen, B., 2017, Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings. Brooks, A. L. & Brooks, E. (eds.). Cham: Springer, p. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 196).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2016

A Source-level Energy Optimization Framework for Mobile Applications

Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, p. 31-40 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Transformational Approach to Parametric Accumulated-Cost Static Profiling

Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (eds.). Cham: Springer, p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Det marinarkæologiske Eksperimentarie: Oplevelser, Design, Inddragelse

Andreasen, T., Pedersen, M. H. & Kallmeyer Bloch, A., 2016, (In preparation) Oplevelsesbaseret innovation og forretningsudvikling. Teorier, case-analyser, metoder. ExCite, . Jensen, J. F. (ed.). EXCITE - Aalborg Universitetsforlag, 17 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

ENTRA: Whole-systems energy transparency

Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 2016, In : Microprocessors and Microsystems. 47, Part B, p. 278-286

Research output: Contribution to journalJournal articleResearchpeer-review

File

Fine-Grained Energy Modeling for the Source Code of a Mobile Application

Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (eds.). Association for Computing Machinery, p. 180-189

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

HIC: An interactive image classification system based on supervised machine learning

Christiansen, H., 2016

Research output: Other contributionNet publication - Internet publicationEducation

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

Liqat, U., Georgiou, K., Kerrison, S., López-García, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. van Eekelen, M. C. J. D. & Dal Lago, U. (eds.). Switzerland: Springer, p. 81-100 (Lecture Notes in Computer Science, Vol. 9964).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Interpolant tree automata and their application in Horn clause verification

Kafle, B. & Gallagher, J. P., 2016, In : Electronic Proceedings in Theoretical Computer Science. 216, p. 104-117

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

On the Relationship between a Computational Natural Logic and Natural Language

Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A., 2016 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Probabilistic Resource Analysis by Program Transformation

Kirkeby, M. H. & Rosendahl, M., 2016, In : Lecture Notes in Computer Science. 9964, p. 60-80

Research output: Contribution to journalJournal articleResearchpeer-review