Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Book chapter
2018

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.). Association for Computing Machinery and Morgan & Claypool, p. 477-511

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

2017

A Natural Logic for Natural-Language Knowledge Bases

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Fischer Nilsson, J., 1 Sep 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., López, M. D. J., Loukanova, R. & Moss, L. (eds.). Newcastle upon Tyne: Cambridge Scholars Publishing, p. 1-26 26 p.

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

Energy-Aware Software Engineering

Eder, K. & Gallagher, J. P., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, p. 103-127

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

Open Access
File

Energy Challenges for ICT

Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, 37 p.

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

Open Access
File
2016

Det marinarkæologiske Eksperimentarie: Oplevelser, Design, Inddragelse

Andreasen, T., Pedersen, M. H. & Kallmeyer Bloch, A., 2016, (In preparation) Oplevelsesbaseret innovation og forretningsudvikling. Teorier, case-analyser, metoder. ExCite, . Jensen, J. F. (ed.). EXCITE - Aalborg Universitetsforlag, 17 p.

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

2015

Logikkens muligheder og grænser: Om standse-problemet og Gödels sætninger

Braüner, T., 2015, Mening med tiden. Ploug, T. (ed.). Aalborg: Aalborg Universitetsforlag, p. 49-66

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

2014

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

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 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 Logic Programming in Grammars and Language Analysis

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

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

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

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

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

2012

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

2011

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

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

2009

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

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

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

Text summarization using ontologies

Bulskov, H. & Andreasen, T., 2009, Data Mining Applications using Ontologies in Biomedicine. Popescu, M. & Xu, D. (eds.). Norwood, MA: Artech House, p. 163-182

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

2008

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

2007

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

2006

Integrity Checking and Maintenance in Relational and Deductive Databases - and Beyond

Martinenghi, D., Christiansen, H. & Decker, H., 2006, Intelligent Databases: Technologies and Applications. Ma, Z. (ed.). Pennsylvania, USA: Idea Group Publishing, p. 238-285 48 p.

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

Second International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2006)

Christiansen, H. (ed.) & Martinenghi, D. (ed.), 2006, 17th International Conference on Database and Expert Systems Applications (DEXA 2006). IEEE Computer Society Press, p. 525-573 52 p.

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