Scientific publications from Algorithms and Logic section

Fast Arc-Annotated Subsequence Matching in Linear Space

Bille, Philip ; Gørtz, Inge Li

in journal: Algorithmica (ISSN: 0178-4617) (DOI: http://dx.doi.org/10.1007/s00453-010-9451-8), vol: 62, issue: 1-2, pages: 209-223, 2012

Type: Journal article - Journal article

DOI: 10.1007/s00453-010-9451-8

Longest Common Extensions via Fingerprinting

Bille, Philip ; Gørtz, Inge Li ; Kristensen, Jesper

part of: Language and Automata Theory and Applications (ISBN: 978-3-642-28331-4), pages: 119-130, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: The 6th International Conference on Language and Automata Theory and Applications, LATA, Coruña

DOI: 10.1007/978-3-642-28332-1_11

Stochastic vehicle routing with recourse

Gørtz, Inge Li ; Nagarajan, Viswanath ; Saket, Rishi

part of: Automata, Languages, and Programming (ISBN: 978-3-642-31593-0), pages: 411-423, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: Automata, Languages, and Programming. 39th International Colloquium, ICALP 2012, Warwick

DOI: 10.1007/978-3-642-31594-7_35

String Indexing for Patterns With Wildcards

Bille, Philip ; Gørtz, Inge Li ; Vildhøj, Hjalte Wedel ; Vind, Søren Juhl

part of: Algorithm Theory – SWAT 2012 (ISBN: 978-3-642-31154-3), pages: 283-294, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 13th Scandinavian Symposium and Workshops on Algorithm Theory, Helsinki

DOI: 10.1007/978-3-642-31155-0_25

Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach

Ettienne, Mikko Berggren ; Vester, Steen ; Villadsen, Jørgen

part of: Programming Multi-Agent Systems (ISBN: 978-3-642-31914-3), pages: 185-196, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 9th International Workshop on Programming Multi-Agent Systems, ProMAS2011, Taipei

DOI: 10.1007/978-3-642-31915-0_11

Optimizing Linear Functions with Randomized Search Heuristics - The Robustness of Mutation

Witt, Carsten

part of: 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012) (ISBN: 978-3-939897-35-4), pages: 420-431, 2012,

Type: Article in proceedings - Article in proceedings

Presented at: 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012), Paris

DOI: 10.4230/LIPIcs.STACS.2012.420

Conditional Epistemic Planning

Andersen, Mikkel Birkegaard ; Bolander, Thomas ; Jensen, Martin Holm

part of: Logics in Artificial Intelligence (ISBN: 978-3-642-33352-1), pages: 94-106, 2012, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse

DOI: 10.1007/978-3-642-33353-8_8

On the Analysis of the Simple Genetic Algorithm

Oliveto, Pietro S. ; Witt, Carsten

part of: Proceedings of the fourteenth international conference on Genetic and evolutionary computation (ISBN: 978-1-4503-1177-9), pages: 1341-1348, 2012, ACM,

Type: Article in proceedings - Article in proceedings

Presented at: Genetic and Evolutionary Computation Conference (GECCO 2012), Philadelphia

DOI: 10.1145/2330163.2330349

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

part of: Proceedings of the 8th International CDIO Conference, 2012,

Type: Article in proceedings - Article in proceedings

Presented at: 8th International CDIO Conference, Brisbane

Logic for physical space

Aiello, Marco ; Bezhanishvili, Guram ; Bloch, Isabelle ; Goranko, Valentin

