Programming, Logic and Intelligent Systems

Research Output 2006 2019

2014

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

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

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

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

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

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

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

Research output: Book/ReportReportResearch

Open Access
File

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

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

Research output: Book/ReportReportResearch

Open Access
File
2013

Abstract Interpretation as a Programming Language

Rosendahl, M., 2013, In : Electronic Proceedings in Theoretical Computer Science. 129, p. 84-104

Research output: Contribution to journalJournal articleResearchpeer-review

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 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

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

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

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes

Have, C. T., Zambach, S. & Christiansen, H., 2013, In : B M C Bioinformatics. 14, 1, 12 p.

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

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-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

Kompendium til BK3: Naturvidenskabsteori og metoder i naturvidenskab

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

Research output: Book/ReportCompendium/lecture notesEducation

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, Vol. 8132. p. 613-624 (Lecture notes in artificial intelligence, Vol. 8132).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, Vol. 8114. p. 166-177

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

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

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

Research output: Book/ReportReportResearch

Summarization by domain ontology navigation

Andreasen, T. & Bulskov, H., 15 Jan 2013, In : International Journal of Intelligent Systems. 28, 1, p. 72-92 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2012

A declarative pipeline language for big data analysis

Christiansen, H., Theil-Have, C., Lassen, O. T. & Petit, M., Sep 2012, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012). Leuven: Katholieke Universiteit Leuven, Vol. Report CW 625. p. 3-17

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

Advances in Modal Logic

Bolander, T. (ed.), Braüner, T. (ed.), Ghilardi, S. (ed.) & Moss, L. (ed.), 2012, College Publications. 592 p.

Research output: Book/ReportAnthologyResearch

A logic-based approach to pluralistic ignorance

Hansen, J. U., 2012, Future Directions for Logic - Proceedings of PhDs in Logic III. De Vuyst, J. & Demey, L. (eds.). College Publications, p. 67-80

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

An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations

Christiansen, H., Sep 2012, CHR 2012 - Proceedings of the 9th International Workshop on Constraint Handling Rules, Budapest, Hungary — September 4th, 2012. Sneyers, J. & Frühwirth, T. (eds.). Leuven: Katholieke Universiteit Leuven, Vol. CW 624. p. 1-15

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

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

Gallagher, J. P., 2012, In : Lecture Notes in Computer Science. 7225, p. 1-3 3 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

An exposition of abductive reasoning through logic programming with constraints

Christiansen, H., 2012, Proceedings of the 8th Scandinavian Logic Symposium. Blackburn, P., Jørgensen, K. F., Jones, N. & Palmgren, E. (eds.). p. 23-25 3 p.

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

Efficient tabling of structured data using indexing and program transformation

Have, C. T. & Christiansen, H., 23 Jan 2012, In : Lecture Notes in Computer Science. 7149, p. 93-107 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

Efficient tabling of structured data with enhanced hash-consing

Zhou, N-F. & Have, C. T., 1 Jul 2012, In : Theory and Practice of Logic Programming. 12, 4-5, p. 547-563 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

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

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

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

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

Regulatory relations represented in logics and biomedical texts

Zambach, S., 2012, Roskilde Universitet. 151 p.

Research output: Book/ReportPh.D. thesisResearch

File

Resolving relative time expressions in Dutch text with Constraint Handling Rules

van de Camp, M. & Christiansen, H., 2012, 7th International Workshop on Constraint Solving and Language Processing (CSLP'12): Proceedings. Duchier, D. & Parmentier, Y. (eds.). Orléans: University of Orléans, p. 74-85

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

Staged Computation with Staged Lexical Scope

Rhiger, M., Mar 2012, Programming Languages and Systems: 21st European Symposium on Programming. Seidl, H. (ed.). Springer, Vol. 7211. p. 559-579 20 p.

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

Towards Abstract Interpretation of Epistemic Logic

Ajspur, M. & Gallagher, J. P., Aug 2012. 3 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

File
2011

6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings

Christiansen, H. (ed.), Blache, P. (ed.) & Dahl, V. (ed.), 2011, (Datalogiske Skrifter; No. 134).

Research output: Book/ReportAnthologyResearchpeer-review

Adaptable Grammars for Non-Context-Free Languages: (Extended and revised version)

Christiansen, H., 2011, Bio-Inspired Models for Natural and Formal Languages. Bel-Enguix, G. & Jiménez-López, M. D. (eds.). Newcastle upon Tyne: Cambridge Scholars Publishing, p. 33-51

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

A Grammatical View of Language Evolution

Bel-Enguix, G., Christiansen, H. & Jiménez-López, M. D., 2011, AI Methods for Interdisciplinary Research in Language and Biology: Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - BILC 2011. Bel-Enguix, G., Dahl, V. & Ortega De La Puente, A. (eds.). Portugal: SciTePress, p. 57-66

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

A Hybrid Public Announcement Logic with Distributed Knowledge

Hansen, J. U., 8 Jul 2011, In : Electronic Notes in Theoretical Computer Science. 273, p. 33-50

Research output: Contribution to journalJournal articleResearchpeer-review

A Lexical Framework for Semantic Annotation of Positive and Negative Regulation Relations in Biomedical Pathways

Zambach, S. & Lassen, T., 25 Oct 2011. 6 p.

Research output: Contribution to conferencePaperResearchpeer-review

An approach to summarization through domain ontologies

Andreasen, T. & Bulskov, H., 1 May 2011, WCONSC 2011 - World Conference on Soft Computing, Proceedings. 10 p.

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

Approaching the Chinese Word Segmentation Problem with CHR Grammars

Christiansen, H. & Li, B., 2011, 6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings. p. 21-31 (Datalogiske Skrifter; No. 134).

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

Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Braüner, T., 2011, Persistenz - Indexikalität - Zeiterfahrung. Schmechtig, P. & Schönrich, G. (eds.). Ontos Verlag, p. 301-336 (Philosophische Analyse / Philosophical Analysis; No. 39).

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

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

Constraints and Global Optimization for Gene Prediction Overlap Resolution

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

Research output: Contribution to conferencePaperResearchpeer-review

File