1. 2014
  2. Published

    Union-Find with Constant Time Deletions. / Alstrup, Stephen; Thorup, Mikkel; Gørtz, Inge Li; Rauhe, Theis; Zwick, Uri.

    In: A C M Transactions on Algorithms, Vol. 11, No. 1, 2014.

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

  3. 2013
  4. Published

    A Comparison of Organization-Centered and Agent-Centered Multi-Agent Systems. / Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Artificial Intelligence Research, Vol. 2, No. 3, 2013, p. 59-69.

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

  5. Published

    Alternating-time temporal logic with finite-memory strategies. / Vester, Steen.

    Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification. 2013. p. 194–207 (Electronic Proceedings in Theoretical Computer Science, Vol. 119).

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

  6. Published

    A method to derive fixed budget results from expected optimisation times. / Doerr, Benjamin; Jansen, Thomas; Witt, Carsten; Zarges, Christine.

    Proceeding of the fifteenth annual conference on Genetic and evolutionary computation. Association for Computing Machinery, 2013. p. 1581-1588 .

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

  7. Published

    An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. / Goranko, Valentin; Turrini, Paolo.

    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, 2013. p. 110-123.

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

  8. Published

    A Seligman-Style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 147-163.

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

  9. Published

    Belief Revision in the GOAL Agent Programming Language. / Spurkeland, Johannes Svante; Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: ISRN Artificial Intelligence, Vol. 2013, 632319, 2013.

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

  10. Published

    Bioinspired computation in combinatorial optimization - Algorithms and their computational complexity. / Neumann, Frank; Witt, Carsten.

    Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation. Association for Computing Machinery, 2013. p. 567-590.

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

  11. Published

    Bisimulation for Single-Agent Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, H.; Jensen, Martin Holm.

    AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, 2013. p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

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

  12. Published

    Compact q-gram Profiling of Compressed Strings. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings. Springer, 2013. p. 62-73 (Lecture Notes in Computer Science, Vol. 7922).

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

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