Programmering, logik og intelligente systemer

Publikationer

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

• 141 Konferencebidrag i proceedings
• 91 Tidsskriftartikel
• 37 Bidrag til bog/antologi
• 31 Konferenceartikel
• 129 Mere
  • 30 Antologi
  • 27 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

  Routledge International Handbook of Contemporary Participatory Design

  Smith, R. C. (Redaktør), Loi, D. (Redaktør), Winschiers-Theophilus, H. (Redaktør), Huybrechts, L. (Redaktør) & Simonsen, J. (Redaktør), 1 jan. 2025, Routledge. 299 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review
• 2021

  Special issue on FLOPS 2018

  Gallagher, J. P. (Redaktør) & Sulzmann, M. (Redaktør), 2021, Special issue on FLOPS 2018 udg. Elsevier. (Science of Computer Programming; Nr. 202).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2020

  Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017

  Fioravanti, F. (Redaktør), Gallagher, J. P. (Redaktør) & Proietti, M. (Redaktør), 2020, Societatis Mathematicae Polonae. (Fundamenta Informaticae; Nr. 4, Bind 173).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2018

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

  Gallagher, J. P. (Redaktør) & Sulzmann, M. (Redaktør), 2018, Switzerland: Springer. 281 s. (Lecture Notes in Computer Science, Bind 10818). (Theoretical Computer Science and General Issues).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

  Fioravanti, F. (Redaktør) & Gallagher, J. P. (Redaktør), 2018, Springer. 341 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Preface

  Gallagher, J. P. (Redaktør), van Glabbeek, R. (Redaktør) & Serwe, W. (Redaktør), apr. 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

  Åben adgang
• 2017

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

  Christiansen, H. (Redaktør), Jaudoin, H. (Redaktør), Chountas, P. (Redaktør), Andreasen, T. (Redaktør) & Legind Larsen, H. (Redaktør), maj 2017, Cham, Switzerland: Springer. 285 s. (Lecture notes in artificial intelligence, Bind 10333).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• ICT: Energy Concepts for Energy Efficiency and Sustainability

  Fagas, G. (Redaktør), Gammaitoni, L. (Redaktør), Gallagher, J. P. (Redaktør) & Paul, D. J. (Redaktør), 22 mar. 2017, InTechOpen.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

  Åben adgang

• Partiality and Underspecification in Information, Languages, and Knowledge

  Christiansen, H. (Redaktør), Jiménez-López, M. D. (Redaktør), Loukanova, R. (Redaktør) & Moss, L. (Redaktør), 2017, Cambridge Scholars Publishing. 360 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• 2015

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

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

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings

  Christiansen, H. (Redaktør), Stojanovic, I. (Redaktør) & Papadopoulos, G. A. (Redaktør), 2015, Cham: Springer. (Lecture notes in artificial intelligence, Bind 9405).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• 2014

  Constraints and Language

  Blache, P. (Redaktør), Christiansen, H. (Redaktør), Dahl, V. (Redaktør), Duchier, D. (Redaktør) & Villadsen, J. (Redaktør), 2014, Cambridge Scholars Press.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

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

  Andreasen, T. (Redaktør), Christiansen, H. (Redaktør), Cubero, J. C. (Redaktør) & Ras, Z. W. (Redaktør), 2014, Heidelberg: Springer Science+Business Media. 568 s. (Lecture notes in artificial intelligence, Bind 8502).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review
