Programming, Logic and Intelligent Systems

Research Output

2014

Finding Dense Locations in Indoor Tracking Data

Ahmed, T., Pedersen, T. B. & Lu, H., 2014, IEEE 15th International Conference on Mobile Data Management, MDM 2014, Brisbane, Australia, July 14-18, 2014 - Volume 1. Zaslavsky, A. B., Chrysanthis, P. K., Becker, C., Indulska, J., Mokbel, M. F., Nicklas, D. & Chow, C-Y. (eds.). IEEE Computer Society Press, p. 189-194 6 p.

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

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

Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings

Andreasen, T. (ed.), Christiansen, H. (ed.), Cubero, J. C. (ed.) & Ras, Z. W. (ed.), 2014, Heidelberg: Springer Science+Business Media. 568 p. (Lecture notes in artificial intelligence, Vol. 8502).

Research output: Book/ReportAnthologyResearchpeer-review

Handling False Negatives in Indoor RFID Data

Baba, A. I., Lu, H., Pedersen, T. B. & Xie, X., 2014, IEEE 15th International Conference on Mobile Data Management, MDM 2014, Brisbane, Australia, July 14-18, 2014 - Volume 1. Zaslavsky, A. B., Chrysanthis, P. K., Becker, C., Indulska, J., Mokbel, M. F., Nicklas, D. & Chow, C-Y. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

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

Hybrid-Logical Reasoning in False-Belief Tasks

Braüner, T., 2014, Logic and Interactive Rationality, Volume II: Yearbook 2012. Christoff, Z., Galeazzi, P., Gierasimczuk, N., Marcoci, A. & Smets, S. (eds.). University of Amsterdam, p. 79-103

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Open Access
File

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

Multi-Criteria Optimal Location Query with Overlapping Voronoi Diagrams

Zhang, J., Ku, W-S., Sun, M-T., Qin, X. & Lu, H., 2014, Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014. Amer-Yahia, S., Christophides, V., Kementsietsidis, A., Garofalakis, M. N., Idreos, S. & Leroy, V. (eds.). OpenProceedings.org, p. 391-402 12 p.

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

Preface

Christiansen, H., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (eds.). Cambridge Scholars Publishing, p. xv-xvi

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

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

Solving the Bottleneck Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 42 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 143).

Research output: Book/ReportReportResearch

Open Access
File

Solving the Clustered Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 13 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 142).

Research output: Book/ReportReportResearch

Open Access
File
2015

A framework for multi-criteria optimal location selection

Zhang, J., Ku, W-S., Jiang, X., Qin, X., Sun, M-T. & Lu, H., 2015, Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, Bellevue, WA, USA, November 3-6, 2015. Bao, J., Sengstock, C., Ali, M. E., Huang, Y., Gertz, M., Renz, M. & Sankaranarayanan, J. (eds.). Association for Computing Machinery, p. 86:1-86:4

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

A System for Conceptual Pathway Finding and Deductive Querying

Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A., 2015. 12 p.

Research output: Contribution to conferencePaperResearchpeer-review

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

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).

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

Open Access
File

Constraint Specialisation in Horn Clause Verification

Kafle, B. & Gallagher, J. P., 4 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.

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

Open Access
File

Decomposition by tree dimension in Horn clause verification

Kafle, B., Gallagher, J. P. & Ganty, P., 7 Dec 2015, Proceedings of the Third International Workshop on Verification and Program Transformation. Lisitsa, A., Nemytykh, A. P. & Pettorossi, A. (eds.). London: EPTCS, p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 199).

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

Open Access
File

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

E^2C^2: efficient and effective camera calibration in indoor environments

Li, H., Peng, P., Lu, H., Shou, L., Chen, K. & Chen, G., 2015, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka, Japan, September 7-11, 2015. Mase, K., Langheinrich, M., Gatica-Perez, D., Gellersen, H., Choudhury, T. & Yatani, K. (eds.). Association for Computing Machinery, p. 9-12 4 p.

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

Finding top-k local users in geo-tagged social media data

Jiang, J., Lu, H., Yang, B. & Cui, B., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. Gehrke, J., Lehner, W., Shim, K., Cha, S. K. & Lohman, G. M. (eds.). IEEE Computer Society Press, p. 267-278 12 p.

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

Flexible Query Answering Systems 2015: Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015

