Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2006 2006 2009 2011 2017 2018 2020 2021 2023 2024 2025

• 142 Konferencebidrag i proceedings
• 91 Tidsskriftartikel
• 37 Bidrag til bog/antologi
• 31 Konferenceartikel
• 127 Mere
  • 30 Antologi
  • 25 Paper
  • 12 Ph.d.-afhandling
  • 9 Rapport
  • 8 Leder
  • 8 Udgivelser på nettet - Net-publikation
  • 7 Konferenceabstrakt til konference
  • 6 Encyclopædiartikel
  • 4 Preprint
  • 3 Kompendium/lecture notes
  • 3 Forord/efterskrift
  • 2 Poster
  • 2 Review
  • 2 Working paper
  • 1 Bog
  • 1 Doktordisputats
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til avis - Avisartikel
  • 1 Anmeldelse
  • 1 Andet bidrag

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2025

  Contemporary Participatory Design: An Introduction

  Smith, R. C., Huybrechts, L., Winschiers-Theophilus, H., Loi, D. & Simonsen, J., 1 jan. 2025, Routledge International Handbook of Contemporary Participatory Design. Smith, R. C., Loi, D., Winschiers-Theophilus, H., Huybrechts, L. & Simonsen, J. (red.). Routledge, s. 1-23 23 s.

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

• Fablabs and the Maker Movement: Learning through Making

  Høbye, M., Haldrup, M., Daugbjerg, S., Pedersen, S., Borch, M. M., Padfield, N., Lindemann, S., Møbius, N. & Thorning, B., 12 mar. 2025, (Accepteret/In press) Creative Pragmatics for Active Learning in STEM Education. Svabo, C., Shanks, M., Zhou, C. & Carleton, T. (red.). Springer Nature, (Contributions from Science Education Research).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

• New Approaches, Methods and Techniques

  Simonsen, J., Dindler, C. & Del Gaudio, C., 1 jan. 2025, Routledge International Handbook of Contemporary Participatory Design. Smith, R. C., Loi, D., Winschiers-Theophilus, H., Huybrechts, L. & Simonsen, J. (red.). Routledge, s. 165-189 25 s.

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

• Teaching Participatory Design

  D'Andrea, V., DiSalvo, B., Poderi, G. & Simonsen, J., 31 jan. 2025, Routledge International Handbook of Contemporary Participatory Design. Smith, R. C., Loi, D., Winschiers-Theophilus, H., Huybrechts, L. & Simonsen, J. (red.). Routledge, s. 271-287 17 s. (Routledge International Handbooks).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
• 2024

  Analytic Proof-Theory for Prior's System Q: First Steps

  Braüner, T., 2024, (Accepteret/In press) Seventy years of tense-logic: Logic and Philosophy of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time; Nr. 1, Bind 6).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

• Digital vigilance: Learnings from the COVID-19 pandemic

  Gyldenkærne, C., Bech, C. F., Malik, A. Z., Mønsted, T. S. & Simonsen, J., 2024, Sustainable Health and the Covid-19 Crisis: Interdisciplinary Perspectives. Thualagant, N., Sørensen, P. K. & Mønsted, T. S. (red.). Routledge, s. 132-145 14 s.

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling

• Ned i de tekniske detaljer

  Hansen, J. U. & Zambach, S., 22 jul. 2024, AI i gymnasiet. København: Praxis, s. 205-227

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling

• 2023

  The True Futures: A Couple of Case Studies

  Braüner, T., 2023, The History and Philosophy of Tense-logic: Logic and Philosophy of Time. Jakobsen, D., Hasle, P. & Øhrstrøm, P. (red.). Aalborg Universitetsforlag, Bind 5(1). 13 s. (Logic and Philosophy of Time; Nr. 1, Bind 5).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang

  Fil
• 2021

  A Natural Logic System for Large Knowledge Bases

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 10 jan. 2021, Frontiers in Artificial Intelligence and Applications: Information Modelling and Knowledge Bases XXXII. Tropmann-Frick, M., Thalheim, B., Jaakola, H., Kiyoki, Y. & Yoshida, N. (red.). IOS Press, s. 119-133 15 s. (Frontiers in Artificial Intelligence and Applications, Bind 333).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang

• En introduktion til kunstig intelligens og maskinlæring

  Hansen, J. U., jun. 2021, Smart krig: Militær anvendelse af kunstig intelligens. Yde, I., Nielsen, T. G. & Dahlberg, R. (red.). København: Djøf Forlag, s. 21-57 37 s.

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

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

  Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2021, (In)coherence of Discourse: Formal and Conceptual Issues of Language. Amblard, M., Musiol, M. & Rebuschi, M. (red.). Springer VS, s. 21-42 22 s. (Language, Cognition, and Mind; Nr. 10).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
• 2020

  Interaktion: Krop og teknologi som materiale

  Ranten, M. F., 2020, Performance Design: 15 års alfabet. Lindelof, A. M. (red.). Roskilde: Roskilde Universitet, s. 56-61

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

• Remarks on Hybrid Modal Logic with Propositional Quantfiers

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2020, The Metaphysics of Time: Themes from Prior. Hasle, P., Jakobsen, D. & Øhrstrøm, P. (red.). Aalborg Universitetsforlag, s. 401-426 (Logic and Philosophy of Time; Nr. 4).

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang
• 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning

  Å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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Forskning › peer 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/rapport › Bidrag til bog/antologi › Formidling

• 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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning

• 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/rapport › Bidrag til bog/antologi › Forskning

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

  Christiansen, H. (Redaktør) & Martinenghi, D. (Redaktør), 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/rapport › Bidrag til bog/antologi › Forskning