Algorithms and Logic
- Overview
- Researchers
- Research outputs
- Projects
- Activities
- Journals
- Publishers
- Press clippings
- Statistics
- 2017
- Published
Fingerprints in compressed strings. / Bille, Philip; Gørtz, Inge Li; Cording, Patrick Hagge; Sach, Benjamin; Vildhøj, Hjalte Wedel; Vind, Søren.
In: Journal of Computer and System Sciences, Vol. 86, 01.06.2017, p. 171-180.Research output: Contribution to journal › Journal article – Annual report year: 2017 › Research › peer-review
- Published
Subsequence automata with default transitions. / Bille, Philip; Gørtz, Inge Li; Skjoldjensen, Frederik Rye.
In: Journal of Discrete Algorithms, Vol. 44, 01.05.2017, p. 48-55.Research output: Contribution to journal › Journal article – Annual report year: 2017 › Research › peer-review
- Published
A Cycle of Maximum Order in a Graph of High Minimum Degree has a Chord. / Harvey, Daniel John.
In: The Electronic Journal of Combinatorics, Vol. 24, No. 4, P4.33, 2017.Research output: Contribution to journal › Journal article – Annual report year: 2017 › Research › peer-review
- Published
A Framework for Organization-Aware Agents. / Jensen, Andreas Schmidt; Dignum, Virginia; Villadsen, Jørgen.
In: Autonomous Agents and Multi-Agent Systems, Vol. 31, No. 3, 2017, p. 387–422.Research output: Contribution to journal › Journal article – Annual report year: 2016 › Research › peer-review
- Published
A framework of DYNAMIC data structures for string processing. / Prezza, Nicola.
In: Leibniz International Proceedings in Informatics, Vol. 75, 2017.Research output: Contribution to journal › Journal article – Annual report year: 2017 › Research › peer-review
- Published
A gentle introduction to epistemic planning: The DEL approach. / Bolander, Thomas.
In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 1-22.Research output: Contribution to journal › Conference article – Annual report year: 2017 › Research › peer-review
- Published
Amalgams and χ-Boundedness. / Penev, Irena.
In: Journal of Graph Theory, Vol. 84, No. 1, 2017, p. 57–92.Research output: Contribution to journal › Journal article – Annual report year: 2016 › Research › peer-review
- Published
An Approach for Hospital Planning with Multi-Agent Organizations. / Larsen, John Bruntse; Villadsen, Jørgen.
Rough Sets. Vol. 10314 Springer, 2017. p. 454-465.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings – Annual report year: 2017 › Research › peer-review
- Published
An Approach for Hospital Planning with Multi-Agent Organizations. / Larsen, John Bruntse; Villadsen, Jørgen.
Preproceedings of the 29th Benelux Conference on Artifcial Intelligence. 2017. p. 383-385.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings – Annual report year: 2017 › Research › peer-review
- Published
A Natural Logic for Natural-language Knowledge Bases. / Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker; Nilsson, Jørgen Fischer.
Partiality and Underspecification in Information, Languages, and Knowledge. ed. / Henning Christiansen; M. Dolores Jiménez López; Roussanka Loukanova; Larry Moss. Cambridge Scholars Press, 2017. p. 1-26.Research output: Chapter in Book/Report/Conference proceeding › Book chapter – Annual report year: 2017 › Research › peer-review