Programmering, logik og intelligente systemer

Publikationer

2014

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. (red.). Cambridge Scholars Publishing, s. 21-35

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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. (red.). IEEE Computer Society Press, s. 1194-1197 4 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). EPTCS, Bind 169. s. 53-67 15 s. 7

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). Cambridge, Massachusetts: MIT Press, s. 259-278 20 s. (Design thinking, design theory; Nr. [6]).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

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. (red.). OpenProceedings.org, s. 37-48 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). IEEE Computer Society Press, s. 189-194 6 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

First-Order Hybrid Logic: Introduction and Survey

Braüner, T., 2014, I : Logic Journal of the IGPL. 22, 1, s. 155-165

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings

Andreasen, T. (red.), Christiansen, H. (red.), Cubero, J. C. (red.) & Ras, Z. W. (red.), 2014, Heidelberg: Springer Science+Business Media. 568 s. (Lecture notes in artificial intelligence, Bind 8502).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer 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. (red.). IEEE Computer Society Press, s. 117-126 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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. (red.). University of Amsterdam, s. 79-103

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Åben adgang
Fil

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Braüner, T., 2014, I : Journal of Logic, Language and Information. 23, 4, s. 415-439

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil

Managing Evolving Uncertainty in Trajectory Databases

Jeung, H., Lu, H., Sathe, S. & Yiu, M. L., 2014, I : IEEE Trans. Knowl. Data Eng.. 26, 7, s. 1692-1705 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). OpenProceedings.org, s. 391-402 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Preface

Christiansen, H., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (red.). Cambridge Scholars Publishing, s. xv-xvi

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Scalable Evaluation of Trajectory Queries over Imprecise Location Data

Xie, X., Yiu, M. L., Cheng, R. & Lu, H., 2014, I : IEEE Trans. Knowl. Data Eng.. 26, 8, s. 2029-2044 16 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Solving the Bottleneck Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 42 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 143).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil

Solving the Clustered Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2014, Roskilde: Roskilde Universitet. 13 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 142).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil
2013

Abstract Interpretation as a Programming Language

Bidragets oversatte titel: Abstrakt fortolkning som et programmeringssprogRosendahl, M., 2013, I : Electronic Proceedings in Theoretical Computer Science. 129, s. 84-104

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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, s. 283-292 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Association for Computing Machinery, s. 1:1-1:6

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). Association for Computing Machinery, s. 454-457 4 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Association for Computing Machinery, s. 263-274 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

A Seligman-Style Tableau System

Bidragets oversatte titel: Et Seligman Tableau SystemBlackburn, 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. (red.). Heidelberg: Springer Publishing Company, s. 147-163 16 s. (Lecture Notes in Computer Science, Bind 8312).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). IEEE Computer Society Press, s. 661-672 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Association for Computing Machinery, s. 462-465 4 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). IEEE Computer Society Press, s. 577-588 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Compendium to BK3: Theory of natural science

Braüner, T., Nielsen, S. L. & Niss, M., 2013, Roskilde. 156 s.

Publikation: Bog/antologi/afhandling/rapportKompendium/lecture notesUndervisning

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, Bind 8132. s. 1-12 (Lecture Notes in Computer Science, Bind 8132).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Efficient and scalable continuous skyline monitoring in two-tier streaming settings

Lu, H., Zhou, Y. & Haustad, J., 2013, I : Scandinavian Journal of Information Systems. 38, 1, s. 68-81 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). IEEE Computer Society Press, s. 434-445 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, Bind 8098. s. 128-145 18 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Flexible Query Answering Systems - 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings

Larsen, H. L. (red.), Martin-Bautista, M. J. (red.), Vila, M. A. (red.), Andreasen, T. (red.) & Christiansen, H. (red.), 2013, Springer. 710 s. (Lecture Notes in Computer Science, Bind 8132).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer 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, s. 207-216 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Hybrid Logic

Braüner, T., 2013, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (red.). 2 udg. Springer Science+Business Media, Bind 17. s. 1-77

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer 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, s. 186-195

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, s. 197-206 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Kompendium til BK3: Naturvidenskabsteori og metoder i naturvidenskab

Braüner, T., Nielsen, S. L. & Niss, M., 2013, Roskilde. 194 s.

Publikation: Bog/antologi/afhandling/rapportKompendium/lecture notesUndervisning

KSQ: Top-(k) Similarity Query on Uncertain Trajectories

Ma, C., Lu, H., Shou, L. & Chen, G., 2013, I : IEEE Trans. Knowl. Data Eng.. 25, 9, s. 2049-2062 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, s. 247-250 4 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, Bind 8132. s. 613-624 (Lecture notes in artificial intelligence, Bind 8132).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Association for Computing Machinery, s. 9:1-9:12

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, Bind 8114. s. 166-177

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Solving the Equality Generalized Traveling Salesman Problem Using the Lin-Kernighan-Helsgaun Algorithm

Helsgaun, K., 2013, Roskilde: Roskilde Universitet. 15 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 141).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

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, s. 187-196 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Summarization by domain ontology navigation

Andreasen, T. & Bulskov, H., 15 jan. 2013, I : International Journal of Intelligent Systems. 28, 1, s. 72-92 21 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). Springer, Bind 7825. s. 131-145 15 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, Bind 8098. s. 490-495 6 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Web Phishing Detection Based on Page Spatial Layout Similarity

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review