Algorithms and Logic
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2012
- Published
Implementing a Multi-Agent System in Python. / Ettienne, Mikko Berggren ; Vester, Steen; Villadsen, Jørgen.
In: 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-review › Report chapter – Annual report year: 2012
- Published
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. / Ettienne, Mikko Berggren; Vester, Steen; Villadsen, Jørgen.
In: Programming Multi-Agent Systems: 9th InternationalWorkshop, 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-review › Article in proceedings – Annual report year: 2012
- 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: Research › Book – Annual report year: 2012
- 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-review › Journal article – Annual report year: 2012
- Published
Longest Common Extensions via Fingerprinting. / Bille, Philip; Gørtz, Inge Li; Kristensen, Jesper.
In: 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-review › Article in proceedings – Annual report year: 2012
- 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.
2012. 4 p.Publication: Research - peer-review › Report – Annual report year: 2012
- Published
On the Analysis of the Simple Genetic Algorithm. / Oliveto, Pietro S.; Witt, Carsten.
In: Proceedings of the fourteenth international conference on Genetic and evolutionary computation. ACM, 2012. p. 1341-1348.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Optimizing Linear Functions with Randomized Search Heuristics - The Robustness of Mutation. / Witt, Carsten.
In: 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012). ed. / Christoph Dürr; Thomas Wilke. 2012. p. 420-431 (Leibniz International Proceedings in Informatics, Vol. 14).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Paraconsistent Computational Logic. / Jensen, Andreas Schmidt; Villadsen, Jørgen.
In: 8th Scandinavian Logic Symposium: Abstracts. ed. / Patrick Blackburn; Klaus Frovin Jørgensen; Neil Jones; Erik Palmgren. 2012. p. 59-61.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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.
In: Proceedings of the 8th International CDIO Conference. 2012.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012