Programming, Logic and Intelligent Systems

Research Output

Filter
Article in proceedings
2014

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2014, Logic-Based Program Synthesis and Transformation: Preliminary Proceedings of the 24th International Symposium, LOPSTR 2014 Canterbury (UK), September 9–11, 2014. Proietti, M. & Seki, H. (eds.). Istituto di Analisi dei Sistemi ed Informatica. Consiglio Nazionale delle Ricerche, p. 38-52 (Collana dei rapporti dell'Istituto di analisi dei sistemi ed informatica ).

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

Constraint Logic Programming for Resolution of Relative Time Expressions

Christiansen, H., 2014, Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Beckman, A., Csuhaj-Varjú, E. & Meer, K. (eds.). Springer VS, p. 93-102 (Lecture Notes in Computer Science, Vol. 8493).

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

Constructing indoor navigation systems from digital building information

Boysen, M., Haas, C. D., Lu, H., Xie, X. & Pilvinyte, A., 2014, IEEE 30th International Conference on Data Engineering, Chicago, ICDE 2014, IL, USA, March 31 - April 4, 2014. Cruz, I. F., Ferrari, E., Tao, Y., Bertino, E. & Trajcevski, G. (eds.). IEEE Computer Society Press, p. 1194-1197 4 p.

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

Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

Kafle, B. & Gallagher, J. P., 2 Dec 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (eds.). EPTCS, Vol. 169. p. 53-67 15 p. 7

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

Open Access
File

Efficient Skyline Computation in MapReduce

Mullesgaard, K., Pederseny, J. L., Lu, H. & Zhou, Y., 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. 37-48 12 p.

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

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

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

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

2013

A Data Warehouse Solution for Analyzing RFID-Based Baggage Tracking Data

Ahmed, T., Pedersen, T. B. & Lu, H., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 283-292 10 p.

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

A generic framework for cyber-physical web

Gu, X., Shou, L., Lu, H. & Chen, G., 2013, Proceedings of the First International Workshop on Middleware for Cloud-enabled Sensing, MCS 2013, Beijing, China, December 9-13, 2013. Mukherjee, T. & Mondal, A. (eds.). Association for Computing Machinery, p. 1:1-1:6

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

A graph model for false negative handling in indoor RFID tracking data

Baba, A. I., Lu, H., Pedersen, T. B. & Xie, X., 2013, 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2013, Orlando, FL, USA, November 5-8, 2013. Knoblock, C. A., Schneider, M., Kröger, P., Krumm, J. & Widmayer, P. (eds.). Association for Computing Machinery, p. 454-457 4 p.

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

An RFID and particle filter-based indoor spatial query evaluation system

Yu, J., Ku, W-S., Sun, M-T. & Lu, H., 2013, Joint 2013 EDBT/ICDT Conferences, EDBT '13 Proceedings, Genoa, Italy, March 18-22, 2013. Guerrini, G. & Paton, N. W. (eds.). Association for Computing Machinery, p. 263-274 12 p.

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

A Seligman-Style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer Publishing Company, p. 147-163 16 p. (Lecture Notes in Computer Science, Vol. 8312).

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

A unified model for stable and temporal topic detection from social media data

Yin, H., Cui, B., Lu, H., Huang, Y. & Yao, J., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 661-672 12 p.

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

Capturing hotspots for constrained indoor movement

Ahmed, T., Pedersen, T. B. & Lu, H., 2013, 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2013, Orlando, FL, USA, November 5-8, 2013. Knoblock, C. A., Schneider, M., Kröger, P., Krumm, J. & Widmayer, P. (eds.). Association for Computing Machinery, p. 462-465 4 p.

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

C-Cube: Elastic continuous clustering in the cloud

Zhang, Z., Shu, H., Chong, Z., Lu, H. & Yang, Y., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 577-588 12 p.

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

Conceptual pathway querying of natural logic knowledge bases from text bases

Andreasen, T., Bulskov, H., Nilsson, J. F., Jensen, P. A. & Lassen, T., 2013, Flexible Query Answering Systems : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Vol. 8132. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

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

Efficient distance-aware query evaluation on indoor moving objects

Xie, X., Lu, H. & Pedersen, T. B., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 434-445 12 p.

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

Finding Traffic-Aware Fastest Paths in Spatial Networks

Shang, S., Lu, H., Pedersen, T. B. & Xie, X., 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. 128-145 18 p. (Lecture Notes in Computer Science).

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

Hybrid Indoor Positioning with Wi-Fi and Bluetooth: Architecture and Performance

Baniukevic, A., Jensen, C. S. & Lu, H., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 207-216 10 p.

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

Hybrid-Logical Reasoning in False-Belief Tasks

Braüner, T., 2013, Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK). Chennai: Institute of Mathematical Sciences, p. 186-195

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

Identifying Typical Movements among Indoor Objects - Concepts and Empirical Study

