Algorithms and Logic

1 - 132 out of 132Page size: 500
RSS feed of this list
Sort by: Publication year
  1. 2012
  2. Published

    Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor).

    College Publications, 2012. 592 p.

    Publication: Research › Book – Annual report year: 2012

  3. Published

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

    In: Proceedings of the fourteenth international conference on Genetic and evolutionary computation: Companion. Association for Computing Machinery, 2012. p. 1035-1058.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  4. Published

    Black-Box Search by Unbiased Variation. / Lehre, Per Kristian; Witt, Carsten.

    In: Algorithmica, Vol. 64, No. 4, 2012, p. 623-642.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  5. Published

    Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    In: Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Springer, 2012. p. 94-106 (Lecture Notes in Computer Science, Vol. 7519).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  6. Published

    Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Journal of Universal Computer Science, Vol. 18, No. 20, 2012, p. 2798-2831.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  7. Published

    Detection of previously undiagnosed cases of COPD in a high-risk population identified in general practice.. / Løkke, Anders; Ulrik, Charlotte Suppli; Dahl, Ronald; Plauborg, Liane; Dollerup, Jens; Kristiansen, Luise Cederkvist; Cording, Patrick Hagge; Dehlendorff, Christian.

    In: C O P D, Vol. 9, No. 5, 2012, p. 458-465.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  8. Published

    Engineering Multiagent Systems - Reflections. / Villadsen, Jørgen.

    In: Dagstuhl Reports, Vol. 2, No. 8, 2012, p. 87.

    Publication: Research - peer-review › Conference abstract in journal – Annual report year: 2012

  9. Published

    Fast and Cache-Oblivious Dynamic Programming with Local Dependencies. / Bille, Philip; Stöckel, Morten.

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  10. Published

    Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

    In: Algorithmica, Vol. 62, No. 1-2, 2012, p. 209-223.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  11. Published

    Faster Approximate String Matching for Short Patterns. / Bille, Philip.

    In: Theory of Computing Systems, Vol. 50, No. 3, 2012, p. 492–515.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

  22. Published

    Stochastic vehicle routing with recourse. / Gørtz, Inge Li; Nagarajan, Viswanath; Saket, Rishi.

    In: Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012. ed. / Artur Czumaj; Kurt Mehlhorn ; Andrew Pitts; Roger Wattenhofer. Springer, 2012. p. 411-423 (Lecture Notes in Computer Science, Vol. 7391).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  23. Published

    String Indexing for Patterns With Wildcards. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    In: Algorithm Theory – SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings. ed. / Fedor V. Fornin; Petteri Kaski. Springer, 2012. p. 283-294 (Lecture Notes in Computer Science, Vol. 7357).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  24. Published

    String matching with variable length gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    In: Theoretical Computer Science, Vol. 443, 2012, p. 25-34.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  25. Accepted

    Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. / Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry.

    In: Interest Group in Pure and Applied Logics. Logic Journal, 2012.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  26. Published

    Theoretical analysis of two ACO approaches for the traveling salesman problem. / Kötzing, Timo; Neumann, Frank; Röglin, Heiko; Witt, Carsten.

    In: Swarm Intelligence, Vol. 6, No. 1, 2012, p. 1-21.

    Publication: Research - peer-review › Journal article – Annual report year: 2012

  27. Published

    Theory of Randomized Search Heuristics. / Auger, Anne; Witt, Carsten.

    In: Algorithmica, Vol. 64, No. 4, 2012, p. 621-622.

    Publication: Research - peer-review › Editorial – Annual report year: 2012

  28. Published

    Time-Space Trade-offs for Longest Common Extensions. / Bille, Philip; Gortz, Inge Li; Sach, Benjamin; Vildhoj, Hjalte Wedel.

    In: Combinatorial Pattern Matching. ed. / Juha Kärkkäinen; Jens Stoye. Springer, 2012. p. 293-305 (Lecture Notes in Computer Science, Vol. 7354).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  29. Published

    Undecidability and temporal logic: some landmarks from Turing to the present. / Goranko, Valentin.

    In: 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  30. Published

    Visual time series analysis. / Fischer, Paul; Hilbert, Astrid.

    In: Proceedings of COMPSTAT 2012: 20th International Conference on Computational Statistics. 2012. p. 225-234.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

  31. 2011
  32. Published

    Active Learning in Large Classes. / Gørtz, Inge Li.

    In: Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  33. Published

    A Semantics-Based Approach to Retrieving Biomedical Information. / Andreasen, Troels; Bulskov, Henrik; Zambach, Sine; Lassen, Tine; Madsen, Bodil Nistrup; Jensen, Per Anker; Thomsen, Hanne Erdman; Nilsson, Jørgen Fischer.

    In: Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 108-118 (Lecture Notes in Artificial Intelligence; No. 7022).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  34. Published

    Capacitated Vehicle Routing with Non-Uniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.

    In: Lecture Notes in Computer Science: The 15th Conference on Integer Programming and Combinatorial Optimization. Vol. 6655/2011 Berlin : Springer, 2011. p. 235-247 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  35. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    In: Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  36. 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

  37. Published

    Edge-Matching Problems with Rotations. / Ebbesen, Martin; Fischer, Paul; Witt, Carsten.

    In: Fundamentals of Computation Theory: 18th International Symposium, FCT 2011 Oslo, Norway, August 22-25, 2011 Proceedings. Springer, 2011. p. 114-125 (Lecture Notes in Computer Science; No. 6914).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  38. 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

  39. Published

    Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. 2011. p. 845-850.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  40. Published

    Faster Black-Box Algorithms Through Higher Arity Operators. / Doerr, Benjamin; Johannsen, Daniel; Kötzing, Timo; Lehre, Per Kristian; Wagner, Markus; Winzen, Carola.

    In: FOGA '11 Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms. 2011. p. 163-171.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  41. Published

    Fast searching in packed strings. / Bille, Philip.

    In: Journal of Discrete Algorithms (Amsterdam), Vol. 9, No. 1, 2011, p. 49-56.

    Publication: Research - peer-review › Journal article – Annual report year: 2011

  42. Published

    Fixed Parameter Evolutionary Algorithms and Maximum Leaf Spanning Trees: A Matter of Mutations. / Kratsch, Stefan; Lehre, Per Kristian; Neumann, Frank; Oliveto, Pietro Simone.

    In: PPSN'10 Proceedings of the 11th international conference on Parallel problem solving from nature. Vol. 1 2011. p. 204-213 (Lecture Notes in Computer Science; No. 6238).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  43. Published

    From Frustration to Success: A Case-Study in Advanced Design-Build Experiences. / Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård.

    In: 7th International CDIO Conference 2011. Technical University of Denmark, 2011.

    Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2011

  44. 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

  45. 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

  46. 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

  47. Published

    Locating Depots for Capacitated Vehicle Routing. / Gørtz, Inge Li; Nagarajan, Viswanath.

    In: Approximation, Randomization, and Combinatorial Optimization: 14th InternationalWorkshop, APPROX 2011 and 15th InternationalWorkshop, RANDOM 2011 Princeton, NJ, USA, August 17-19, 2011 Proceedings. Vol. 6845 Springer, 2011. p. 230-241 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  48. 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

  49. Published

    Multi-Agent Programming Contest 2011 - The Python-DTU Team. / Villadsen, Jørgen; Ettienne, Mikko Berggren; Vester, Steen.

    Technical University of Denmark, 2011. 4 p.

    Publication: Research - peer-review › Report – Annual report year: 2011

  50. Published

    Non-uniform Mutation Rates for Problems with Unknown Solution Lengths. / Cathabard, Stephan; Lehre, Per Kristian; Yao, Xin.

    In: FOGA '11 - Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms. 2011. p. 173-180.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  51. Published

    Optimal Packed String Matching. / Ben-Kiki, Oren; Bille, Philip; Breslauer, Dany; Gasieniec, Leszek; Grossi, Roberto; Weimann, Oren.

    In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). ed. / Supratik Chakraborty; Amit Kumar. Dagstuhl, Germany : Schloss Dagstuhl-Leibniz-Zentrum fuer Informati, 2011. p. 423-432 (Leibniz International Proceedings in Informatics (LIPIcs); No. 13).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  52. Published

    Preface. / van Ditmarsch, Hans; Duque, David Fernández; Goranko, Valentin; Jamroga, Wojtek; Ojeda-Aciego, Manuel.

    In: Electronic Notes in Theoretical Computer Science, Vol. 278, 2011, p. 1-2.

    Publication: Research - peer-review › Editorial – Annual report year: 2011

  53. Published

    Proceedings of the 6th International Workshop on Constraints and Language Processing : Preface. / Blache, Philippe (Editor); Christiansen, Henning (Editor); Dahl, Verónica (Editor); Villadsen, Jørgen.

    In: Proceedings of the 6th International Workshop on Constraints and Language Processing. Roskilde : Roskilde University, 2011. (Computer Science Research Report; No. 134).

    Publication: Research › Book chapter – Annual report year: 2011

  54. Published

    Querying Class-Relationship Logic in a Metalogic Framework. / Nilsson, Jørgen Fischer.

    In: Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 96-107 (Lecture Notes in Artificial Intelligence; No. 7022).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  55. 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

  56. Published

    Sharp Bounds by Probability-Generating Functions and Variable Drift. / Doerr, Benjamin; Fouz, Mahmoud; Witt, Carsten.

    In: Genetic and Evolutionary Computation Conference, GECCO'11. ACM, 2011. p. 2083-2090.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  57. 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

  58. Published

    Strategic Games and Truly Playable Effectivity Functions. / Goranko, Valentin; Jamroga, Wojtek; Turrini, Paolo.

    In: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011). ed. / Tumer, Yolum, Sonenberg and Stone. 2011.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  59. Published

    Substring Range Reporting. / Bille, Philip; Gørtz, Inge Li.

    In: Combinatorial Pattern Matching: 22nd Annual Symposium, CPM 2011 Palermo, Italy, June 27-29, 2011 Proceedings. Vol. 6661 Springer, 2011. p. 299-308 (Lecture Notes in Computer Science).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  60. Published

    SyntaxTrain: Relieving the pain of learning syntax. / Moth, Andreas Leon Aagaard; Villadsen, Jørgen; Ben-Ari, Mordechai.

    In: ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. 2011.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  61. Published

    The dark side of Interval Temporal Logic: sharpening the undecidability border. / Bresolin, Davide; Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). 2011. p. 131-138.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

  62. Published

    Theory of Randomized Search Heuristics in Combinatorial Optimization. / Witt, Carsten (Author).

    2011. 13th Annual Conference on Genetic and Evolutionary Computation, Dublin, Ireland, 12-07-11.

    Publication: Research › Sound/Visual production (digital) – Annual report year: 2011

  63. 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

  64. 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

  65. 2010
  66. Published

    A few ants are enough: ACO with iteration-best update. / Neumann, Frank; Sudholt, Dirk; Witt, Carsten.

    In: GECCO 2010: Portland, Oregon, USA - Companion Material. 2010. p. 63-70.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  67. Published

    Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. / Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter.

    In: Journal of Applied Logic, Vol. 8, No. 4, 2010, p. 319-333.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  68. Published

    Ant Colony Optimization and the minimum spanning tree problem. / Neumann, Frank; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 25, 2010, p. 2406-2413.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  69. Published

    Approximating covering problems by randomized search heuristics using multi-objective models. / Friedrich, Tobias; He, Jun; Hebbinghaus, Niels; Neumann, Frank; Witt, Carsten.

    In: Evolutionary Computation, Vol. 18, No. 4, 2010, p. 617-633.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  70. Published

    Bioinspired Computation in Combinatorial Optimization : Algorithms and Their Computational Complexity. / Neumann, Frank; Witt, Carsten.

    Springer, 2010. (Natural Computing Series).

    Publication: Research - peer-review › Book – Annual report year: 2011

  71. Published

    Biometric template data protection in mobile device environment using XML-database. / Thirumathyam, Rubathas; Derawi, Mohammad; Fischer, Paul.

    In: Proceedings of the 2nd International Workshop on Security and Communication Networks. IEEE, 2010. p. 1-7.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  72. Published

    Black-Box Search by Unbiased Variation. / Lehre, Per Kristian; Witt, Carsten.

    In: GECCO 2010: Portland, Oregon, USA. 2010. p. 1441-1448.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  73. Published

    Building Multi-Agent Systems Using Jason. / Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Annals of Mathematics and Artificial Intelligence, Vol. 59, No. 3-4, 2010, p. 373-388.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  74. Published

    Computing an Ontological Semantics for a Natural Language Fragment. / Szymczak, Bartlomiej Antoni; Nilsson, Jørgen Fischer (Supervisor); Jensen, Per Anker (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. 295 p. (IMM-PHD-2010; No. 242).

    Publication: Research › Ph.d. thesis – Annual report year: 2010

  75. E-pub ahead of print

    Crossover Can Be Constructive When Computing Unique Input Output Sequences. / Lehre, Per Kristian; Yao, Xin.

    In: Soft Computing, 2010.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  76. Published

    Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

    In: SOFSEM 2010: Theory and Practice of Computer Science. Springer, 2010. p. 188-199 (Lecture Notes in Computer Science, Vol. 5901).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  77. Published

    Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, Rene Rydhof.

    In: Information and Computation, Vol. 208, No. 5, 2010, p. 433-449.

    Publication: Research - peer-review › Conference article – Annual report year: 2010

  78. Published

    Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10). ed. / Michael Wooldridge. 2010. p. 695-700 (Frontiers in Artificial Intelligence and Applications; No. 215).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  79. Published

    Model-Checking CTL* over Flat Presburger Counter Systems. / Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert.

    In: Journal of Applied Non-Classical Logics, Vol. 20, No. 4, 2010, p. 313-344.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  80. Published

    Multi-Agent Programming Contest 2010 - The Jason-DTU Team. / Villadsen, Jørgen; Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Vester, Steen.

    1010.0145 ed. Kgs. Lyngby : Technical University of Denmark, 2010. 4 p.

    Publication: Research - peer-review › Report – Annual report year: 2010

  81. Published

    Nabla: A Linguistic System Based on Type Theory. / Villadsen, Jørgen.

    LIT Verlag Dr. Wilhelm Hopf, 2010. 232 p. (Foundations of Communication and Cognition; No. 3).

    Publication: Research - peer-review › Book – Annual report year: 2010

  82. Published

    Nominalistic Logic. / Villadsen, Jørgen.

    In: World Congress and School on Universal Logic. 2010. p. 84-85.

    Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2010

  83. Published

    On the Effect of Populations in Evolutionary Multi-Objective Optimisation. / Giel, Oliver; Lehre, Per Kristian.

    In: Evolutionary Computation, Vol. 18, No. 3, 2010, p. 335-356.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  84. Published

    Preface. / Bolander, Thomas; Braüner, Torben.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.

    Publication: Research › Conference article – Annual report year: 2011

  85. Published

    Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark 12-14 November 2009. / Bolander, Thomas (Editor); Braüner, Torben (Editor).

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-262.

    Publication: Research - peer-review › Conference abstract in journal – Annual report year: 2010

  86. Published

    Quasirandom evolutionary algorithms. / Doerr, Benjamin; Fouz, Mahmoud; Witt, Carsten.

    In: GECCO 2010: Portland, Oregon, USA. 2010. p. 1457-1464.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  87. Published

    Regular Expression Matching with Multi-Strings and Intervals. / Bille, Philip; Thorup, Mikkel.

    In: Symposium on Discrete Algorithms. 2010.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  88. Published

    Runtime analysis of a binary particle swarm optimizer. / Sudholt, Dirk; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 21, 2010, p. 2084-2100.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  89. E-pub ahead of print

    Runtime analysis of the (1+1) EA on computing unique input output sequences. / Lehre, Per Kristian; Yao, Xin.

    In: Information Sciences, 2010.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  90. Published

    String Matching with Variable Length Gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    In: String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010. Springer, 2010. p. 385-394 (Lecture Notes in Computer Science; No. 6393).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  91. Published

    Tableau-Based Decision Procedures for Logics of Strategic Ability in Multiagent Systems. / Goranko, Valentin; Shkatov, Dmitry.

    In: ACM Transactions on Computational Logic, Vol. 11, No. 1, 2010, p. 3.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  92. Published

    Tableau tool for testing satisfiability in LTL: Implementation and experimental analysis. / Goranko, Valentin; Kyrilov, Angelo; Shkatov, Dmitry.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 113-125.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  93. Published

    Tableaux for Logics of Subinterval Structures over Dense Orderings. / Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro.

    In: Journal of Logic and Computation, Vol. 20, No. 1, 2010, p. 133-166.

    Publication: Research - peer-review › Conference article – Annual report year: 2010

  94. Published

    Theoretical properties of two ACO approaches for the traveling salesman problem. / Kötzing, Timo; Neumann, Frank; Röglin, Heiko; Witt, Carsten.

    In: Ant Colony Optimization and Swarm Intelligence - ANTS 2010. 2010. (Lecture Notes in Computer Science; No. 6234).

    Publication: Research - peer-review › Book chapter – Annual report year: 2010

  95. Published

    Theory of randomised search heuristics in combinatorial optimisation. / Witt, Carsten.

    In: GECCO 2010: Portland, Oregon, USA - Companion Material. 2010. p. 2795-2840.

    Publication: Research › Book chapter – Annual report year: 2010

  96. Published

    Two approaches to termination and completeness of hybrid tableaus. / Bolander, Thomas.

    In: Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010. 2010.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

  97. Published

    Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 65-81.

    Publication: Research - peer-review › Journal article – Annual report year: 2010

  98. 2009
  99. Published

    Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. / Conradie, W.; Goranko, Valentin; Vakarelov, D.

    In: Fundamenta Informaticae, Vol. 92, No. 4, 2009, p. 307-343.

    Publication: Research - peer-review › Journal article – Annual report year: 2009

  100. Published

    Analysis of Diversity-Preserving Mechanisms for Global Exploration. / Friedrich, Tobias; Oliveto, Pietro S.; Sudholt, Dirk; Witt, Carsten.

    In: Evolutionary Computation, Vol. 17, No. 4, 2009, p. 455-476.

    Publication: Research - peer-review › Journal article – Annual report year: 2009

  101. Published

    Developing Artificial Herders Using Jason. / Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009. ed. / Jürgen Dix; Michael Fisher; Peter Novák. Clausthal, Germany : IfI, 2009. p. 193-197.

    Publication: Research - peer-review › Book chapter – Annual report year: 2009

  102. Published

    Faster Regular Expression Matching. / Bille, Philip; Thorup, Mikkel.

    In: International Colloquium on Automata, Languages and Programming. 2009.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  103. Published

    Fast Searching in Packed Strings. / Bille, Philip.

    In: Combinatorial Pattern Matching. 2009. p. 116-126 (Lecture Notes in Computer Science, Vol. 5577).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  104. Published

    Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben (Editor); Bolander, Thomas (Editor).

    Springer Science+Business Media B.V., 2009. (Journal of Logic, Language and Information; No. 18(4)).

    Publication: Research - peer-review › Book – Annual report year: 2009

  105. Published

    Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts. / Bille, Philip; Fagerberg, Rolf; Gørtz, Inge Li.

    In: A C M Transactions on Algorithms, Vol. 6, No. 1, 2009, p. article number 3.

    Publication: Research - peer-review › Journal article – Annual report year: 2009

  106. Published

    Infinite-Valued Propositional Type Theory for Semantics. / Villadsen, Jørgen.

    In: Dimensions of Logical Concepts. ed. / Jean-Yves Béziau; Alexandre Costa-Leite. Campinas, Brazil : UNICAMP, 2009. p. 277-297 (Coleção CLE; No. 54).

    Publication: Research - peer-review › Book chapter – Annual report year: 2009

  107. Published

    Logik, computere og kunstig intelligens. / Bolander, Thomas; Nilsson, Jørgen Fischer; Villadsen, Jørgen.

    In: Matematiske horisonter. Kgs. Lyngby : DTU Informatics, Building 321, 2009. p. 218-233.

    Publication: Education › Book chapter – Annual report year: 2009

  108. Published

    Matching Subsequences in Trees. / Bille, Philip; Gørtz, Inge Li.

    In: Journal of Discrete Algorithms, Vol. 7, No. 3, 2009, p. 306-314.

    Publication: Research - peer-review › Journal article – Annual report year: 2009

  109. Published

    Minimum Makespan Multi-vehicle Dial-a-Ride. / Gørtz, Inge Li; Nagarajan, Viswanath; Ravi, R.

    In: Algorithms - ESA 2009. Springer, 2009. p. 540-552 (Lecture Notes in Computer Science; No. Volume 5757/2009).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  110. Published

    ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies. / Nilsson, Jørgen Fischer; Szymczak, Bartlomiej Antoni; Jensen, P.A.

    In: Flexible Query Answering Systems: 8th International Conference, Fqas 2009. Berlin : Springer, 2009. (Lecture Notes in Artificial Intelligence; No. 5822).

    Publication: Research - peer-review › Book chapter – Annual report year: 2009

  111. Published

    Ontological semantics in modified categorial grammar. / Szymczak, Bartlomiej Antoni.

    In: International Multiconference on Computer Science and Information Technology, 2009. IMCSIT '09. IEEE, 2009. p. 295-298.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  112. Published

    Preface : Hybrid Logic: Dedicated to the Memory of Volker Weber. / Braüner, Torben; Bolander, Thomas.

    In: Journal of Logic, Language and Information, Vol. 18, No. 4, 2009, p. 435-436.

    Publication: Research - peer-review › Editorial – Annual report year: 2009

  113. Published

    Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. / Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Annals of Pure and Applied Logic, Vol. 161, No. 3, 2009, p. 289-304.

    Publication: Research - peer-review › Journal article – Annual report year: 2009

  114. Published

    Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. / Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'2009). IEEE Computer Society Press, 2009. p. 240-249.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  115. Published

    Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. / Goranko, Valentin; Shkatov, Dmitry.

    In: Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. ed. / Matteo Baldoni. RWTH Aachen University, 2009. p. 25 (CEUR Workshop Proceedings; No. vol. 494).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  116. Published

    Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.

    In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.

    Publication: Research - peer-review › Conference article – Annual report year: 2009

  117. Published

    Undecidability of Interval Temporal Logics with the Overlap Modality. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Proceedings of the 16h International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2009. p. 88-95.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

  118. 2008
  119. Published

    Light, Matter, and Geometry : The Cornerstones of Appearance Modelling. / Frisvad, Jeppe Revall; Christensen, Niels Jørgen (Supervisor); Falster, Peter (Supervisor).

    2008. (IMM-PHD-2008-188).

    Publication: Research › Ph.d. thesis – Annual report year: 2008

  120. Published

    A Common Framework for Board Games and Argumentation Games. / Lundström, Jenny Eriksson; Hamfelt, Andreas; Nilsson, Jørgen Fischer.

    In: Procs. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008. ed. / Y. Kiyoki; T. Tokuda. 2008. p. 317-328.

    Publication: Research › Article in proceedings – Annual report year: 2008

  121. Published

    A rule-sceptic characterization of acceptable legal arguments. / Lundström, Jenny Eriksson; Hamfelt, Andreas; Nilsson, Jørgen Fischer.

    In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford University, California, USA. 2008. p. 283-284.

    Publication: Research › Article in proceedings – Annual report year: 2008

  122. Published

    Asymmetric k-Center with Minimum Coverage. / Gørtz, Inge Li.

    In: Information Processing Letters, Vol. 105, No. 4, 2008, p. 144-149.

    Publication: Research - peer-review › Journal article – Annual report year: 2008

  123. Published

    Complete account of randomness in the EPR-Bohm-Bell experiment. / Avis, David; Fischer, Paul; Hilbert, Astrid; Khrennikov, Andrei.

    In: arXiv, 2008.

    Publication: Research › Journal article – Annual report year: 2008

  124. Published

    Experimental Data Does Not Violate Bell's Inequality for "Right Kolmogorov Space''. / Fischer, Paul; Avis, David; Hilbert, Astrid; Khrennikov, Andrei.

    In: AIP Proceedings. American Institute of Physics, 2008.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

  125. Published

    Faults Analysis in Distributed Systems: Quantitative Estimation of Reliability and Resource Requirements. / Sellberg, Chrtistian; Hansen, Michael Reichhardt; Fischer, Paul.

    In: Third International Conference on Software and Data Technologies. Vol. Software Engineering Institute for Systems and Technologies of Information, Control and Communication, 2008. p. 45-52.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

  126. Published

    Many-Valued Hybrid Logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.

    In: Advances in Modal Logic. Vol. 7 College Publications, 2008. p. 111-132.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

  127. Published

    Nominalistic Logic (Extended Abstract). / Villadsen, Jørgen.

    Computing Research Repository (CoRR), 2008.

    Publication: Research - peer-review › Report – Annual report year: 2008

  128. Published

    Nominalistic Logic: From Naive Set Theory to Intensional Type Theory. / Villadsen, Jørgen.

    In: New Approaches to Classes and Concepts — Studies in Logic. ed. / Klaus Robering. Vol. 14 College Publications, 2008. p. 57-85.

    Publication: Research - peer-review › Book chapter – Annual report year: 2008

  129. Published

    On Reducing Relationships to Property Ascriptions. / Nilsson, Jørgen Fischer.

    In: Proc. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008. ed. / Y. Kiyoki; T. Tokuda. Tsukuba, Japan, 2008. p. 249-256.

    Publication: Research › Article in proceedings – Annual report year: 2008

  130. Published

    Proceedings of the 5th International Workshop on Constraints and Language Processing (CSLP 2008). / Villadsen, Jørgen (Editor); Christiansen, Henning (Editor).

    Roskilde University, 2008. 94 p. (Computer Science Research Reports; No. 122).

    Publication: Research - peer-review › Report – Annual report year: 2008

  131. Published

    Self-reference. / Bolander, Thomas.

    In: Stanford Encyclopedia of Philsophy. CSLI Publications/Center for the Study of Language & Information, 2008.

    Publication: Research - peer-review › Book chapter – Annual report year: 2008

  132. 2007
  133. Published

    Specifying Geographic Information - Ontology, Knowledge Representation, and Formal Constraints. / Christensen, Jesper Vinther; Jacobi, Ole (Supervisor); Bjørner, Dines (Supervisor); Nilsson, Jørgen Fischer (Supervisor); Frederiksen, Poul (Supervisor).

    2007. (IMM-PHD-2007-178).

    Publication: Research › Ph.d. thesis – Annual report year: 2007

  134. Published

    Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts. / Bille, Philip; Fagerberg, Rolf; Gørtz, Inge Li.

    In: Combinatorial Pattern Matching, Proceedings. Springer, 2007. p. 52-62 (Lecture Notes in Computer Science, Vol. 4580).

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

  135. Published

    Preface : For the proceedings of the International Workshop on Hybrid Logic 2006 (HyLo). / Blackburn, P.; Bolander, Thomas; Braüner, T.; de Paiva, V.; Villadsen, Jørgen.

    In: Electronic Notes in Theoretical Computer Science, Vol. 174, No. 6, 2007, p. 1–2.

    Publication: Research - peer-review › Editorial – Annual report year: 2007

  136. Published

    Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). / Blackburn, Patrick (Editor); Bolander, Thomas (Editor); Braüner, Torben (Editor); de Paiva, Valeria (Editor); Villadsen, Jørgen (Editor).

    Elsevier, 2007. (Electronic Notes in Theoretical Computer Science; No. 174).

    Publication: Research - peer-review › Book – Annual report year: 2007

  137. 2006
  138. Published

    Ontological Constitutions for Classes and Properties. / Nilsson, Jørgen Fischer (Invited author).

    In: 14th Int. Conf. on Conceptual Structures, ICCS 2006. Vol. Lecture Notes in Artificial Intelligence (LNAI), vol. 4068 2006.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2006

  139. Published

    Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.

    Publication: Research - peer-review › Journal article – Annual report year: 2006

Anker Engelunds Vej 1Building 101A2800 Kgs. LyngbyTel +45 45 25 25 25VAT 30 06 09 46EAN