Programming, Logic and Intelligent Systems

Research Output

2011

Constraints and Global Optimization for Gene Prediction Overlap Resolution

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

Research output: Contribution to conferencePaperResearchpeer-review

File

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

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

Extended Set Constraints and Tree Grammar Abstraction of Programs

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

Research output: Contribution to conferencePaperResearch

File

Extracting Conceptual Feature Structures from Text

Andreasen, T., Bulskov, H., Lassen, T. & Jensen, P. A., 1 Jun 2011, In : Lecture Notes in Computer Science. 6804, p. 396-406 11 p.

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

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

Hvad er algoritmen bag den korteste vej?

Christiansen, H., 5 Mar 2011

Research output: Other contributionNet publication - Internet publicationCommunication

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

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

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

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

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

Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

Beigl, M. (ed.), Christiansen, H. (ed.), Roth-Berghofer, T. (ed.), Kofod-Petersen, A. (ed.), Coventry, K. R. (ed.) & Schmidtke, H. R. (ed.), 2011, Springer. (Lecture Notes in Computer Science, Vol. 6937).

Research output: Book/ReportAnthologyResearchpeer-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

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

Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)

Bolander, T. (ed.) & Braüner, T. (ed.), 2011, Elsevier. 68 p. (Electronic Notes in Theoretical Computer Science; No. 273).

Research output: Book/ReportAnthologyResearch

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

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

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

Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

Gallagher, J. P. & Gelfond, M., Jul 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 11. (Leibniz International Proceedings in Informatics).

Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

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

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

2012

13th IEEE International Conference on Mobile Data Management, MDM 2012, Bengaluru, India, July 23-26, 2012

Aberer, K. (ed.), Joshi, A. (ed.), Mukherjea, S. (ed.), Chakraborty, D. (ed.), Lu, H. (ed.), Venkatasubramanian, N. (ed.) & Kanhere, S. (ed.), 2012, IEEE Computer Society Press.

Research output: Book/ReportAnthologyResearch

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

Advances in Modal Logic

Bolander, T. (ed.), Braüner, T. (ed.), Ghilardi, S. (ed.) & Moss, L. (ed.), 2012, College Publications. 592 p.

Research output: Book/ReportAnthologyResearch

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

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

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

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

Gallagher, J. P., 2012, In : Lecture Notes in Computer Science. 7225, p. 1-3 3 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

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

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

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

Efficient tabling of structured data using indexing and program transformation

Have, C. T. & Christiansen, H., 23 Jan 2012, In : Lecture Notes in Computer Science. 7149, p. 93-107 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

Efficient tabling of structured data with enhanced hash-consing

Zhou, N-F. & Have, C. T., 1 Jul 2012, In : Theory and Practice of Logic Programming. 12, 4-5, p. 547-563 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

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

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

Preface

Bolander, T., Braüner, T., Ghilardi, S. & Moss, L., 2012, Advances in Modal Logic. Bolander, T. (ed.). London: College Publications, Vol. 9. p. viii-x

Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-review

Regulatory relations represented in logics and biomedical texts

Zambach, S., 2012, Roskilde Universitet. 151 p.

Research output: Book/ReportPh.D. thesis

File

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 Abstract Interpretation of Epistemic Logic

Ajspur, M. & Gallagher, J. P., Aug 2012. 3 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

File

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