Programming, Logic and Intelligent Systems

Research Output

2007

Why does the Proof-Theory of Hybrid Logic Work so Well?

Braüner, T., 2007, In : Journal of Applied Non-Classical Logics. 17, 4, p. 521-543 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2008

Adding intensional machinery to hybrid logic

Braüner, T., 2008, In : Journal of Logic and Computation. 18, 4, p. 631-648 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Gallagher, J. P. & Rosendahl, M., 2008, Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). Springer, Vol. 5330. p. 682-696 15 p. (Lecture Notes in Computer Science, Vol. 5330).

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

Biosequence Analysis in PRISM

Lassen, O. T., 2008, Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. Garcia de la Banda, M. & Pontelli, E. (eds.). Springer, Vol. 5366. p. 809-810 (Lecture Notes in Computer Science, Vol. 5366).

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

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

Christiansen, H., 2008, In : Lecture Notes in Computer Science. 5388, p. 85-118

Research output: Contribution to journalJournal articleResearchpeer-review

Introduction to Constraints and Language Processing

Christiansen, H., 2008, In : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 122, p. 3-4 2 p.

Research output: Contribution to journalConference articleResearch

iSky: Efficient and Progressive Skyline Computing in a Structured P2P Network

Chen, L., Cui, B., Lu, H., Xu, L. & Xu, Q., 2008, 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China. IEEE Computer Society Press, p. 160-167 8 p.

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

Logic Grammars Extended with Constraint Logic: Abstract of invited tutorial

Christiansen, H., 2008, Proceedings of the Second International Workshop;Non-Classical Formal Languages in Linguistics, ForLing 2008. Bel-Enguix, G. & Jimenes-Lopes, M. D. (eds.). p. 3-4 2 p.

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

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). College Publications, Vol. 7. p. 111-132 22 p.

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

Optimization and evaluation of probabilistic-logic sequence models

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

Research output: Contribution to conferencePaperResearch

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

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

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

Query Expansion by Taxonomy

Andreasen, T. & Styltsvig, H. B., 2008, Handbook of Research on Fuzzy Information Processing in Databases. Galindo, J. (ed.). Hershey, PA: Idea Group Publishing, p. 325-351 22 p.

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

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

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

Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2008, In : Lecture Notes in Computer Science. 4915, p. 23-42 19 p.

Research output: Contribution to journalConference articleResearchpeer-review

2009

Abductive Logic Grammars

Christiansen, H. & Dahl, V., 2009, In : Lecture Notes in Computer Science. p. 170-181

Research output: Contribution to journalConference articleResearchpeer-review

A Constraint Model for Constrained Hidden Markov Models: a First Biological Application

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2009, Proceedings of WCB09: Workshop on Constraint Based Methods for Bioinformatics. p. 19 26 p.

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

Open Access
File

Adaptable Grammars for Non-Context-Free Languages

Christiansen, H., 2009, In : Lecture Notes in Computer Science. 5517, p. 488-503

Research output: Contribution to journalConference articleResearchpeer-review

A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical Texts

Zambach, S., 2009, In : Lecture Notes in Computer Science. p. 443-452 10 p.

Research output: Contribution to journalConference articleResearchpeer-review

Analysis of Linear Hybrid Systems in CLP

Banda, G. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. p. 55-70 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Applying terminological methods and description logic for creating and implementing and ontology on inhibition

Zambach, S. & Madsen, B. N., 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. 452-455 4 p.

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

Certification of an optimal TSP tour through 85,900 cities

Applegate, D. L., Bixby, R. E., Chvatal, V., Cook, W., Espinoza, D. G., Goycoolea, M. & Helsgaun, K., 2009, In : Operations Research Letters. 37, 1, p. 11-15 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Conceptual Indexing of Text Using Ontologies and Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009, In : Lecture Notes in Computer Science. 5822, p. 323-332

Research output: Contribution to journalConference articleResearchpeer-review

Conceptual querying through ontologies

Andreasen, T. & Bulskov, H., 2009, In : Fuzzy Sets and Systems. 15, p. 2159-2172

Research output: Contribution to journalConference articleResearchpeer-review

Consistency and Clarity in Chemical Concepts: How to Achieve a Codified Chemical Terminology - A Pilot Study

Damhus, T., Olesen Larsen, P., Madsen, B. N. & Zambach, S., 2009, In : Chemistry International. 31, 5, p. 6-11 6 p.

Research output: Contribution to journalJournal articleResearch

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

Banda, G. & Gallagher, J. P., 2009. 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Control-flow analysis of function calls and returns by abstract interpretation

Midtgaard, J. & Jensen, T. P., 2009, Proceeding of the 14th ACM SIGPLAN international conference on Functional Programming: ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.. Association for Computing Machinery, p. 287-298

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