in journal: Synthese (ISSN: 0039-7857) (DOI: http://dx.doi.org/10.1007/s11229-011-9913-9), vol: 186, issue: 3, pages: 619-632, 2012

Type: Journal article - Journal article

DOI: 10.1007/s11229-011-9913-9

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 journal: Interest Group in Pure and Applied Logics. Logic Journal (ISSN: 1367-0751), 2012

Type: Journal article - Journal article

Implementing a Multi-Agent System in Python

Ettienne, Mikko Berggren ; Vester, Steen ; Villadsen, Jørgen

part of: Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions, pages: 147-179, 2012, Technische Universität Clausthal,

Type: Report chapter - Report chapter

Engineering Multiagent Systems - Reflections

Villadsen, Jørgen

in journal: Dagstuhl Reports (ISSN: 2192-5283) (DOI: http://dx.doi.org/10.4230/DagRep.2.8.74), vol: 2, issue: 8, pages: 87, 2012

Type: Conference abstract in journal - Conference abstract in journal

Presented at: Engineering Multi-Agent Systems, Wadern

DOI: 10.4230/DagRep.2.8.74

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 journal: C O P D (ISSN: 1541-2555) (DOI: http://dx.doi.org/10.3109/15412555.2012.685118), vol: 9, issue: 5, pages: 458-465, 2012

Type: Journal article - Journal article

DOI: 10.3109/15412555.2012.685118

Runtime analysis of the 1-ANT ant colony optimizer

Doerr, Benjamin ; Neumann, Frank ; Sudholt, Dirk ; Witt, Carsten

in journal: Theoretical Computer Science (ISSN: 0304-3975) (DOI: http://dx.doi.org/10.1016/j.tcs.2010.12.030), vol: 412, issue: 17, pages: 1629-1644, 2011

Type: Journal article - Journal article

DOI: 10.1016/j.tcs.2010.12.030

From Frustration to Success: A Case-Study in Advanced Design-Build Experiences

Bolander, Thomas ; Fischer, Paul ; Hansen, Thomas Kjærgård

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

Type: Conference abstract in proceedings - Conference abstract in proceedings

Presented at: 7th International CDIO Conference, Copenhagen

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

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

Type: Article in proceedings - Article in proceedings

Presented at: 7th International CDIO Conference, Copenhagen

DOI: 10.4122/1.1000054694

Epistemic planning for single- and multi-agent systems

Bolander, Thomas ; Andersen, Mikkel Birkegaard

in journal: Journal of Applied Non-Classical Logics (ISSN: 1166-3081) (DOI: http://dx.doi.org/10.3166/jancl.21.9-34), vol: 21, issue: 1, pages: 9-34, 2011

Type: Journal article - Journal article

DOI: 10.3166/jancl.21.9-34

Theory of Randomized Search Heuristics in Combinatorial Optimization

Witt, Carsten

Type: Sound/Visual production (digital) - Sound/Visual production (digital)

Presented at: 13th Annual Conference on Genetic and Evolutionary Computation, Dublin

DOI: 10.1145/2001858.2002135

Capacitated Vehicle Routing with Non-Uniform Speeds

Gørtz, Inge Li ; Molinaro, Marco ; Nagarajan, Viswanath ; Ravi, R.

part of: Lecture Notes in Computer Science (ISBN: 9783642208065), pages: 235-247, 2011, Springer, Berlin

Type: Article in proceedings - Article in proceedings

Presented at: The 15th Conference on Integer Programming and Combinatorial Optimization

DOI: 10.1007/978-3-642-20807-2_19

Locating Depots for Capacitated Vehicle Routing

Gørtz, Inge Li ; Nagarajan, Viswanath

part of: Approximation, Randomization, and Combinatorial Optimization (ISBN: 978-3-642-22934-3), pages: 230-241, 2011, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, and the International Workshop on Randomization and Computation, Princeton, New Jersey, USA

DOI: 10.1007/978-3-642-22935-0_20

Fast searching in packed strings

Bille, Philip

in journal: Journal of Discrete Algorithms (Amsterdam) (ISSN: 1570-8667) (DOI: http://dx.doi.org/10.1016/j.jda.2010.09.003), vol: 9, issue: 1, pages: 49-56, 2011

Type: Journal article - Journal article

DOI: 10.1016/j.jda.2010.09.003

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

Della Monica, Dario ; Goranko, Valentin ; Sciavicco, Guido

in journal: Electronic Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2011.06.009), vol: 273, issue: 1, pages: 3-19, 2011

Type: Conference article - Conference article

Presented at: International Workshop on Hybrid Logic and Applications, Edinburgh

DOI: 10.1016/j.entcs.2011.06.009

Preface

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

in journal: Electronic Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2011.10.001), vol: 278, pages: 1-2, 2011

Type: Editorial - Editorial

DOI: 10.1016/j.entcs.2011.10.001

Classes and Theories of Trees Associated with a Class Of Linear Orders

Goranko, Valentin ; Kellerman, Ruaan

in journal: Interest Group in Pure and Applied Logics. Logic Journal (ISSN: 1367-0751) (DOI: http://dx.doi.org/10.1093/jigpal/jzq043), vol: 19, issue: 1, pages: 217-232, 2011

Type: Journal article - Journal article

DOI: 10.1093/jigpal/jzq043

Interval Temporal Logics

Monica, Dario Della ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido

in journal: European Association for Theoretical Computer Science. Bulletin (ISSN: 0252-9742), vol: 105, pages: 73-99, 2011

Type: Journal article - Journal article

Optimal Packed String Matching

Ben-Kiki, Oren ; Bille, Philip ; Breslauer, Dany ; Gasieniec, Leszek ; Grossi, Roberto ; Weimann, Oren

part of: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) (ISBN: 978-3-939897-34-7), pages: 423-432, 2011, Schloss Dagstuhl-Leibniz-Zentrum fuer Informati, Dagstuhl, Germany

Type: Article in proceedings - Article in proceedings

Presented at: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Mumbai

DOI: 10.4230/LIPIcs.FSTTCS.2011.423

Strategic Games and Truly Playable Effectivity Functions

Goranko, Valentin ; Jamroga, Wojtek ; Turrini, Paolo

part of: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011), 2011,

Type: Article in proceedings - Article in proceedings

Presented at: International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan

Improving Multi-Agent Systems Using Jason

Vester, Steen ; Boss, Niklas Skamriis ; Jensen, Andreas Schmidt ; Villadsen, Jørgen

in journal: Annals of Mathematics and Artificial Intelligence (ISSN: 1012-2443) (DOI: http://dx.doi.org/10.1007/s10472-011-9225-2), vol: 61, issue: 4, pages: 297-307, 2011

Type: Journal article - Journal article

DOI: 10.1007/s10472-011-9225-2

Regular Expression Matching with Multi-Strings and Intervals

Bille, Philip ; Thorup, Mikkel

part of: Symposium on Discrete Algorithms, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: Symposium on Discrete Algorithms

A few ants are enough: ACO with iteration-best update

Neumann, Frank ; Sudholt, Dirk ; Witt, Carsten

part of: GECCO 2010: Portland, Oregon, USA - Companion Material (ISBN: 978-1-4503-0072-5), pages: 63-70, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: Genetic and Evolutionary Computation Conference 2010, Portland, OR

Quasirandom evolutionary algorithms

Doerr, Benjamin ; Fouz, Mahmoud ; Witt, Carsten

part of: GECCO 2010: Portland, Oregon, USA (ISBN: 978-1-4503-0072-5), pages: 1457-1464, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: Genetic and Evolutionary Computation Conference 2010, Portland, OR

Theory of randomised search heuristics in combinatorial optimisation

Witt, Carsten

part of: GECCO 2010: Portland, Oregon, USA - Companion Material (ISBN: 978-1-4503-0073-5), pages: 2795-2840, 2010,

Type: Book chapter - Book chapter

Tableau tool for testing satisfiability in LTL: Implementation and experimental analysis

Goranko, Valentin ; Kyrilov, Angelo ; Shkatov, Dmitry

in journal: Electronic Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2010.04.009), vol: 262, pages: 113-125, 2010

Type: Journal article - Journal article

DOI: 10.1016/j.entcs.2010.04.009

Fast Arc-Annotated Subsequence Matching in Linear Space

Bille, Philip ; Gørtz, Inge Li

part of: SOFSEM 2010: Theory and Practice of Computer Science (ISBN: 978-3-642-11265-2), pages: 188-199, 2010, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn

DOI: 10.1007/978-3-642-11266-9_16

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

Conradie, Willem ; Goranko, Valentin ; Vakarelov, Dimiter

in journal: Journal of Applied Logic (ISSN: 1570-8683) (DOI: http://dx.doi.org/10.1016/j.jal.2010.08.002), vol: 8, issue: 4, pages: 319-333, 2010

Type: Journal article - Journal article

DOI: 10.1016/j.jal.2010.08.002

Hybrid Logical Analyses of the Ambient Calculus

Bolander, Thomas ; Hansen, Rene Rydhof

in journal: Information and Computation (ISSN: 0890-5401) (DOI: http://dx.doi.org/10.1016/j.ic.2009.01.006), vol: 208, issue: 5, pages: 433-449, 2010

Type: Conference article - Conference article

Presented at: 14th Workshop on Logic, Language, Information and Computation (WoLLIC), Rio de Janeiro

DOI: 10.1016/j.ic.2009.01.006

Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark 12-14 November 2009

Bolander, Thomas ; Braüner, Torben

in journal: Electronic Notes in Theoretical Computer Science, vol: 262, pages: 1-262, 2010

Type: Conference abstract in journal - Conference abstract in journal

Nabla: A Linguistic System Based on Type Theory

Villadsen, Jørgen

Type: Book - Book

Model-Checking CTL* over Flat Presburger Counter Systems

Demri, Stéphane ; Finkel, Alain ; Goranko, Valentin ; van Drimmelen, Govert

in journal: Journal of Applied Non-Classical Logics (ISSN: 1166-3081) (DOI: http://dx.doi.org/10.3166/JANCL.20.313–342), vol: 20, issue: 4, pages: 313-344, 2010

Type: Journal article - Journal article

DOI: 10.3166/JANCL.20.313–342

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability

Bresolin, Davide ; Della Monica, Dario ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido

part of: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10) (ISBN: 978-1-60750-605-8), pages: 695-700, 2010,

Type: Article in proceedings - Article in proceedings

Presented at: 19th European Conference on Artificial Intelligence, Lisbon

DOI: 10.3233/978-1-60750-606-5-695

Preface

Bolander, Thomas ; Braüner, Torben

in journal: Electronic Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2010.04.001), vol: 262, pages: 1-2, 2010

Type: Conference article - Conference article

Presented at: Workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark

DOI: 10.1016/j.entcs.2010.04.001

String Matching with Variable Length Gaps

Bille, Philip ; Gørtz, Inge Li ; Vildhøj, Hjalte Wedel ; Wind, David Kofoed

part of: String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010 (ISBN: 978-3-642-16320-3), pages: 385-394, 2010, Springer,

Type: Article in proceedings - Article in proceedings

Presented at: String Processing and Information Retrieval - 17th International Symposium

Multi-Agent Programming Contest 2010 - The Jason-DTU Team

Villadsen, Jørgen ; Boss, Niklas Skamriis ; Jensen, Andreas Schmidt ; Vester, Steen

Type: Report - Report

Logik, computere og kunstig intelligens

Bolander, Thomas ; Nilsson, Jørgen Fischer ; Villadsen, Jørgen

part of: Matematiske horisonter (ISBN: 978-87-643-0453-4), pages: 218-233, 2009, DTU Informatics, Building 321, Kgs. Lyngby

Type: Book chapter - Book chapter

Hybrid Logic: Dedicated to the Memory of Volker Weber

Braüner, Torben ; Bolander, Thomas

Type: Book - Book

Fast Searching in Packed Strings

Bille, Philip

part of: Combinatorial Pattern Matching (ISBN: 978-3-642-02440-5), pages: 116-126, 2009,

Type: Article in proceedings - Article in proceedings

Presented at: 20th Annual Symposium on Combinatorial Pattern Matching, Lille

DOI: 10.1007/978-3-642-02441-2_11

Matching Subsequences in Trees

Bille, Philip ; Gørtz, Inge Li

in journal: Journal of Discrete Algorithms (ISSN: 1570-8667) (DOI: http://dx.doi.org/10.1016/j.jda.2008.11.005), vol: 7, issue: 3, pages: 306-314, 2009

Type: Journal article - Journal article

DOI: 10.1016/j.jda.2008.11.005

Undecidability of Interval Temporal Logics with the Overlap Modality

Bresolin, Davide ; Della Monica, Dario ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido

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

Type: Article in proceedings - Article in proceedings

Presented at: 16h International Symposium on Temporal Representation and Reasoning

Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts

Bille, Philip ; Fagerberg, Rolf ; Gørtz, Inge Li

in journal: A C M Transactions on Algorithms (ISSN: 1549-6325) (DOI: http://dx.doi.org/10.1145/1644015.1644018), vol: 6, issue: 1, pages: article number 3, 2009

Type: Journal article - Journal article

DOI: 10.1145/1644015.1644018