Programming, Logic and Intelligent Systems

Research Output

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

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

Modelling and Analysis of Real Time Systems with Logic Programming and Constraints

Banda, G., Sep 2010, Roskilde Universitet. 165 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 130).

Research output: Book/ReportPh.D. thesisResearch

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

Natural language processing with (tabled and constraint) logic programming

Christiansen, H. & Dahl, V., 2018, Declarative Logic Programming: Theory, Systems, and Applications. Kifer, M. & Liu, Y. A. (eds.). New York: Association for Computing Machinery, p. 477-511 35 p.

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

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

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. 5649, p. 55-69 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

Albert, E., Puebla, G. & Gallagher, J. P., 2006, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005. Hill, P. M. (ed.). Springer, p. 115-132 17 p. (Lecture Notes in Computer Science, Vol. 3901).

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

Open Access
File

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 Conceptual Indexing for Data Summarization

Bulskov, H. & Andreasen, T., 2009, Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. Carvalho, J. P., Dubois, D., Kaymak, U. & Sousa, M. C. (eds.). European Society for Fuzzy Logic and Technology, p. 1618-1625 7 p.

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

On deriving data summarization through ontologies to meet user preferences

Andreasen, T. & Bulskov, H., 2009, Advances in Data Management. Springer, Vol. 223/2009. p. 67-87 20 p. (Studies in Computational Intelligence).

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

Online Risk Prediction for Indoor Moving Objects

Ahmed, T., Pedersen, T. B., Calders, T. & Lu, H., 2016, IEEE 17th International Conference on Mobile Data Management, MDM 2016, Porto, Portugal, June 13-16, 2016. Chow, C-Y., Jayaraman, P. P. & Wu, W. (eds.). IEEE Computer Society Press, p. 102-111 10 p.

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

On the design of a Natural Logic System for Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Aug 2020, (Accepted/In press). 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

On the Relationship between a Computational Natural Logic and Natural Language

Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A., 2016. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Ontological Summaries

Bulskov, H., Andreasen, T. & Terney, T. V., 2008, Managing Ontologies and Lexical Resources. Madsen, B. N. & Thomsen, H. E. (eds.). Litera, p. 219-230 11 p.

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

Ontological summaries through hierarchical clustering

Andreasen, T., Bulskov, H. & Terney, T. V., 2008, In : Lecture Notes in Computer Science. p. 497-507

Research output: Contribution to journalConference articleResearchpeer-review

Ontology-based Disambiguation of the Semantic Relation between the Heads of two Noun Phrases

Lassen, T. & Terney, T. V., 2006, Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 791-793

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

Ontology-based Information Retrieval

Styltsvig, H. B., 2006, Roskilde: Roskilde Universitet. 196 p. (Datalogiske Skrifter; No. 107).

Research output: Book/ReportPh.D. thesisResearch

File

Ontology-based retrieval of bio-medical information based on microarray text corpora

Hansen, K. A., Zambach, S. & Have, C. T., 2010.

Research output: Contribution to conferencePaperResearchpeer-review

Ontology-Based Role Association Networks for Visualizing Trends in Political Debate

Andreasen, T., Christiansen, H. & Eberholst, M. K., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings. Christiansen, H., Stojanovic, I. & Papadopoulos, G. A. (eds.). Springer, p. 477-482 (Lecture notes in artificial intelligence, Vol. 9405).

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

On using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases

Christiansen, H. & Martinenghi, D., 2006, Proceedings of LAAIC'06, Second International Workshop on Logical Aspects and Applications of Integrity Constraints, Included in Proc. DEXA 2006, Seventeenth Int'l Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, p. 569-573 5 p.

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

Open Access
File

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

Optimization and evaluation of probabilistic-logic sequence models

Christiansen, H. & Lassen, O. T., 2008. 9 p.

Research output: Contribution to conferencePaperResearch

Outdoor-indoor space: unified modeling and shortest path search

Jensen, S. K., Nielsen, J. T. V., Lu, H. & Cheema, M. A., 2016, Proceedings of the Eighth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness, ISA@SIGSPATIAL 2016, Burlingame, California, USA, October 31, 2016. Cheema, M. A., Ali, M. E. & Yang, S. (eds.). Association for Computing Machinery, p. 35-42 8 p.

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