Radaelli, L., Sabonis, D., Lu, H. & Jensen, C. S., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 197-206 10 p.

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

Modeling of Traffic-Aware Travel Time in Spatial Networks

Shang, S., Lu, H., Pedersen, T. B. & Xie, X., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 247-250 4 p.

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

Querying Sentiment Development over Time

Andreasen, T., Christiansen, H. & Have, C. T., 2013, Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Vol. 8132. p. 613-624 (Lecture notes in artificial intelligence, Vol. 8132).

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

Reasoning about RFID-tracked moving objects in symbolic indoor spaces

Hussein, S. H., Lu, H. & Pedersen, T. B., 2013, Conference on Scientific and Statistical Database Management, SSDBM '13, Baltimore, MD, USA, July 29 - 31, 2013. Szalay, A., Budavari, T., Balazinska, M., Meliou, A. & Sacan, A. (eds.). Association for Computing Machinery, p. 9:1-9:12

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

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

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

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

2012

A declarative pipeline language for big data analysis

Christiansen, H., Theil-Have, C., Lassen, O. T. & Petit, M., Sep 2012, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012). Leuven: Katholieke Universiteit Leuven, Vol. Report CW 625. p. 3-17

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

A Foundation for Efficient Indoor Distance-Aware Query Processing

Lu, H., Cao, X. & 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. 438-449 12 p.

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

An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations

Christiansen, H., Sep 2012, CHR 2012 - Proceedings of the 9th International Workshop on Constraint Handling Rules, Budapest, Hungary — September 4th, 2012. Sneyers, J. & Frühwirth, T. (eds.). Leuven: Katholieke Universiteit Leuven, Vol. CW 624. p. 1-15

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

An exposition of abductive reasoning through logic programming with constraints

Christiansen, H., 2012, Proceedings of the 8th Scandinavian Logic Symposium. Blackburn, P., Jørgensen, K. F., Jones, N. & Palmgren, E. (eds.). p. 23-25 3 p.

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

Framework for Modelling Multiple Input Complex Aggregations for Interactive Installations

Padfield, N. & Andreasen, T., 23 Sep 2012, AMBIENT 2012, The Second International Conference on Ambient Computing, Applications, Services and Technologies. Weyn, M. & Lorenz, P. (eds.). ThinkMind, p. 79-85 7 p.

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

Open Access
File

Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings

Braüner, T., Sep 2012, LSFA 2012 Pre-proceedings. Kesner, D. & Viana, P. (eds.). Rio de Janeiro, p. 1-1

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

Hygienic Quasiquotation in Scheme: Distilled Tutorial

Rhiger, M., Sep 2012, ACM SIGPLAN Workshop on Scheme and Functional Programming. Association for Computing Machinery, 7 p. (Workshop on Scheme and Functional Programming).

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

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

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

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

2011

A Grammatical View of Language Evolution

Bel-Enguix, G., Christiansen, H. & Jiménez-López, M. D., 2011, AI Methods for Interdisciplinary Research in Language and Biology: Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - BILC 2011. Bel-Enguix, G., Dahl, V. & Ortega De La Puente, A. (eds.). Portugal: SciTePress, p. 57-66

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

An approach to summarization through domain ontologies

Andreasen, T. & Bulskov, H., 1 May 2011, WCONSC 2011 - World Conference on Soft Computing, Proceedings. 10 p.

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

Approaching the Chinese Word Segmentation Problem with CHR Grammars

Christiansen, H. & Li, B., 2011, 6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings. p. 21-31 (Datalogiske Skrifter; No. 134).

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

First-Order Hybrid Logic: Introduction and Survey

Braüner, T., 2011, Volume of abstracts: Non-classical Modal and Predicate Logics. Cintula, P., Ju, S. & Víta, M. (eds.). Prague: F solutions, p. 35-41

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

Improving Wi-Fi Based Indoor Positioning Using Bluetooth Add-Ons

Baniukevic, A., Sabonis, D., Jensen, C. S. & Lu, H., 2011, 12th IEEE International Conference on Mobile Data Management, MDM 2011, Luleå, Sweden, June 6-9, 2011, Volume 1. Zaslavsky, A. B., Chrysanthis, P. K., Lee, D. L., Chakraborty, D., Kalogeraki, V., Mokbel, M. F. & Chow, C-Y. (eds.). IEEE Computer Society Press, p. 246-255 10 p.

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

Modeling Dependent Events with CHRiSM for Probabilistic Abduction

Christiansen, H. & Saleh, A. H., 2011, Proceedings of the Eighth International Workshop on Constraint Handling Rules. German University of Cairo: Faculty of Media Engineering and Technology (MET), p. 48-63

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

Modeling repeats in DNA using extended probabilistic regular expressions

Have, C. T. & Christiansen, H., 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, Vol. 228. p. 55-70

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

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