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

  DILI: A Distribution-Driven Learned Index

  Li, P., Lu, H., Zhu, R., Ding, B., Yang, L. & Pan, G., 2023, I: Proceedings of the VLDB Endowment. 16, 9, s. 2212-2224 13 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• Missing Value Imputation for Multi-attribute Sensor Data Streams via Message Propagation

  Li, X., Li, H., Lu, H., Jensen, C. S., Pandey, V. & Markl, V., 2023, I: Proceedings of the VLDB Endowment. 17, 3, s. 345-358 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
• 2021

  An Approach to Estimating Energy Consumption of Web-based IT Systems

  Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, I: CEUR Workshop Proceedings. 3145

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Towards crowd-aware indoor path planning

  Liu, T., Li, H., Lu, H., Cheema, M. A. & Shou, L., 2021, I: Proceedings of the VLDB Endowment. 14, 8, s. 1365-1377 13 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil
• 2020

  IMO: A Toolbox for Simulating and Querying "Infected" Moving Objects

  Xu, J., Lu, H. & Bao, Z., 2020, I: Proceedings of the VLDB Endowment. 13, 12, s. 2825-2828 4 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil
• 2018

  An iterative approach to precondition inference using constrained Horn clauses

  Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., jul. 2018, I: Theory and Practice of Logic Programming. 18, 3-4, s. 553-570 18 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Fil
• 2016

  Interpolant tree automata and their application in Horn clause verification

  Kafle, B. & Gallagher, J. P., 16 jul. 2016, I: Electronic Proceedings in Theoretical Computer Science. 216, s. 104-117 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• Solving non-linear Horn clauses using a linear Horn clause solver

  Kafle, B., Gallagher, J. P. & Ganty, P., 14 jul. 2016, I: Electronic Proceedings in Theoretical Computer Science. 219, s. 33-48 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil
• 2014

  A Case for Embedded Natural Logic for Ontological Knowledge Bases

  Andreasen, T. & Nilsson, J. F., 2014, I: Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development. 71.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• 2013

  A very brief introduction to hybrid logic and hybrid-logical proof-theory: Extended abstract of invited talk

  Braüner, T., 2013, I: Electronic Proceedings in Theoretical Computer Science. 113, s. 3-4

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
• 2012

  Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

  Gallagher, J. P., 2012, I: Lecture Notes in Computer Science. 7225, s. 1-3 3 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

• Efficient tabling of structured data using indexing and program transformation

  Have, C. T. & Christiansen, H., 23 jan. 2012, I: Lecture Notes in Computer Science. 7149, s. 93-107 15 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

• Efficient tabling of structured data with enhanced hash-consing

  Zhou, N.-F. & Have, C. T., 1 jul. 2012, I: Theory and Practice of Logic Programming. 12, 4-5, s. 547-563 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Fil
• 2011

  A Semantics-Based Approach to Retrieving Biomedical Information

  Andreasen, T., Bulskov, H., Lassen, T., Zambach, S., Jensen, P. A., Thomsen, H. E., Madsen, B. N. & Nilsson, J. F., 2011, I: Lecture Notes in Computer Science. 7022, s. 108-118

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Extracting Conceptual Feature Structures from Text

  Andreasen, T., Bulskov, H., Lassen, T. & Jensen, P. A., 1 jun. 2011, I: Lecture Notes in Computer Science. 6804, s. 396-406 11 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
• 2010

  Terminating Tableaux for Dynamic Epistemic Logics

  Hansen, J. U., 2010, I: Electronical Notes in Theoretical Computer Science. 262, s. 141-156 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
• 2009

  Abductive Logic Grammars

  Christiansen, H. & Dahl, V., 2009, I: Lecture Notes in Computer Science. s. 170-181

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Adaptable Grammars for Non-Context-Free Languages

  Christiansen, H., 2009, I: Lecture Notes in Computer Science. 5517, s. 488-503

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical Texts

  Zambach, S., 2009, I: Lecture Notes in Computer Science. s. 443-452 10 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Analysis of Linear Hybrid Systems in CLP

  Banda, G. & Gallagher, J. P., 2009, I: Lecture Notes in Computer Science. s. 55-70 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• Conceptual Indexing of Text Using Ontologies and Lexical Resources

  Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009, I: Lecture Notes in Computer Science. 5822, s. 323-332

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Conceptual querying through ontologies

  Andreasen, T. & Bulskov, H., 2009, I: Fuzzy Sets and Systems. 15, s. 2159-2172

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• From Monomorphic to Polymorphic Well-Typings and Beyond

  Schrijvers, T., Bruynooghe, M. & Gallagher, J. P., 2009, I: Lecture Notes in Computer Science. s. 152-167 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• Logic-Statistic Models with Constraints for Biological Sequence Analysis

  Have, C. T., 2009, I: Lecture Notes in Computer Science. s. 549-550 2 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Fil

• Non-Discriminating Arguments and Their Uses

  Christiansen, H. & Gallagher, J. P., 2009, I: Lecture Notes in Computer Science. 5649, s. 55-69 15 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

  Christiansen, H. & Lassen, O. T., 2009, I: Lecture Notes in Computer Science. s. 70-83 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Terminating tableaux for dynamic epistemic logics

  Hansen, J. U., 2009, I: Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 128, s. 88-102 15 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• 2008

  Introduction to Constraints and Language Processing

  Christiansen, H., 2008, I: Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 122, s. 3-4 2 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning

• Ontological summaries through hierarchical clustering

  Andreasen, T., Bulskov, H. & Terney, T. V., 2008, I: Lecture Notes in Computer Science. s. 497-507

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

• Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

  Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2008, I: Lecture Notes in Computer Science. 4915, s. 23-42 19 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
• 2006

  Converting One Type-Based Abstract Domain to Another

  Gallagher, J. P., Puebla, G. & Albert, E., 2006, I: Lecture Notes in Computer Science. s. 147-162 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil