Programming, Logic and Intelligent Systems

Research Output

Filter
Journal article
2020

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
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

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

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

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

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

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

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

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

Querying spatial data by dominators in neighborhood

Lu, H., Yiu, M. L. & Xie, X., 2018, In : Scandinavian Journal of Information Systems. 77, p. 71-85 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Range Queries on Multi-Attribute Trajectories

Xu, J., Lu, H. & Güting, R. H., 2018, In : IEEE Trans. Knowl. Data Eng.. 30, 6, p. 1206-1211 6 p.

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

TRIPS: A System for Translating Raw Indoor Positioning Data into Visual Mobility Semantics

Li, H., Lu, H., Shi, F., Chen, G., Chen, K. & Shou, L., 2018, In : PVLDB. 11, 12, p. 1918-1921 4 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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, In : Synthese. 197, 4, p. 1511-1541

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
2017

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

Cleansing indoor RFID tracking data

Baba, A. I., Lu, H., Pedersen, T. B. & Jaeger, M., 2017, In : SIGSPATIAL Special. 9, 1, p. 11-18 8 p.

Research output: Contribution to journalJournal articleResearch

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 article

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

Efficiently answer top-k queries on typed intervals

Xu, J. & Lu, H., 2017, In : Scandinavian Journal of Information Systems. 71, p. 164-181 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Finding dense locations in symbolic indoor tracking data: modeling, indexing, and processing

Ahmed, T., Pedersen, T. B. & Lu, H., 2017, In : GeoInformatica. 21, 1, p. 119-150 32 p.

Research output: Contribution to journalJournal articleResearchpeer-review

GVoS: A General System for Near-Duplicate Video-Related Applications on Storm

Jiang, J., Tong, Y., Lu, H., Cui, B., Lei, K. & Yu, L., 2017, In : ACM Trans. Inf. Syst.. 36, 1, p. 3:1-3:36

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

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

Risk detection and prediction from indoor tracking data

Ahmed, T., Calders, T., Lu, H. & Pedersen, T. B., 2017, In : SIGSPATIAL Special. 9, 2, p. 11-18 8 p.

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

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

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

Sprog og socialkognition

Polyanskaya, I., 2016, In : Autismebladet. 2, p. 14-17

Research output: Contribution to journalJournal articleCommunication

Open Access

VIP-Tree: An Effective Index for Indoor Spatial Queries

Shao, Z., Cheema, M. A., Taniar, D. & Lu, H., 2016, In : PVLDB. 10, 4, p. 325-336 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Vita: A Versatile Toolkit for Generating Indoor Mobility Data for Real-World Buildings

Li, H., Lu, H., Chen, X., Chen, G., Chen, K. & Shou, L., 2016, In : PVLDB. 9, 13, p. 1453-1456 4 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2015

City-Scale Social Event Detection and Evaluation with Taxi Traces

Zhang, W., Qi, G., Pan, G., Lu, H., Li, S. & Wu, Z., 2015, In : ACM TIST. 6, 3, p. 40:1-40:20

Research output: Contribution to journalJournal articleResearchpeer-review

Distance-Aware Join for Indoor Moving Objects

Xie, X., Lu, H. & Pedersen, T. B., 2015, In : IEEE Trans. Knowl. Data Eng.. 27, 2, p. 428-442 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Planning unobstructed paths in traffic-aware spatial networks

Shang, S., Liu, J., Zheng, K., Lu, H., Pedersen, T. B. & Wen, J-R., 2015, In : GeoInformatica. 19, 4, p. 723-746 24 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Solving the equality generalized traveling salesman problem using the Lin–Kernighan–Helsgaun Algorithm

Helsgaun, K., Sep 2015, In : Mathematical Programming Computation. 7, 3, p. 269-287 19 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2014

Analysis and Transformation Tools for Constrained Horn Clause Verification

Kafle, B. & Gallagher, J. P., 21 Jul 2014, In : Theory and Practice of Logic Programming. 14, 4-5, p. 90-101 12 p., 4-5.

Research output: Contribution to journalJournal articleResearchpeer-review

File

First-Order Hybrid Logic: Introduction and Survey

Braüner, T., 2014, In : Logic Journal of the IGPL. 22, 1, p. 155-165

Research output: Contribution to journalJournal articleResearchpeer-review

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Braüner, T., 2014, In : Journal of Logic, Language and Information. 23, 4, p. 415-439

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Managing Evolving Uncertainty in Trajectory Databases

Jeung, H., Lu, H., Sathe, S. & Yiu, M. L., 2014, In : IEEE Trans. Knowl. Data Eng.. 26, 7, p. 1692-1705 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Scalable Evaluation of Trajectory Queries over Imprecise Location Data

Xie, X., Yiu, M. L., Cheng, R. & Lu, H., 2014, In : IEEE Trans. Knowl. Data Eng.. 26, 8, p. 2029-2044 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2013

Abstract Interpretation as a Programming Language

Rosendahl, M., 2013, In : Electronic Proceedings in Theoretical Computer Science. 129, p. 84-104

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Efficient and scalable continuous skyline monitoring in two-tier streaming settings

Lu, H., Zhou, Y. & Haustad, J., 2013, In : Scandinavian Journal of Information Systems. 38, 1, p. 68-81 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

KSQ: Top-(k) Similarity Query on Uncertain Trajectories

Ma, C., Lu, H., Shou, L. & Chen, G., 2013, In : IEEE Trans. Knowl. Data Eng.. 25, 9, p. 2049-2062 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review