Programming, Logic and Intelligent Systems

Research Output

Article in proceedings

Resolving relative time expressions in Dutch text with Constraint Handling Rules

van de Camp, M. & Christiansen, H., 2012, 7th International Workshop on Constraint Solving and Language Processing (CSLP'12): Proceedings. Duchier, D. & Parmentier, Y. (eds.). Orléans: University of Orléans, p. 74-85

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

Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules

van de Camp, M. & Christiansen, H., 2013, Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers. Springer Publishing Company, Vol. 8114. p. 166-177

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

Scalable continuous range monitoring of moving objects in symbolic indoor space

Yang, B., Lu, H. & Jensen, C. S., 2009, Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009. Cheung, D. W-L., Song, I-Y., Chu, W. W., Hu, X. & Lin, J. J. (eds.). Association for Computing Machinery, p. 671-680 10 p.

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

Second-Order False Beliefs and Recursive Complements in Children with ASD

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (eds.). Massachusetts, USA: Cascadilla Press, Vol. 2. p. 632-643 12 p. (Boston University Conference on Language Development. Proceedings, Vol. 42).

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

Open Access
File

Second-order false-belief tasks: Analysis and formalization

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Berlin: Springer, p. 125-144 (Lecture Notes in Computer Science, Vol. 9803).

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

Open Access
File

S-GRID: A Versatile Approach to Efficient Query Processing in Spatial Networks

Huang, X., Jensen, C. S., Lu, H. & Saltenis, S., 2007, Advances in Spatial and Temporal Databases, 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007, Proceedings. Papadias, D., Zhang, D. & Kollios, G. (eds.). Springer, Vol. 4605. p. 93-111 19 p. (Lecture Notes in Computer Science).

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

SIABO: Semantic Information Access through Biomedical Ontologies

Andreasen, T., Zambach, S., Lassen, T., Nilsson, J. F., Madsen, B. N., Jensen, P. A., Thomsen, H. E. & Szymczak, B. A., 2009, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Dietz, J. L. G. (ed.). Institute for Systems and Technologies of Information, Control and Communication, p. 171-176 6 p.

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

Skyline Queries Against Mobile Lightweight Devices in MANETs

Huang, Z., Jensen, C. S., Lu, H. & Ooi, B. C., 2006, Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006, 3-8 April 2006, Atlanta, GA, USA. Liu, L., Reuter, A., Whang, K-Y. & Zhang, J. (eds.). IEEE Computer Society Press, p. 66 1 p.

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

Snapshot density queries on location sensors

Huang, X. & Lu, H., 2007, Sixth ACM International Workshop on Data Engineering for Wireless and Mobile Access, Mobide 2007, June 10, 2007, Beijing, China, Proceedings. Scheuermann, P., Lee, W-C., Samaras, G. & Lee, D. L. (eds.). Association for Computing Machinery, p. 75-78 4 p.

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

SpaceTwist: Managing the Trade-Offs Among Location Privacy, Query Performance, and Query Accuracy in Mobile Services

Yiu, M. L., Jensen, C. S., Huang, X. & Lu, H., 2008, Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico. Alonso, G., Blakeley, J. A. & Chen, A. L. P. (eds.). IEEE Computer Society Press, p. 366-375 10 p.

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

Spatiotemporal Data Cleansing for Indoor RFID Tracking Data

Baba, A. I., Lu, H., Xie, X. & Pedersen, T. B., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 187-196 10 p.

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

Spatio-temporal joins on symbolic indoor tracking data

Lu, H., Yang, B. & Jensen, C. S., 2011, Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany. Abiteboul, S., Böhm, K., Koch, C. & Tan, K-L. (eds.). IEEE Computer Society Press, p. 816-827 12 p.

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

Staged Computation with Staged Lexical Scope

Rhiger, M., Mar 2012, Programming Languages and Systems: 21st European Symposium on Programming. Seidl, H. (ed.). Springer, Vol. 7211. p. 559-579 20 p.

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

Stochastic Definite Clause Grammars

Have, C. T., 2009, International Conference Recent Advances in Natural Language Processing. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 139-144 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications, Vol. 11. p. 302-321

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

Taming the Zoo of Discrete HMM Subspecies & some of their Relatives

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2011, Biology, Computation and Linguistics: Proceedings of 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays. Bel-Enguix, G., Dahl, V. & Jimenez-Lopez, M. D. (eds.). IOS Press, p. 28-42

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

The Experience Cylinder, an immersive interactive platform: The Sea Stallion's voyage: a case study

Andreasen, T., Gallagher, J. P., Møbius, N. & Padfield, N., Oct 2011, AMBIENT 2011, The First International Conference on Ambient Computing, Applications, Services and Technologies. Emonet, R. & Florea, A. M. (eds.). ThinkMind, 7 p.

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

File

The OntoGram-Approach to Text Processing and Semantic Relation Spotting for Indexing

Andreasen, T., Bulskov, H., Lassen, T. & Jensen, P. A., 1 Jul 2011, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011) . Ding, Y. (ed.). IEEE Press, 7 p.

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

