Programming, Logic and Intelligent Systems

Research Output

Journal article

Intuitionistic hybrid logic: Introduction and survey

Braüner, T., 2011, In : Information and Computation. 209, 2, p. 1437-1446

Research output: Contribution to journalJournal articleResearchpeer-review

Intuitionistic Hybrid Logic

Braüner, T. & de Paiva, V., 2006, In : Journal of Applied Logic. 4, 3, p. 231-255 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

ISA 2011 Workshop Report: a report on the Third International Workshop on Indoor Spatial Awareness: (Chicago, Illinois - November 1, 2011)

Kulik, L., Giiting, R. H. & Lu, H., 2012, In : SIGSPATIAL Special. 4, 1, p. 8-9 2 p.

Research output: Contribution to journalJournal articleResearch

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

Logikkens Muligheder og Grænser

Braüner, T., 2006, In : Aktuel Naturvidenskab. 6, p. 32-34 3 p.

Research output: Contribution to journalJournal articleCommunication

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

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

On Browsing Domain Ontologies for Information Base Content

Andreasen, T. & Styltsvig, H. B., 2007, In : Lecture Notes in Computer Science. 4529, p. 135-144

Research output: Contribution to journalJournal articleResearchpeer-review

On Computing Farthest Dominated Locations

Lu, H. & Yiu, M. L., 2011, In : IEEE Trans. Knowl. Data Eng.. 23, 6, p. 928-941 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

On Simplification of Database Integrity Constraints

Christiansen, H. & Martinenghi, D., 2006, In : Fundamenta Informaticae. 71, p. 1-47 47 p.

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

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

Ranking Spatial Data by Quality Preferences

Yiu, M. L., Lu, H., Mamoulis, N. & Vaitis, M., 2011, In : IEEE Trans. Knowl. Data Eng.. 23, 3, p. 433-446 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Sprog og socialkognition

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

Research output: Contribution to journalJournal articleCommunication

Open Access

Summarization by domain ontology navigation

Andreasen, T. & Bulskov, H., 15 Jan 2013, In : International Journal of Intelligent Systems. 28, 1, p. 72-92 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Tableau-Based Decision Procedures for Hybrid Logic

Braüner, T. & Bolander, T., 2006, In : Journal of Logic and Computation. 16, 6, p. 737-763 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Termination analysis of logic programs through combination of type-based norms

Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 2007, In : ACM Transactions on Programming Languages and Systems. 29, 2, 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

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

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

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

Type-based homeomorphic embedding for online termination

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2009, In : Information Processing Letters. 109, 15, p. 879-886 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Type-safe pattern combinators

Rhiger, M., 2009, In : Journal of Functional Programming. 19, 2, p. 145156

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

Understanding the meaning of a shifted sky: a general framework on extending skyline query

Zhang, Z., Lu, H., Ooi, B. C. & Tung, A. K. H., 2010, In : VLDB J.. 19, 2, p. 181-201 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Web Phishing Detection Based on Page Spatial Layout Similarity

Zhang, W., Lu, H., Xu, B. & Yang, H., 2013, In : Informatica (Slovenia). 37, 3, p. 231-244 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T., 2007, In : Journal of Applied Non-Classical Logics. 17, 4, p. 521-543 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Literature review
Net publication - Internet publication

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

HIC: An interactive image classification system based on supervised machine learning

Christiansen, H., 2016

Research output: Other contributionNet publication - Internet publicationEducation

Hvad er algoritmen bag den korteste vej?

Christiansen, H., 5 Mar 2011

Research output: Other contributionNet publication - Internet publicationCommunication

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

Christiansen, H. & Laursen, B., 2015

Research output: Other contributionNet publication - Internet publicationCommunication

Paper

A Lexical Framework for Semantic Annotation of Positive and Negative Regulation Relations in Biomedical Pathways

Zambach, S. & Lassen, T., 25 Oct 2011. 6 p.

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

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

Computing Pathways in Bio-Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Nilsson, J. F. & Jensen, P. A., 17 Apr 2014. 10 p.

Research output: Contribution to conferencePaperResearchpeer-review

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

Banda, G. & Gallagher, J. P., 2009. 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Constraints and Global Optimization for Gene Prediction Overlap Resolution

Have, C. T., 12 Sep 2011. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

File

Distinguish Dynamic Basic Blocks by Structural Statistical Testing

Petit, M. & Gotlieb, A., 2009.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Extended Set Constraints and Tree Grammar Abstraction of Programs

Rosendahl, M. & Gallagher, J. P., 2011. 12 p.

Research output: Contribution to conferencePaperResearch

File

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