Programming, Logic and Intelligent Systems

Research Output

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. (eds.). Springer, Vol. 8098. p. 128-145 18 p. (Lecture Notes in Computer Science).

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

Fine-Grained Energy Modeling for the Source Code of a Mobile Application

Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (eds.). Association for Computing Machinery, p. 180-189

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

First-Class Open and CLosed Code Fragments

Rhiger, M., 2007, Trends in Functional Programming. Van Eekelen, M. (ed.). Bristol, United Kingdom: Intellect, Vol. 6. p. 127-144

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

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

First-Order Hybrid Logic: Introduction and Survey

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

Research output: Contribution to journalJournal articleResearchpeer-review

First-Order Modal Logic

Braüner, T. & Ghilardi, S., 2006, Handbook of Modal Logic. Blackburn, P., van Benthem, J. & Wolter, F. (eds.). Amsterdam: Pergamon Press, p. 549-620 73 p. (Studies in Logic and Practical Reasoning; No. 3).

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

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

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

Flexible Query Answering Systems: 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings

Larsen, H. L. (ed.), Pasi, G. (ed.), Ortiz-Arroyo, D. (ed.), Andreasen, T. (ed.) & Christiansen, H. (ed.), 2006, Heidelberg: Kluwer Academic Publishers. 720 p. (Lecture Notes in Computer Science, Vol. 4027).

Research output: Book/ReportAnthologyResearch

Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings

Cuzzocrea, A., Greco, S., Legind Larsen, H., Sacca, D., Andreasen, T. & Christiansen, H., 2019, Forlaget Spring. 414 p. (Lecture notes in artificial intelligence).

Research output: Book/ReportReportResearchpeer-review

Flexible Query Answering Systems: 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017. Proceedings

Christiansen, H. (ed.), Jaudoin, H. (ed.), Chountas, P. (ed.), Andreasen, T. (ed.) & Legind Larsen, H. (ed.), May 2017, Cham, Switzerland: Springer. 285 p. (Lecture notes in artificial intelligence, Vol. 10333).

Research output: Book/ReportAnthologyResearchpeer-review

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

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

Research output: Book/ReportAnthologyResearchpeer-review

Flexible Query Answering Systems 2015: Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015

Andreasen, T. (ed.), Christiansen, H. (ed.), Kacprzyk, J. (ed.), Larsen, H. L. (ed.), Pasi, G. (ed.), Pivert, O. (ed.), De Tré, G. (ed.), Vila, M. A. (ed.), Yazici, A. (ed.) & Zadrozny, S. (ed.), 2015, Heidelberg: Springer. (Advances in Intelligent Systems and Computing, Vol. 4000).

Research output: Book/ReportAnthologyResearchpeer-review

Formal semantics for the Sally-Anne tasks

Braüner, T. & Blackburn, P. R., 2018, p. 16-27.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

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

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

Research output: Book/ReportAnthologyResearchpeer-review

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

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

From use cases to UML class diagrams using logic grammars and constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, International Conference: Recent Advances in Natural Language Processing: Proceedings. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 128-132

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

Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018

Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2018, Switzerland: Springer. 281 p. (Lecture Notes in Computer Science, Vol. 10818). (Theoretical Computer Science and General Issues).

Research output: Book/ReportAnthologyResearchpeer-review

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

GVoS: A General System for Near-Duplicate Video-Related Applications on Storm

Jiang, J., Tong, Y., Lu, H., Cui, B., Lei, K. & Yu, L., 2017, In : ACM Trans. Inf. Syst.. 36, 1, p. 3:1-3:36

Research output: Contribution to journalJournal articleResearchpeer-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. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

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

HCML: Write your own chatbot in the HCML script language and run in an interpreter written in Processing

Christiansen, H., 2019

Research output: Other contributionNet publication - Internet publicationCommunication

HIC: An interactive image classification system based on supervised machine learning

Christiansen, H., 2016

Research output: Other contributionNet publication - Internet publicationEducation

HisRect: Features from Historical Visits and Recent Tweet for Co-Location Judgement

Li, P., Lu, H., Zheng, Q., Li, S. & Pan, G., 2020, In : IEEE Transactions on Knowledge and Data Engineering. p. 1-1 1 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

Kafle, B. & Gallagher, J. P., Jan 2017, In : Computer Languages, Systems and Structures. 47, Part 1, p. 2-18

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 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, p. 207-216 10 p.

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

Hybrid Logic

Braüner, T., 2017, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (ed.). Stanford University

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

Open Access

Hybrid Logic

Braüner, T., 2006, The Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford University Press

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

Hybrid Logic

Braüner, T., 2013, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). 2 ed. Springer Science+Business Media, Vol. 17. p. 1-77

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearchpeer-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 (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-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, p. 186-195

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). University of Amsterdam, p. 79-103

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

Open Access
File

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given?

Braüner, T., 2015, Proceedings of the 37th Annual Meeting of the Cognitive Science Society, Pasadena, California, USA. Cognitive Science Society, p. 273-278

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

Open Access
File

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

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

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

Hybrid-logik: fra filosofi til datalogi

Braüner, T., 2010, In : Aktuel Naturvidenskab. 2, p. 40-43

Research output: Contribution to journalJournal articleCommunication

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

ICT: Energy Concepts for Energy Efficiency and Sustainability

Fagas, G. (ed.), Gammaitoni, L. (ed.), Gallagher, J. P. (ed.) & Paul, D. J. (ed.), 22 Mar 2017, InTechOpen.

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

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

Identifying the Most Influential User Preference from an Assorted Collection

Lu, H. & Xu, L., 2010, Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Gertz, M. & Ludäscher, B. (eds.). Springer, Vol. 6187. p. 233-251 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 197-206 10 p.

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