Distinguish Dynamic Basic Blocks by Structural Statistical Testing

Petit, M. & Gotlieb, A., 2009.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Efficient Skyline Computation in Structured Peer-to-Peer Systems

Cui, B., Chen, L., Xu, L., Lu, H., Song, G. & Xu, Q., 2009, In : IEEE Trans. Knowl. Data Eng.. 21, 7, p. 1059-1072 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Christiansen, H., 2009, In : Journal of Applied Logic. 7, 3, p. 341-362

Research output: Contribution to journalJournal articleResearchpeer-review

Flexible Query Answering Systems: 8th International Conference, FQAS 2009, Roskilde, Denmark, October 2009, Proceedings

Andreasen, T. (ed.), Yager, R. R. (ed.), Bulskov, H. (ed.), Christiansen, H. (ed.) & Larsen, H. L. (ed.), 2009, Berlin-Heidelberg-New York: Springer. 676 p. (Lecture Notes in Computer Science; No. 5822).

Research output: Book/ReportAnthologyResearch

From Monomorphic to Polymorphic Well-Typings and Beyond

Schrijvers, T., Bruynooghe, M. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. p. 152-167 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

General k-opt submoves for the Lin-Kernighan TSP heuristic

Helsgaun, K., 2009, In : Mathematical Programming Computation. 1, 2-3, p. 119-163

Research output: Contribution to journalJournal articleResearchpeer-review

Graph Model Based Indoor Tracking

Jensen, C. S., Lu, H. & Yang, B., 2009, MDM 2009, Tenth International Conference on Mobile Data Management, Taipei, Taiwan, 18-20 May 2009. Tseng, Y-C., Scheuermann, P., Güting, R. H., Lee, W-C., King, C-T. & Pitoura, E. (eds.). IEEE Computer Society Press, p. 122-131 10 p.

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

HYBRID LOGIC: Dedicated to the Memory of Volker Weber

Braüner, T. (ed.) & Bolander, T. (ed.), 2009, Springer. (Journal of Logic, Language and Information; No. 4, Vol. 18).

Research output: Book/ReportAnthologyResearch

Hybrid Logic and Its Proof-Theory

Braüner, T., 2009, Roskilde: Roskilde Universitet. 318 p. (Roskilde Universitet. Computer Science. Computer Science Research Report; No. 124).

Research output: Book/ReportDoctoral thesisResearch

Hybrid Logic Meets Other Logics (HyLoMOL)

Braüner, T., 2009, Årsberetning 2008. Roskilde: Roskilde Universitet, Vol. 2008. p. 53 1 p. (Årsberetning. Roskilde Universitet, Vol. 2008).

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

Identifying and Indexing Text Meaning Using Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009.

Research output: Contribution to conferencePaperResearchpeer-review

Identifying the Most Endangered Objects from Spatial Datasets

Lu, H. & Yiu, M. L., 2009, Scientific and Statistical Database Management, 21st International Conference, SSDBM 2009, New Orleans, LA, USA, June 2-4, 2009, Proceedings. Winslett, M. (ed.). Springer, Vol. 5566. p. 608-626 19 p. (Lecture Notes in Computer Science).

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

Indexing the Trajectories of Moving Objects in Symbolic Indoor Space

Jensen, C. S., Lu, H. & Yang, B., 2009, Advances in Spatial and Temporal Databases, 11th International Symposium, SSTD 2009, Aalborg, Denmark, July 8-10, 2009, Proceedings. Mamoulis, N., Seidl, T., Pedersen, T. B., Torp, K. & Assent, I. (eds.). Springer, Vol. 5644. p. 208-227 20 p. (Lecture Notes in Computer Science).

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

Location Privacy Techniques in Client-Server Architectures

Jensen, C. S., Lu, H. & Yiu, M. L., 2009, Privacy in Location-Based Applications, Research Issues and Emerging Trends [This book was partially born out of the First International Workshop on Privacy in Location-Based Applications (PiLBA 2008) held in Malaga, Spain, in October 2008, in conjunction with the 13th European Symposium on Research in Computer Security]. Bettini, C., Jajodia, S., Samarati, P. & Wang, X. S. (eds.). Springer, Vol. 5599. p. 31-58 28 p. (Lecture Notes in Computer Science).

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

Logical implications for regulatory relations represented by verbs in biomedical texts

Zambach, S., 2009. 1 p.

Research output: Contribution to conferencePosterResearch

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Have, C. T., 2009, In : Lecture Notes in Computer Science. p. 549-550 2 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2009, Logics for Dynamics of Information and Preferences: Seminar's yearbook 2008. Kurzen, L. & Velazquez-Quesada, F. R. (eds.). University of Amsterdam, p. 238-263

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