PAD: privacy-area aware, dummy-based location privacy in mobile services

Lu, H., Jensen, C. S. & Yiu, M. L., 2008, Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access, Mobide 2008, June 13, 2008, Vancouver, British Columbia, Canada, Proceedings. Delis, A., Zadorozhny, V., Kotidis, Y. & Marrón, P. J. (eds.). Association for Computing Machinery, p. 16-23 8 p.

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

Parallel Distributed Processing of Constrained Skyline Queries by Filtering

Cui, B., Lu, H., Xu, Q., Chen, L., Dai, Y. & Zhou, Y., 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. 546-555 10 p.

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

Partiality and Underspecification in Information, Languages, and Knowledge

Christiansen, H. (ed.), Jiménez-López, M. D. (ed.), Loukanova, R. (ed.) & Moss, L. (ed.), 2017, Cambridge Scholars Publishing. 360 p.

Research output: Book/ReportAnthologyResearchpeer-review

Pathway Computation in Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Nilsson, J. F., 2017, Foundations of Intelligent Systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings . Kryszkiewicz, M., Appice, A., Ślęzak, D., Rybinski, H., Skowron, A. & Raś, Z. W. (eds.). Cham: Springer, p. 424-434 (Lecture Notes in Computer Science; No. 10352). (Lecture notes in artificial intelligence; No. 10352).

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

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 p.

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

Open Access

Preface

Braüner, T. & Bolander, T., 2009, In : Journal of Logic, Language and Information. 18, 4, p. 435-436

Research output: Contribution to journalEditorialResearch

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

Preface

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

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

Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6)

Braüner, T. (ed.) & Bolander, T. (ed.), 2009, Roskilde: Roskilde Universitet. 263 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 128).

Research output: Book/ReportAnthologyResearch

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

Christiansen, H. & Lassen, O. T., 2009, In : Lecture Notes in Computer Science. p. 70-83 14 p.

Research output: Contribution to journalConference articleResearchpeer-review

Prioritized Abduction with CHR

Christiansen, H., 2008, CHR 2008, The 5th Workshop on Constraint Handling Rules. SCHRIJVERS, T., RAISER, F. & FRÜHWIRTH, T. (eds.). Johannes Kepler University, Vol. 08-10. p. 159-173 (RISC-Linz Report Series, Vol. 08-10).

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

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H., 2008. 15 p.

Research output: Contribution to conferencePaperResearchpeer-review

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H., 29 Sep 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194. p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

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

Open Access

Probabilistic program analysis

Kirkeby, M. H., 2018, Roskilde: Roskilde Universitet. 139 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 151).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

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

Probabilistic threshold k nearest neighbor queries over moving objects in symbolic indoor space

Yang, B., Lu, H. & Jensen, C. S., 2010, EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings. Manolescu, I., Spaccapietra, S., Teubner, J., Kitsuregawa, M., Léger, A., Naumann, F., Ailamaki, A. & Özcan, F. (eds.). Association for Computing Machinery, Vol. 426. p. 335-346 12 p. (ACM International Conference Proceeding Series).

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

Proceedings of the 4th International Workshop on Constraints and Language Processing, CSLP 2007

Christiansen, H. (ed.) & Villadsen, J. (ed.), 2007, Roskilde: Roskilde Universitet. 101 p. (Datalogiske Skrifter; No. 113).

Research output: Book/ReportAnthologyResearch

Proceedings of the 5th International Workshop on Constraints and Language Processing (CSLP 2008)

Villadsen, J. (ed.) & Christiansen, H. (ed.), 2008, Roskilde: Roskilde Universitet. 97 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 122).

Research output: Book/ReportAnthologyResearch

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. & Braüner, T., 2010, In : Electronical Notes in Theoretical Computer Science. 262, p. 1-2

Research output: Contribution to journalEditorialResearch

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

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

Research output: Book/ReportAnthologyResearch

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

Braüner, T. (ed.), Blackburn, P. (ed.), Bolander, T. (ed.), de Paiva, V. & Villadsen, J. (ed.), 2007, Pergamon Press. 148 p. (Electronic Notes in Theoretical Computer Science; No. 6, Vol. 174).

Research output: Book/ReportAnthologyResearch