Programming, Logic and Intelligent Systems

Research Output

Editorial

Editorial from the issue entitled "Special Issue: PEPM 2010"

Gallagher, J. P. & Voigtländer, J., Dec 2011, In : Higher-Order and Symbolic Computation. 23, 3, p. 273-274

Research output: Contribution to journalEditorialResearch

File

Introduction to the 27th International Conference on Logic Programming Special Issue: Editorial

Gallagher, J. P. & Gelfond, M., Jul 2011, In : Theory and Practice of Logic Programming. 11, 4-5, p. 429-432 4 p.

Research output: Contribution to journalEditorialResearch

Preface

Braüner, T. & Bolander, T., 2009, In : Journal of Logic, Language and Information. 18, 4, p. 435-436

Research output: Contribution to journalEditorialResearch

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. & Braüner, T., 2010, In : Electronical Notes in Theoretical Computer Science. 262, p. 1-2

Research output: Contribution to journalEditorialResearch

Proceedings of the International Workshop on Hybrid Logic 2006: Preface

Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J., 2007, In : Electronical Notes in Theoretical Computer Science. 174, 6, p. 1-2 2 p.

Research output: Contribution to journalEditorialResearch

Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface

Bolander, T. (ed.) & Braüner, T. (ed.), 2011, In : Electronic Notes in Theoretical Computer Science. 273, p. 1-2

Research output: Contribution to journalEditorialResearch

The Logic of Time and Modality: Preface

Braüner, T., Hasle, P. & Øhrstrøm, P., 2006, In : Synthese. 150, 3, p. 327-328 2 p.

Research output: Contribution to journalEditorialResearch

Encyclopedia chapter

First-Order Modal Logic

Braüner, T. & Ghilardi, S., 2006, Handbook of Modal Logic. Blackburn, P., van Benthem, J. & Wolter, F. (eds.). Amsterdam: Pergamon Press, p. 549-620 73 p. (Studies in Logic and Practical Reasoning; No. 3).

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

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

Hybrid Logic

Braüner, T., 2006, The Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford University Press

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

Hybrid Logic

Braüner, T., 2013, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). 2 ed. Springer Science+Business Media, Vol. 17. p. 1-77

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

Hybrid Logic (substantive revised version)

Braüner, T., 2011, The Stanford Encyclopedia of Philosophy. www: Stanford University

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

Journal article

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

Adding intensional machinery to hybrid logic

Braüner, T., 2008, In : Journal of Logic and Computation. 18, 4, p. 631-648 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A Hybrid Public Announcement Logic with Distributed Knowledge

Hansen, J. U., 8 Jul 2011, In : Electronic Notes in Theoretical Computer Science. 273, p. 33-50

Research output: Contribution to journalJournal articleResearchpeer-review

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

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 uniform random test data generator for path testing

Gotlieb, A. & Petit, M., 2010, In : Journal of Systems and Software. 83, 12, p. 2618-2626

Research output: Contribution to journalJournal articleResearchpeer-review

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Braüner, T., 2006, In : Journal of Logic, Language and Information. 15, 3, p. 179-194 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Certification of an optimal TSP tour through 85,900 cities

Applegate, D. L., Bixby, R. E., Chvatal, V., Cook, W., Espinoza, D. G., Goycoolea, M. & Helsgaun, K., 2009, In : Operations Research Letters. 37, 1, p. 11-15 6 p.

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

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

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

Consistency and Clarity in Chemical Concepts: How to Achieve a Codified Chemical Terminology - A Pilot Study

Damhus, T., Olesen Larsen, P., Madsen, B. N. & Zambach, S., 2009, In : Chemistry International. 31, 5, p. 6-11 6 p.

Research output: Contribution to journalJournal articleResearch

Constrained Skyline Query Processing against Distributed Data Sites

Chen, L., Cui, B. & Lu, H., 2011, In : IEEE Trans. Knowl. Data Eng.. 23, 2, p. 204-217 14 p.

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

Continuous Skyline Queries for Moving Objects

Huang, Z., Lu, H., Ooi, B. C. & Tung, A. K. H., 2006, In : IEEE Trans. Knowl. Data Eng.. 18, 12, p. 1645-1658 14 p.

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

Daisy: the center for data-intensive systems at Aalborg University

Lu, H., Pedersen, T. B., Saltenis, S., Thomsen, B., Thomsen, L. L. & Torp, K., 2012, In : SIGMOD Rec.. 41, 4, p. 39-44 6 p.

Research output: Contribution to journalJournal articleResearch

Design and analysis of a ranking approach to private location-based services

Yiu, M. L., Jensen, C. S., Møller, J. & Lu, H., 2011, In : ACM Trans. Database Syst.. 36, 2, p. 10:1-10:42

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

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

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

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

Efficient Skyline Computation in Structured Peer-to-Peer Systems

Cui, B., Chen, L., Xu, L., Lu, H., Song, G. & Xu, Q., 2009, In : IEEE Trans. Knowl. Data Eng.. 21, 7, p. 1059-1072 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Efficient Spatial Keyword Search in Trajectory Databases

Cong, G., Lu, H., Ooi, B. C., Zhang, D. & Zhang, M., 2012, In : CoRR. abs/1205.2880

Research output: Contribution to journalJournal articleResearch

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

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Christiansen, H., 2009, In : Journal of Applied Logic. 7, 3, p. 341-362

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

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

Flexible and Efficient Resolution of Skyline Query Size Constraints

Lu, H., Jensen, C. S. & Zhang, Z., 2011, In : IEEE Trans. Knowl. Data Eng.. 23, 7, p. 991-1005 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

General k-opt submoves for the Lin-Kernighan TSP heuristic

Helsgaun, K., 2009, In : Mathematical Programming Computation. 1, 2-3, p. 119-163

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

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

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