Programming, Logic and Intelligent Systems

Research Output 2006 2019

2019

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., 10 May 2019, (Accepted/In press) In : International Journal of Design. 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

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

Research output: Contribution to journalJournal articleResearchpeer-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. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

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

Deductive Querying of Natural Logic Bases

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

Research output: Contribution to conferencePaperResearchpeer-review

Detecting and Diagnosing Energy Issues for Mobile Applications

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

Research output: Contribution to conferencePaperResearch

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

Christiansen, H., 2019

Research output: Other contributionNet publication - Internet publicationCommunication

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Internal complexity for exploratory interaction

Hobye, M., 28 May 2019, (Accepted/In press) p. 1-2. 2 p.

Research output: Contribution to conferencePaperResearchpeer-review

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

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer VS, (Language, Cognition, and Mind).

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

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 p.

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

Robot Gestalts in Staged Performances: Poster abstract

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

Research output: Contribution to conferencePosterResearchpeer-review

Open Access

The Design Researcher as Activist

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

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-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 : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Springer , Vol. 11285. p. 112 130 p. (Lecture Notes in Computer Science, Vol. 11285).

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

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. (eds.). New York: Association for Computing Machinery, p. 26-37

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Santa Fe: 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, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (eds.). Cognitive Science Society, p. 45-46

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

Open Access
File

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

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 (IEEE RO-MAN proceedings; No. 2018).

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.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, 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, p. 16-27.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

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

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

Fioravanti, F. (ed.) & Gallagher, J. P. (ed.), 2018, Springer. 341 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, 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

Open Access
File

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.). New York: Association for Computing Machinery, p. 477-511 35 p.

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., 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 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. (eds.). Massachusetts, USA: Cascadilla Press, Vol. 2. p. 632-643 12 p. (Boston University Conference on Language Development. Proceedings, Vol. 42).

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

Open Access
File

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

A political and technological anatomy of a mobile phone crack

Jørgensen, N., 2 Sep 2017.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

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

Open Access
File

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