Algorithms and Logic

  1. 2012
  2. Published

    Implementing a Multi-Agent System in Python. / Ettienne, Mikko Berggren; Vester, Steen; Villadsen, Jørgen.

    Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions. ed. / Tristan Behrens; Jürgen Dix; Michael Köster; Federico Schlesinger. Technische Universität Clausthal, 2012. p. 147-179 (IfI Technical Report Series; No. IfI-12-02).

    Publication: Research - peer-reviewReport chapter – Annual report year: 2012

  3. Published

    Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. / Ettienne, Mikko Berggren; Vester, Steen; Villadsen, Jørgen.

    Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 Taipei, Taiwan, May 3, 2011 Revised Selected Papers. Springer, 2012. p. 185-196 (Lecture Notes in Artificial Intelligence; No. 7217).

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

  4. Published

    Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010; ESSLLI 2011, Ljubljana, Slovenia, August 201;1 Selected Lecture Notes. / Bezhanishvili, Nick (Editor); Goranko, Valentin (Editor).

    Springer, 2012. 265 p. (Lecture Notes in Computer Science, Vol. 7388).

    Publication: ResearchBook – Annual report year: 2012

  5. Published

    Logic for physical space : From antiquity to present days. / Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle; Goranko, Valentin.

    In: Synthese, Vol. 186, No. 3, 2012, p. 619-632.

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

  6. Published

    Longest Common Extensions via Fingerprinting. / Bille, Philip; Gørtz, Inge Li; Kristensen, Jesper.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012 A Coruña, Spain, March 5-9, 2012 Proceedings. Springer, 2012. p. 119-130 (Lecture Notes in Computer Science, Vol. 7183).

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

  7. Published

    Multi-Agent Programming Contest 2012 - The Python-DTU Team. / Villadsen, Jørgen; Jensen, Andreas Schmidt; Berggren Ettienne, Mikko; Vester, Steen; Balsiger Andersen, Kenneth; Frøsig, Andreas.

    Technical University of Denmark, 2012. 4 p.

    Publication: Research - peer-reviewReport – Annual report year: 2012

  8. Published

    On the Analysis of the Simple Genetic Algorithm. / Oliveto, Pietro S.; Witt, Carsten.

    Proceedings of the fourteenth international conference on Genetic and evolutionary computation. Association for Computing Machinery, 2012. p. 1341-1348.

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

  9. Published

    Optimizing Linear Functions with Randomized Search Heuristics - The Robustness of Mutation. / Witt, Carsten.

    29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012). ed. / Christoph Dürr; Thomas Wilke. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2012. p. 420-431 (Leibniz International Proceedings in Informatics, Vol. 14).

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

  10. Published

    Paraconsistent Computational Logic. / Jensen, Andreas Schmidt; Villadsen, Jørgen.

    8th Scandinavian Logic Symposium: Abstracts. ed. / Patrick Blackburn; Klaus Frovin Jørgensen; Neil Jones; Erik Palmgren. 2012. p. 59-61.

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

  11. Published

    Program Leadership from a Nordic Perspective - Managing Education Development. / Högfeldt, Anna-Karin; Cornell, Ann; Cronhjort, Mikael; Jerbrant, Anne; Lyng, Rediar; Kantola, Raimo; Malmi, Lauri; Lundqvist, Ulrika; Malmqvist, Johan; Hussmann, Peter Munkebo; Villadsen, Jørgen; Brattebø, Helge; Torvatn, Tim.

    Proceedings of the 8th International CDIO Conference. 2012.

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

Previous 1 2 3 4 5 6 7 8 ...14 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word