• 2013

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

  Larsen, H. L. (Redaktør), Martin-Bautista, M. J. (Redaktør), Vila, M. A. (Redaktør), Andreasen, T. (Redaktør) & Christiansen, H. (Redaktør), 2013, Springer. 710 s. (Lecture Notes in Computer Science, Bind 8132).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• 2012

  Advances in Modal Logic

  Bolander, T. (Redaktør), Braüner, T. (Redaktør), Ghilardi, S. (Redaktør) & Moss, L. (Redaktør), 2012, College Publications. 592 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2011

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

  Christiansen, H. (Redaktør), Blache, P. (Redaktør) & Dahl, V. (Redaktør), 2011, (Datalogiske Skrifter; Nr. 134).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

  Beigl, M. (Redaktør), Christiansen, H. (Redaktør), Roth-Berghofer, T. (Redaktør), Kofod-Petersen, A. (Redaktør), Coventry, K. R. (Redaktør) & Schmidtke, H. R. (Redaktør), 2011, Springer. (Lecture Notes in Computer Science, Bind 6937).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)

  Bolander, T. (Redaktør) & Braüner, T. (Redaktør), 2011, Elsevier. 68 s. (Electronic Notes in Theoretical Computer Science; Nr. 273).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
• 2010

  Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PEPM 2010, Madrid, Spain, January 18-19, 2010

  Gallagher, J. P. (Redaktør) & Voigtländer, J. (Redaktør), 2010, Association for Computing Machinery. 158 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

  Bolander, T. (Redaktør) & Braüner, T. (Redaktør), 2010, Elsevier. 262 s. (Electronic Notes in Theoretical Computer Science; Nr. 262).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2009

  Flexible Query Answering Systems: 8th International Conference, FQAS 2009, Roskilde, Denmark, October 2009, Proceedings

  Andreasen, T. (Redaktør), Yager, R. R. (Redaktør), Bulskov, H. (Redaktør), Christiansen, H. (Redaktør) & Larsen, H. L. (Redaktør), 2009, Berlin-Heidelberg-New York: Springer. 676 s. (Lecture Notes in Computer Science; Nr. 5822).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• HYBRID LOGIC: Dedicated to the Memory of Volker Weber

  Braüner, T. (Redaktør) & Bolander, T. (Redaktør), 2009, Springer. (Journal of Logic, Language and Information; Nr. 4, Bind 18).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• Preliminary proceedings of the 6th Workshop on Methods for Modalities (M4M-6)

  Braüner, T. (Redaktør) & Bolander, T. (Redaktør), 2009, Roskilde: Roskilde Universitet. 263 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 128).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• Proceedings of the International Workshop on Logic in Databases (LID 2009)

  Bertossi, L. (Redaktør) & Christiansen, H. (Redaktør), 2009, Roskilde: Roskilde Universitet. (Datalogiske Skrifter; Nr. 127).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  Åben adgang

  Fil
• 2008

  Proceedings of the 5th International Workshop on Constraints and Language Processing (CSLP 2008)

  Villadsen, J. (Redaktør) & Christiansen, H. (Redaktør), 2008, Roskilde: Roskilde Universitet. 97 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 122).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
• 2007

  Proceedings of the 4th International Workshop on Constraints and Language Processing, CSLP 2007

  Christiansen, H. (Redaktør) & Villadsen, J. (Redaktør), 2007, Roskilde: Roskilde Universitet. 101 s. (Datalogiske Skrifter; Nr. 113).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

  Braüner, T. (Redaktør), Blackburn, P. (Redaktør), Bolander, T. (Redaktør), de Paiva, V. & Villadsen, J. (Redaktør), 2007, Pergamon Press. 148 s. (Electronic Notes in Theoretical Computer Science; Nr. 6, Bind 174).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)

  Braüner, T. (Redaktør), Villadsen, J. (Redaktør) & Bolander, T. (Redaktør), 2007, Dublin: ESSLLI. 95 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2006

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

  Larsen, H. L. (Redaktør), Pasi, G. (Redaktør), Ortiz-Arroyo, D. (Redaktør), Andreasen, T. (Redaktør) & Christiansen, H. (Redaktør), 2006, Heidelberg: Springer. 720 s. (Lecture Notes in Computer Science, Bind 4027).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• The Logic of Time and Modality

  Braüner, T. (Redaktør), Hasle, P. (Redaktør) & Øhrstrøm, P. (Redaktør), 2006, Kluwer Academic Publishers. 192 s. (Synthese; Nr. 3, Bind 150).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning