Programming, Logic and Intelligent Systems

Research Output

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 Semantics-Based Approach to Retrieving Biomedical Information

Andreasen, T., Bulskov, H., Lassen, T., Zambach, S., Jensen, P. A., Thomsen, H. E., Madsen, B. N. & Nilsson, J. F., 2011, In : Lecture Notes in Computer Science. 7022, p. 108-118

Research output: Contribution to journalConference articleResearchpeer-review

A Skylining Approach to Optimize Influence and Cost in Location Selection

Shi, J., Lu, H., Lu, J. & Liao, C., 2014, Database Systems for Advanced Applications - 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II. Bhowmick, S. S., Dyreson, C. E., Jensen, C. S., Lee, M-L., Muliantara, A. & Thalheim, B. (eds.). Springer, Vol. 8422. p. 61-76 16 p. (Lecture Notes in Computer Science).

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

A Source-level Energy Optimization Framework for Mobile Applications

Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, p. 31-40 10 p.

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

A system for computing conceptual pathways in bio-medical text models

Andreasen, T., Styltsvig, H. B., Nilsson, J. F. & Jensen, P. A., 2014, Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Andreasen, T., Christiansen, H., Cubero, J-C. & W. Ras, Z. (eds.). Springer, p. 264-273 (Lecture Notes in Computer Science, Vol. 8502).

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

A System for Conceptual Pathway Finding and Deductive Querying

Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J. & Jensen, P. A., 2015. 12 p.

Research output: Contribution to conferencePaperResearchpeer-review

A Transformational Approach to Parametric Accumulated-Cost Static Profiling

Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (eds.). Cham: Springer, p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

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

Open Access
File

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

A uniform random test data generator for path testing

Gotlieb, A. & Petit, M., 2010, In : Journal of Systems and Software. 83, 12, p. 2618-2626

Research output: Contribution to journalJournal articleResearchpeer-review

A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk

Braüner, T., 2013, In : Electronic Proceedings in Theoretical Computer Science. 113, p. 3-4

Research output: Contribution to journalConference articleResearchpeer-review

A Web-based Tool Combining Different Type Analyses

Henriksen, K. S. & Gallagher, J. P., 2006, WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. Vanhoof, W. & Hernández, S. (eds.). p. 118-129 12 p.

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

Open Access
File

Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Braüner, T., 2006, In : Journal of Logic, Language and Information. 15, 3, p. 179-194 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., Aug 2019, In : International Journal of Design. 13, 2, p. 39-53 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2020, In : Topics in Cognitive Science. 12, p. 504-534

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

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, p. 589-594 (IEEE RO-MAN proceedings; No. 2018).

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

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

City-Scale Social Event Detection and Evaluation with Taxi Traces

Zhang, W., Qi, G., Pan, G., Lu, H., Li, S. & Wu, Z., 2015, In : ACM TIST. 6, 3, p. 40:1-40:20

Research output: Contribution to journalJournal articleResearchpeer-review

Cleansing indoor RFID data using regular expressions

Baba, A. I., Lu, H., Ku, W-S. & Pedersen, T. B., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31 - November 3, 2016. Ravada, S., Ali, M. E., Newsam, S. D., Renz, M. & Trajcevski, G. (eds.). Association for Computing Machinery, p. 77:1-77:4

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

Cleansing indoor RFID tracking data

Baba, A. I., Lu, H., Pedersen, T. B. & Jaeger, M., 2017, In : SIGSPATIAL Special. 9, 1, p. 11-18 8 p.

Research output: Contribution to journalJournal articleResearch

Collaborative Spatial Data Sharing Among Mobile Lightweight Devices

Huang, Z., Jensen, C. S., Lu, H. & Ooi, B. C., 2007, Advances in Spatial and Temporal Databases, 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007, Proceedings. Papadias, D., Zhang, D. & Kollios, G. (eds.). Springer, Vol. 4605. p. 366-384 19 p. (Lecture Notes in Computer Science).

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

Compendium to BK3: Theory of natural science

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

Research output: Book/ReportCompendium/lecture notesEducation

Completeness and Termination for a Seligman-style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2017, In : Journal of Logic and Computation. 27, 1, p. 81-107

Research output: Contribution to journalJournal article

Open Access
File

Compositionality in probabilistic logic modelling for biological sequence analysis

Lassen, O. T., 2011, Roskilde: Roskilde Universitet. 151 p. (Datalogiske Skrifter; No. 135).

Research output: Book/ReportPh.D. thesisResearch

Computing Pathways in Bio-Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Nilsson, J. F. & Jensen, P. A., 17 Apr 2014. 10 p.

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

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

Conceptual Summaries as Query Answers

Styltsvig, H. B., Andreasen, T. & Terney, T. V., 2007, North American Fuzzy Information Processing Society: NAFIPS '07. Annual Meeting of the24-27 June 2007. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 458-462

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

Conference on Scientific and Statistical Database Management, SSDBM '14, Aalborg, Denmark, June 30 - July 02, 2014

Jensen, C. S., Lu, H. (ed.), Pedersen, T. B., Thomsen, C. (ed.) & Torp, K., 2014, Association for Computing Machinery.

Research output: Book/ReportAnthologyResearch

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 Jul 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

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

File

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Kirkeby, M. H. & Christiansen, H., 2019, In : International Journal of Approximate Reasoning. 105, p. 217-228

Research output: Contribution to journalJournal articleResearchpeer-review

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

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).

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

Open Access
File

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Roskilde: Roskilde Universitet. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).

Research output: Book/ReportReportResearch

Open Access
File

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

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

Constrained Skyline Query Processing against Distributed Data Sites

Chen, L., Cui, B. & Lu, H., 2011, In : IEEE Trans. Knowl. Data Eng.. 23, 2, p. 204-217 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Banda, G. & Gallagher, J. P., 30 Nov 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal,. Clarke, E. M. & Voronkov, A. (eds.). Springer, p. 27-45 19 p. (Lecture Notes in Computer Science, Vol. 6355).

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

File

Constraint-based Word Segmentation for Chinese

Christiansen, H. & Bo, L., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., D. D. & Villadsen, J. (eds.). Cambridge Scholars Publishing, p. 237-251

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

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

Constraint Programming for Context Comprehension

Christiansen, H., 2014, Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. Brézillon, P. & Gonzalez, A. J. (eds.). Springer Science+Business Media, p. 401-418

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

Constraints and Global Optimization for Gene Prediction Overlap Resolution

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

Research output: Contribution to conferencePaperResearchpeer-review

File

Constraints and Language

Blache, P. (ed.), Christiansen, H. (ed.), Dahl, V. (ed.), Duchier, D. (ed.) & Villadsen, J. (ed.), 2014, Cambridge Scholars Press.

Research output: Book/ReportAnthologyResearchpeer-review