The Viterbi Algorithm expressed in Constraint Handling Rules

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., May 2010, Proceeedings of the 7th International Workshop on Constraint Handling Rules. Van Weert, P. & De Koninck, L. (eds.). Leuven, Belgium: Katholieke Universiteit Leuven, p. 17-24 7 p.

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

Top-k Neighborhood Dominating Query

Xie, X., Lu, H., Chen, J. & Shang, S., 2013, Database Systems for Advanced Applications, 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I. Meng, W., Feng, L., Bressan, S., Winiwarter, W. & Song, W. (eds.). Springer, Vol. 7825. p. 131-145 15 p. (Lecture Notes in Computer Science).

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

Top-k Similarity Search on Uncertain Trajectories

Ma, C., Lu, H., Shou, L., Chen, G. & Chen, S., 2011, Scientific and Statistical Database Management - 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings. Cushing, J. B., French, J. C. & Bowers, S. (eds.). Springer, Vol. 6809. p. 589-591 3 p. (Lecture Notes in Computer Science).

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

Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases - 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21-23, 2017, Proceedings. Gertz, M., Renz, M., Zhou, X., Hoel, E. G., Ku, W-S., Voisard, A., Zhang, C., Chen, H., Tang, L., Huang, Y., Lu, C-T. & Ravada, S. (eds.). Springer, Vol. 10411. p. 221-241 21 p. (Lecture Notes in Computer Science).

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

Towards a Theory for Testing Non-terminating Programs

Gotlieb, A. & Petit, M., 2009, 33rd Annual IEEE International Computer Software and Applications Conference. IEEE, p. 160-165

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

Towards a unified model of outdoor and indoor spaces

Hussein, S. H., Lu, H. & Pedersen, T. B., 2012, SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012. Cruz, I. F., Knoblock, C. A., Kröger, P., Tanin, E. & Widmayer, P. (eds.). Association for Computing Machinery, p. 522-525 4 p.

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

Towards Efficient and Flexible KNN Query Processing in Real-Life Road Networks

Lu, Y., Cui, B., Zhao, J., Lu, H. & Shen, J., 2008, The Ninth International Conference on Web-Age Information Management, WAIM 2008, July 20-22, 2008, Zhangjiajie, China. IEEE Computer Society Press, p. 230-237 8 p.

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

Two ellipse-based pruning methods for group nearest neighbor queries

Li, H., Lu, H., Huang, B. & Huang, Z., 2005, 13th ACM International Workshop on Geographic Information Systems, ACM-GIS 2005, November 4-5, 2005, Bremen, Germany, Proceedings. Shahabi, C. & Boucelma, O. (eds.). Association for Computing Machinery, p. 192-199 8 p.

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

Un calcul de Viterbi pour un Modèle de Markov Caché Contraint

Petit, M. & Christiansen, H., 2009, Proceedings des 5ème Journée Francophone de Programmation par Contraintes.

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

