Programming, Logic and Intelligent Systems

Research Output

2020

A General Framework for Static Cost Analysis of Parallel Logic Programs

Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, LNCS, Vol. 12042. p. 19-35

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

A Natural Logic System for Large Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Jun 2020. 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

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

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2020, In : Topics in Cognitive Science. 12, p. 504-534

Research output: Contribution to journalJournal articleResearchpeer-review

Efficiently Processing Spatial and Keyword Queries in Indoor Venues

Shao, Z., Cheema, M. A., Taniar, D., Lu, H. & Yang, S., 2020, In : IEEE Transactions on Knowledge and Data Engineering. p. 1-1 1 p.

Research output: Contribution to journalJournal articleResearchpeer-review

HisRect: Features from Historical Visits and Recent Tweet for Co-Location Judgement

Li, P., Lu, H., Zheng, Q., Li, S. & Pan, G., 2020, In : IEEE Transactions on Knowledge and Data Engineering. p. 1-1 1 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Indoor Mobility Semantics Annotation Using Coupled Conditional Markov Networks

Li, H., Lu, H., Cheema, M. A., Shou, L. & Chen, G., Jan 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020) .

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

Indoor Top-k Keyword-aware Routing Query

Feng, Z., Liu, T., Li, H., Lu, H., Shou, L. & Xu, J., 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

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

Interaktion: Krop og teknologi som materiale

Ranten, M. F., 2020, (Accepted/In press) Performance Design 15 års alfabet. Lindelof, A. M. (ed.).

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

On the design of a Natural Logic System for Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Aug 2020, (Accepted/In press). 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Shortest Path Queries for Indoor Venues with Temporal Variations

Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

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

Sound as Material for Eco-technogenesis

Ranten, M. F., Kadish, D. & Hines, M., May 2020, Proceedings of RE:SOUND 2019. p. 195-201 (Electronic Workshops in Computing).

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

Open Access

Towards translating raw indoor positioning data into mobility semantics

Lu, H., Li, H., Chen, G., Chen, K., Chen, Q. & Shou, L., 2020, (Accepted/In press) In : ACM Transactions on Data Science.

Research output: Contribution to journalJournal articleResearchpeer-review

2019

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., Aug 2019, In : International Journal of Design. 13, 2, p. 39-53 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

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

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019, Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Cuzzocrea, A., Greco, S., Legind Larsen, H., Saccà, D., Andreasen, T. & Christiansen, H. (eds.). Cham: Springer, p. 231-241 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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

Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings

Cuzzocrea, A., Greco, S., Legind Larsen, H., Sacca, D., Andreasen, T. & Christiansen, H., 2019, Forlaget Spring. 414 p. (Lecture notes in artificial intelligence).

Research output: Book/ReportReportResearchpeer-review

HCML: Write your 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., 2019, SMC 2019 Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (eds.). Málaga: Universidad de Málaga, p. 499-500 2 p.

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

Open Access

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

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

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

Natural Logic Knowledge Bases and their Graph Form

Andreasen, T., Bulskov, H. & Nilsson, J. F., 3 Dec 2019, (Submitted) In : Data & Knowledge Engineering. 35 p.

Research output: Contribution to journalJournal articleResearchpeer-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 p.

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

Open Access

Robot Gestalts in Staged Performances: Poster abstract

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

Research output: Contribution to conferencePosterResearchpeer-review

Open Access

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

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

Research output: Book/ReportPh.D. thesisResearch

Some remarks on Hybrid Modal Logic with Propositional Quantfiers

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

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

The Design Researcher as Activist

Haldrup, M., Ranten, M. F., Hobye, 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 : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (ed.). Cham: Springer, p. 112-130 (Lecture Notes in Computer Science, Vol. 11285). (Theoretical Computer Science and General Issues; No. 11285).

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

Open Access

Udviser sociale chatbots empati?

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

Research output: Contribution to journalJournal articleCommunication

Open Access
File
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

Efficient Matching of Offers and Requests in Social-Aware Ridesharing

Fu, X., Zhang, C., Lu, H. & Xu, J., 2018, 19th IEEE International Conference on Mobile Data Management, MDM 2018, Aalborg, Denmark, June 25-28, 2018. IEEE Computer Society Press, p. 197-206 10 p.

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

Everything I Touch Touches Me: Phenomenological qualities of tangible interactive interfaces within interaction design

Ranten, M. F., 2018.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

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

In Search of Indoor Dense Regions: An Approach Using Indoor Positioning Data

Li, H., Lu, H., Shou, L., Chen, G. & Chen, K., 2018, In : IEEE Trans. Knowl. Data Eng.. 30, 8, p. 1481-1495 15 p.

Research output: Contribution to journalJournal articleResearchpeer-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 article

Open Access
File