Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Bidrag til bog/antologi
2019

Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer Nature, (Language, Cognition, and Mind).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

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. (red.). New York: Association for Computing Machinery, s. 477-511 35 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). Newcastle upon Tyne: Cambridge Scholars Publishing, s. 1-26 26 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). InTechOpen, s. 103-127

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Åben adgang
Fil

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. (red.). InTechOpen, 37 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Åben adgang
Fil
2016

Det marinarkæologiske Eksperimentarie: Oplevelser, Design, Inddragelse

Andreasen, T., Pedersen, M. H. & Kallmeyer Bloch, A., 2016, (Under udarbejdelse) Oplevelsesbaseret innovation og forretningsudvikling. Teorier, case-analyser, metoder. ExCite, . Jensen, J. F. (red.). EXCITE - Aalborg Universitetsforlag, 17 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2015

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

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). Springer, s. 264-273 (Lecture Notes in Computer Science, Bind 8502).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). Cambridge Scholars Publishing, s. 237-251

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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. (red.). Springer Science+Business Media, s. 401-418

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). Cambridge Scholars Publishing, s. 21-35

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). University of Amsterdam, s. 79-103

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Åben adgang
Fil

Preface

Christiansen, H., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (red.). Cambridge Scholars Publishing, s. xv-xvi

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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. (red.). College Publications, s. 67-80

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). Newcastle upon Tyne: Cambridge Scholars Publishing, s. 33-51

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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. (red.). Ontos Verlag, s. 301-336 (Philosophische Analyse / Philosophical Analysis; Nr. 39).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

2009

Hybrid Logic Meets Other Logics (HyLoMOL)

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

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. (red.). University of Amsterdam, s. 238-263

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

On deriving data summarization through ontologies to meet user preferences

Andreasen, T. & Bulskov, H., 2009, Advances in Data Management. Springer, Bind 223/2009. s. 67-87 20 s. (Studies in Computational Intelligence).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Text summarization using ontologies

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

2008

Query Expansion by Taxonomy

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

2007

First-Class Open and CLosed Code Fragments

Rhiger, M., 2007, Trends in Functional Programming. Van Eekelen, M. (red.). Bristol, United Kingdom: Intellect, Bind 6. s. 127-144

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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. (red.). Pennsylvania, USA: Idea Group Publishing, s. 238-285 48 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

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

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

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning