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

• 2023

  Preface

  Lopez-Garcia, P., Gallagher, J. & Giacobazzi, R., 2023, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lopez-Garcia, P., Gallagher, J. P. & Giacobazzi, R. (red.). Festschrift udg. Springer, Bind 13160 LNCS. s. vii-ix 3 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

  Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning

• 2012

  Preface

  Bolander, T., Braüner, T., Ghilardi, S. & Moss, L., 2012, Advances in Modal Logic. Bolander, T. (red.). London: College Publications, Bind 9. s. viii-x

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

• 2011

  Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

  Gallagher, J. P. & Gelfond, M., jul. 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Bind 11. (Leibniz International Proceedings in Informatics).

  Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning