Algorithms and Logic
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2011
- Published
The Tree Inclusion Problem: In Linear Space and Faster. / Bille, Philip; Gørtz, Inge Li.
In: A C M Transactions on Algorithms, Vol. 7, No. 3, 2011, p. 38.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Epistemic planning for single- and multi-agent systems. / Bolander, Thomas; Andersen, Mikkel Birkegaard.
In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 9-34.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Runtime analysis of the 1-ANT ant colony optimizer. / Doerr, Benjamin; Neumann, Frank; Sudholt, Dirk; Witt, Carsten.
In: Theoretical Computer Science, Vol. 412, No. 17, 2011, p. 1629-1644.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Classes and Theories of Trees Associated with a Class Of Linear Orders. / Goranko, Valentin; Kellerman, Ruaan.
In: Interest Group in Pure and Applied Logics. Logic Journal, Vol. 19, No. 1, 2011, p. 217-232.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Interval Temporal Logics : A Journey. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: European Association for Theoretical Computer Science. Bulletin, Vol. 105, 2011, p. 73-99.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Simplified Drift Analysis for Proving Lower Bounds in Evolutionary Computation. / Oliveto, Pietro S.; Witt, Carsten.
In: Algorithmica, Vol. 59, No. 3, 2011, p. 369-386.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Improving Multi-Agent Systems Using Jason. / Vester, Steen; Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Villadsen, Jørgen.
In: Annals of Mathematics and Artificial Intelligence, Vol. 61, No. 4, 2011, p. 297-307.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Two-sorted Point-Interval Temporal Logics. / Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido.
In: Electronic Notes in Theoretical Computer Science, Vol. 278, No. 1, 2011, p. 31-45.Publication: Research - peer-review › Conference article – Annual report year: 2011
- Published
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. / Della Monica, Dario; Goranko, Valentin; Sciavicco, Guido.
In: Electronic Notes in Theoretical Computer Science, Vol. 273, No. 1, 2011, p. 3-19.Publication: Research - peer-review › Conference article – Annual report year: 2011
- Published
Logical Aspects of MAS : Foreword. / Goranko, Valentin; Jamroga, Wojciech.
In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 7-8.Publication: Research - peer-review › Editorial – Annual report year: 2011