Open Access
File

UniModeling: A Tool for the Unified Modeling and Reasoning in Outdoor and Indoor Spaces

Hussein, S. H., Lu, H. & Pedersen, T. B., 2013, Advances in Spatial and Temporal Databases - 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings. Nascimento, M. A., Sellis, T. K., Cheng, R., Sander, J., Zheng, Y., Kriegel, H-P., Renz, M. & Sengstock, C. (eds.). Springer, Vol. 8098. p. 490-495 6 p. (Lecture Notes in Computer Science).

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

Upgrading Uncompetitive Products Economically

Lu, H. & Jensen, C. S., 2012, IEEE 28th International Conference on Data Engineering (ICDE 2012), Washington, DC, USA (Arlington, Virginia), 1-5 April, 2012. Kementsietsidis, A. & Salles, M. A. V. (eds.). IEEE Computer Society Press, p. 977-988 12 p.

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

Widening the Experience of Artistic Sketchbooks

Christiansen, H. & Laursen, B., 2017, Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings. Brooks, A. L. & Brooks, E. (eds.). Cham: Springer, p. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 196).

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

Book

Hybrid Logic and its Proof-Theory

Braüner, T., 2011, Springer Science+Business Media. 231 p. (Applied Logic Series, Vol. 37).

Research output: Book/ReportBookResearchpeer-review

Book chapter

Adaptable Grammars for Non-Context-Free Languages: (Extended and revised version)

Christiansen, H., 2011, Bio-Inspired Models for Natural and Formal Languages. Bel-Enguix, G. & Jiménez-López, M. D. (eds.). Newcastle upon Tyne: Cambridge Scholars Publishing, p. 33-51

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

A logic-based approach to pluralistic ignorance

Hansen, J. U., 2012, Future Directions for Logic - Proceedings of PhDs in Logic III. De Vuyst, J. & Demey, L. (eds.). College Publications, p. 67-80

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

A Natural Logic for Natural-Language Knowledge Bases

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Fischer Nilsson, J., 1 Sep 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., López, M. D. J., Loukanova, R. & Moss, L. (eds.). Newcastle upon Tyne: Cambridge Scholars Publishing, p. 1-26 26 p.

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

Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Braüner, T., 2011, Persistenz - Indexikalität - Zeiterfahrung. Schmechtig, P. & Schönrich, G. (eds.). Ontos Verlag, p. 301-336 (Philosophische Analyse / Philosophical Analysis; No. 39).

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

A system for computing conceptual pathways in bio-medical text models

Andreasen, T., Styltsvig, H. B., Nilsson, J. F. & Jensen, P. A., 2014, Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Andreasen, T., Christiansen, H., Cubero, J-C. & W. Ras, Z. (eds.). Springer, p. 264-273 (Lecture Notes in Computer Science, Vol. 8502).

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

Constraint-based Word Segmentation for Chinese

Christiansen, H. & Bo, L., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., D. D. & Villadsen, J. (eds.). Cambridge Scholars Publishing, p. 237-251

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

Constraint Programming for Context Comprehension

Christiansen, H., 2014, Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. Brézillon, P. & Gonzalez, A. J. (eds.). Springer Science+Business Media, p. 401-418

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

Constraints and Logic Programming in Grammars and Language Analysis

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

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

Designing Software-Based Interactive Installations

Andreasen, T., Juul, N. C. & Rosendahl, M., 2014, Situated Design Methods. Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M. & Hansen, O. E. (eds.). Cambridge, Massachusetts: MIT Press, p. 259-278 20 p. (Design thinking, design theory; No. [6]).

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

Energy-Aware Software Engineering

Eder, K. & Gallagher, J. P., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, p. 103-127

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

Open Access
File

Energy Challenges for ICT

Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, 37 p.

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

Open Access
File

First-Class Open and CLosed Code Fragments

Rhiger, M., 2007, Trends in Functional Programming. Van Eekelen, M. (ed.). Bristol, United Kingdom: Intellect, Vol. 6. p. 127-144

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

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