1. 2018
  2. Published

    Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL. / Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen.

    In: AI Communications, Vol. 31, No. 3, 2018, p. 281-299.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  3. Published

    Querying Social Practices in Hospital Context. / Larsen, John Bruntse; Dignum, Virginia; Villadsen, Jørgen; Dignum, Frank.

    Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. SCITEPRESS Digital Library, 2018. p. 405-412.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  4. Published

    Runtime analysis for self-adaptive mutation rates. / Doerr, Benjamin; Witt, Carsten; Yang, Jing.

    2018 Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery, 2018. p. 1475-1482.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  5. Published

    Substitutionless First-Order Logic: A Formal Soundness Proof. / From, Andreas Halkjær; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen.

    Proceedings of the Isabelle Workshop 2018. 2018.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  6. Published

    Teaching First-Order Logic with the Natural Deduction Assistant (NaDeA). / From, Andreas Halkjær; Hatteland, Helge; Villadsen, Jørgen.

    2018. Paper presented at Tenth Scandinavian Logic Symposium, Gothenburg, Sweden.

    Publication: Research - peer-reviewPaper – Annual report year: 2018

  7. Published

    The bane of low-dimensionality clustering. / Cohen-Addad, Vincent; de Mesmay, Arnaud; Rotenberg, Eva; Roytman, Alan.

    Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM - Society for Industrial and Applied Mathematics, 2018. p. 441-456 (Proceedings of the Twenty-ninth Annual Acm-siam Symposium).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  8. Published

    The flow index and strongly connected orientations. / Li, Jiaao; Thomassen, Carsten; Wu, Yezhou; Zhang, Cun-Quan.

    In: European Journal of Combinatorics, Vol. 70, 2018, p. 164-177.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  9. Published

    The Impact of Parametrization on Randomized Search Heuristics. / Gießen, Christian; Witt, Carsten (Main supervisor).

    DTU Compute, 2018. 156 p. (DTU Compute PHD-2017, Vol. 460).

    Publication: ResearchPh.D. thesis – Annual report year: 2018

  10. Published

    Theory of estimation-of-distribution algorithms. / Witt, Carsten.

    Proceedings of the Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, 2018. p. 1170-1197.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  11. Published

    Three Categories of Context-Aware Systems. / Shishkov, Boris; Larsen, John; Larsen, John Bruntse; Warnier, Martijn; Janssen, Marijn.

    Business Modeling and Software Design: 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings. ed. / Boris Shishkov. Springer, 2018. p. 185-202 (Lecture Notes in Business Information Processing, Vol. 319).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

Previous 1 2 3 4 5 6 7 8 ...31 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word