Andreasen, T. (ed.), Christiansen, H. (ed.), Kacprzyk, J. (ed.), Larsen, H. L. (ed.), Pasi, G. (ed.), Pivert, O. (ed.), De Tré, G. (ed.), Vila, M. A. (ed.), Yazici, A. (ed.) & Zadrozny, S. (ed.), 2015, Heidelberg: Springer. (Advances in Intelligent Systems and Computing, Vol. 4000).

Research output: Book/ReportAnthologyResearchpeer-review

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given?

Braüner, T., 2015, Proceedings of the 37th Annual Meeting of the Cognitive Science Society, Pasadena, California, USA. Cognitive Science Society, p. 273-278

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

Open Access
File

Logikkens muligheder og grænser: Om standse-problemet og Gödels sætninger

Braüner, T., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg: Aalborg Universitetsforlag, p. 49-66

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

Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings

Christiansen, H. (ed.), Stojanovic, I. (ed.) & Papadopoulos, G. A. (ed.), 2015, Cham: Springer. (Lecture notes in artificial intelligence, Vol. 9405).

Research output: Book/ReportAnthologyResearchpeer-review

Ontology-Based Role Association Networks for Visualizing Trends in Political Debate

Andreasen, T., Christiansen, H. & Eberholst, M. K., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings. Christiansen, H., Stojanovic, I. & Papadopoulos, G. A. (eds.). Springer, p. 477-482 (Lecture notes in artificial intelligence, Vol. 9405).

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

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H., 29 Sep 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194. p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

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

Open Access

Second-order false-belief: a modal analysis

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Second-order false-beliefs, language and autism: a pilot training study

Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2015.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Second-order false-beliefs, language and logic

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2015.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Solving Arc Routing Problems Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 15 Jan 2015, Roskilde: Roskilde Universitet. 6 p.

Research output: Book/ReportReportResearch

Open Access

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

Tracing Shifts in Emotions in Streaming Social Network Data

Andreasen, T., Christiansen, H. & Theil have, C., 2015, Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. Esposito, F., Pivert, O., Hacid, M-S., Rás, Z. W. & Ferilli, S. (eds.). Springer, p. 280-289 (Lecture Notes in Computer Science, Vol. 9384).

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

Tree automata-based refinement with application to Horn clause verification

Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer, Vol. 8931. p. 209-226 18 p. (Lecture Notes in Computer Science; No. 8931).

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

Open Access
File

VISKBOOK by Laursen and Christiansen: Virtual sketchbooks, what and why

Christiansen, H. & Laursen, B., 2015

Research output: Other contributionNet publication - Internet publicationCommunication

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

Cleansing indoor RFID data using regular expressions

Baba, A. I., Lu, H., Ku, W-S. & Pedersen, T. B., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31 - November 3, 2016. Ravada, S., Ali, M. E., Newsam, S. D., Renz, M. & Trajcevski, G. (eds.). Association for Computing Machinery, p. 77:1-77:4

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

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

Finding Frequently Visited Indoor POIs Using Symbolic Indoor Tracking Data

Lu, H., Guo, C., Yang, B. & Jensen, C. S., 2016, Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016. Pitoura, E., Maabout, S., Koutrika, G., Marian, A., Tanca, L., Manolescu, I. & Stefanidis, K. (eds.). OpenProceedings.org, p. 449-460 12 p.

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

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

Indexing and Querying A Large Database of Typed Intervals

Xu, J., Lu, H. & Yao, B., 2016, Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016. Pitoura, E., Maabout, S., Koutrika, G., Marian, A., Tanca, L., Manolescu, I. & Stefanidis, K. (eds.). OpenProceedings.org, p. 658-659 2 p.

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

Indoor data management

Lu, H. & Cheema, M. A., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016. IEEE Computer Society Press, p. 1414-1417 4 p.

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

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

Open Access

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

Learning-Based Cleansing for Indoor RFID Data

Baba, A. I., Jaeger, M., Lu, H., Pedersen, T. B., Ku, W-S. & Xie, X., 2016, Proceedings of the 2016 International Conference on Management of Data, SIGMOD Conference 2016, San Francisco, CA, USA, June 26 - July 01, 2016. Özcan, F., Koutrika, G. & Madden, S. (eds.). Association for Computing Machinery, p. 925-936 12 p.

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

Online Risk Prediction for Indoor Moving Objects

Ahmed, T., Pedersen, T. B., Calders, T. & Lu, H., 2016, IEEE 17th International Conference on Mobile Data Management, MDM 2016, Porto, Portugal, June 13-16, 2016. Chow, C-Y., Jayaraman, P. P. & Wu, W. (eds.). IEEE Computer Society Press, p. 102-111 10 p.

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