Dansk

DTU.dk

Index

Contact

Phone book

Internal Pages

DTU Alumni

Søgeord

Education

DTU Informatics bookshop

Research

Image Analysis & Computer Graphics

Language-Based Technology

Mathematical Statistics

Industrial collaboration

Industrial collaboration

Public sector consultancy

Advanced Technology Foundation Projects

Continuing education

Model-based Software Engineering Center

MT-Lab

Ph.D. education

Software Development Center

Statistical Consulting Center

About DTU Informatics

About DTU Informatics

Contact

Employees

Facts about DTU Informatics

Getting to DTU Informatics

Alumni association (in Danish)

News

News

Scientific publications from Algorithms and Logic section

Sort by Filter	Published
1 2 Next
Theoretical analysis of two ACO approaches for the traveling salesman problem Kötzing, Timo ; Neumann, Frank ; Röglin, Heiko ; Witt, Carsten in journal: Swarm Intelligence (ISSN: 1935-3812) (DOI: http://dx.doi.org/10.1007/s11721-011-0059-7), vol: 6, issue: 1, pages: 1-21, 2012 Type: Journal article - Journal article DOI: 10.1007/s11721-011-0059-7	2012
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	2012
Fast and Cache-Oblivious Dynamic Programming with Local Dependencies Bille, Philip ; Stöckel, Morten part of: Language and Automata Theory and Applications (ISBN: 978-3-642-28331-4), pages: 131–142, 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_12	2012
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	2012
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	2011
Simplified Drift Analysis for Proving Lower Bounds in Evolutionary Computation Oliveto, Pietro S. ; Witt, Carsten in journal: Algorithmica (ISSN: 0178-4617) (DOI: http://dx.doi.org/10.1007/s00453-010-9387-z), vol: 59, issue: 3, pages: 369-386, 2011 Type: Journal article - Journal article DOI: 10.1007/s00453-010-9387-z	2011
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: International CDIO Conference, Lyngby, Denmark	2011
SyntaxTrain: Relieving the pain of learning syntax Moth, Andreas Leon Aagaard ; Villadsen, Jørgen ; Ben-Ari, Mordechai part of: ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science (ISBN: 9781450308878), 2011, Type: Article in proceedings - Article in proceedings Presented at: Annual Conference on Innovation and Technology in Computer Science Education, Darmstadt, Germany DOI: 10.1145/1999747.1999900	2011
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: International CDIO Conference, Lyngby, Denmark DOI: 10.4122/1.1000054694	2011
Active Learning in Large Classes Gørtz, Inge Li 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: International CDIO Conference, Lyngby, Denmark DOI: 10.4122/1.1000054561	2011
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	2011
Sharp Bounds by Probability-Generating Functions and Variable Drift Doerr, Benjamin ; Fouz, Mahmoud ; Witt, Carsten part of: Genetic and Evolutionary Computation Conference, GECCO'11 (ISBN: 978-1-4503-0557-0), pages: 2083-2090, 2011, ACM, Type: Article in proceedings - Article in proceedings Presented at: Annual Conference on Genetic and Evolutionary Computation, Dublin, Ireland DOI: 10.1145/2001576.2001856	2011
Theory of Randomized Search Heuristics in Combinatorial Optimization Witt, Carsten Type: Sound/Visual production (digital) - Sound/Visual production (digital) Presented at: Annual Genetic and Evolutionary Computation Conference, Dublin, Ireland DOI: 10.1145/2001858.2002135	2011
Edge-Matching Problems with Rotations Ebbesen, Martin ; Fischer, Paul ; Witt, Carsten part of: Fundamentals of Computation Theory (ISBN: 978-3-642-22952-7), pages: 114-125, 2011, Springer, Type: Article in proceedings - Article in proceedings Presented at: International Symposium on Fundamentals of Computation Theory, Oslo, Norway DOI: 10.1007/978-3-642-22953-4	2011
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	2011
The Tree Inclusion Problem: In Linear Space and Faster Bille, Philip ; Gørtz, Inge Li in journal: A C M Transactions on Algorithms (ISSN: 1549-6325) (DOI: http://dx.doi.org/10.1145/1978782.1978793), vol: 7, issue: 3, pages: 38, 2011 Type: Journal article - Journal article DOI: 10.1145/1978782.1978793	2011
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	2011
Substring Range Reporting Bille, Philip ; Gørtz, Inge Li part of: Combinatorial Pattern Matching (ISBN: 978-3-642-21457-8), pages: 299-308, 2011, Springer, Type: Article in proceedings - Article in proceedings Presented at: Annual Symposium on Combinatorial Pattern Matching, Palermo, Italy DOI: 10.1007/978-3-642-21458-5_26	2011
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	2011
Two-sorted Point-Interval Temporal Logics Balbiani, Philippe ; 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.10.004), vol: 278, issue: 1, pages: 31-45, 2011 Type: Conference article - Conference article Presented at: Workshop on Methods for Modalities and the Workshop on Logical Aspects of Multi-Agent Systems, Osuna, Spain DOI: 10.1016/j.entcs.2011.10.004	2011
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, Scotland, UK DOI: 10.1016/j.entcs.2011.06.009	2011
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 part of: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pages: 845-850, 2011, Type: Article in proceedings - Article in proceedings Presented at: International Joint Conference on Artificial Intelligence, Barcelona, Spain	2011
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	2011
The dark side of Interval Temporal Logic: sharpening the undecidability border Bresolin, Davide ; Monica, Dario Della ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido part of: 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) (ISBN: 978-1-4577-1242-5), pages: 131-138, 2011, Type: Article in proceedings - Article in proceedings Presented at: International Symposium on Temporal Representation and Reasoning, Lübeck, Germany DOI: 10.1109/TIME.2011.21	2011
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	2011
Logical Aspects of MAS - Foreword Goranko, Valentin ; Jamroga, Wojciech in journal: Journal of Applied Non-Classical Logics (ISSN: 1166-3081), vol: 21, issue: 1, pages: 7-8, 2011 Type: Editorial - Editorial	2011
Interval Temporal Logics: A Journey Monica, Dario Della ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido in journal: Bulletin of the European Association for Theoretical Computer Science EATCS, vol: 105, pages: 73-99, 2011 Type: Journal article - Journal article	2011
Querying Class-Relationship Logic in a Metalogic Framework Nilsson, Jørgen Fischer part of: Flexible Query Answering Systems (ISBN: 978-3-642-24763-7), pages: 96-107, 2011, Springer, Type: Article in proceedings - Article in proceedings Presented at: International Conference on Flexible Query Answering Systems,, Ghent, Belgium DOI: 10.1007/978-3-642-24764-4_9	2011
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, India DOI: 10.4230/LIPIcs.FSTTCS.2011.423	2011
Multi-Agent Programming Contest 2011 - The Python-DTU Team Villadsen, Jørgen ; Ettienne, Mikko Berggren ; Vester, Steen Type: Report - Report	2011
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	2011
Proceedings of the 6th International Workshop on Constraints and Language Processing Blache, Philippe ; Christiansen, Henning ; Dahl, Verónica ; Villadsen, Jørgen part of: Proceedings of the 6th International Workshop on Constraints and Language Processing, 2011, Roskilde University, Roskilde Type: Book chapter - Book chapter	2011
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	2011
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 part of: Flexible Query Answering Systems (ISBN: 978-3-642-24763-7), pages: 108-118, 2011, Springer, Type: Article in proceedings - Article in proceedings Presented at: International Conference on Flexible Query Answering Systems,, Ghent, Belgium DOI: 10.1007/978-3-642-24764-4_10	2011
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	2010
Tableaux for Logics of Subinterval Structures over Dense Orderings Bresolin, Davide ; Goranko, Valentin ; Montanari, Angelo ; Sala, Pietro in journal: Journal of Logic and Computation (ISSN: 0955-792X) (DOI: http://dx.doi.org/10.1093/logcom/exn063), vol: 20, issue: 1, pages: 133-166, 2010 Type: Conference article - Conference article Presented at: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Aix en Provence, FRANCE, DOI: 10.1093/logcom/exn063	2010
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: GECCO 2010	2010
Black-Box Search by Unbiased Variation Lehre, Per Kristian ; Witt, Carsten part of: GECCO 2010: Portland, Oregon, USA (ISBN: 978-1-4503-0072-5), pages: 1441-1448, 2010, Type: Article in proceedings - Article in proceedings Presented at: GECCO 2010	2010
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: GECCO 2010	2010
Runtime analysis of a binary particle swarm optimizer Sudholt, Dirk ; Witt, Carsten in journal: Theoretical Computer Science (ISSN: 0304-3975), vol: 411, issue: 21, pages: 2084-2100, 2010 Type: Journal article - Journal article	2010
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	2010
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings Bresolin, Davide ; Della Monica, Dario ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido in journal: Electronic Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2010.04.006), vol: 262, pages: 65-81, 2010 Type: Journal article - Journal article DOI: 10.1016/j.entcs.2010.04.006	2010
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	2010
Tableau-Based Decision Procedures for Logics of Strategic Ability in Multiagent Systems Goranko, Valentin ; Shkatov, Dmitry in journal: ACM Transactions on Computational Logic (ISSN: 1529-3785) (DOI: http://dx.doi.org/10.1145/1614431.1614434), vol: 11, issue: 1, pages: 3, 2010 Type: Journal article - Journal article DOI: 10.1145/1614431.1614434	2010
Fast Arc-Annotated Subsequence Matching in Linear Space Bille, Philip ; Gørtz, Inge Li part of: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in 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	2010
Ant Colony Optimization and the minimum spanning tree problem Neumann, Frank ; Witt, Carsten in journal: Theoretical Computer Science (ISSN: 0304-3975) (DOI: http://dx.doi.org/10.1016/j.tcs.2010.02.012), vol: 411, issue: 25, pages: 2406-2413, 2010 Type: Journal article - Journal article DOI: 10.1016/j.tcs.2010.02.012	2010
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	2010
Theoretical properties of two ACO approaches for the traveling salesman problem Kötzing, Timo ; Neumann, Frank ; Röglin, Heiko ; Witt, Carsten part of: Ant Colony Optimization and Swarm Intelligence - ANTS 2010, 2010, Type: Book chapter - Book chapter	2010
Hybrid Logical Analyses of the Ambient Calculus Bolander, Thomas ; Hansen, Rene Rydhof in journal: Information and Computation (DOI: http://dx.doi.org/10.1016/j.ic.2009.01.006), vol: 5, issue: 208, pages: 433-449, 2010 Type: Journal article - Journal article DOI: 10.1016/j.ic.2009.01.006	2010
Two approaches to termination and completeness of hybrid tableaus Bolander, Thomas part of: Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010, 2010, Type: Article in proceedings - Article in proceedings Presented at: International Workshop on Hybrid Logic and Applications	2010
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	2010
Nominalistic Logic Villadsen, Jørgen part of: World Congress and School on Universal Logic, pages: 84-85, 2010, Type: Conference abstract in proceedings - Conference abstract in proceedings Presented at: World Congress and School on Universal Logic	2010
Nabla: A Linguistic System Based on Type Theory Villadsen, Jørgen Type: Book - Book	2010
Bioinspired Computation in Combinatorial Optimization Neumann, Frank ; Witt, Carsten Type: Book - Book	2010
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	2010
Biometric template data protection in mobile device environment using XML-database Thirumathyam, Rubathas ; Derawi, Mohammad ; Fischer, Paul part of: Proceedings of the 2nd International Workshop on Security and Communication Networks (ISBN: 9781424469383), pages: 1-7, 2010, IEEE, Type: Article in proceedings - Article in proceedings Presented at: International Workshop on Security and Communication Networks DOI: 10.1109/IWSCN.2010.5497993	2010
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	2010
Approximating covering problems by randomized search heuristics using multi-objective models Friedrich, Tobias ; He, Jun ; Hebbinghaus, Niels ; Neumann, Frank ; Witt, Carsten in journal: Evolutionary Computation (DOI: http://dx.doi.org/10.1162/EVCO_a_00003), vol: 18, issue: 4, pages: 617-633, 2010 Type: Journal article - Journal article DOI: 10.1162/EVCO_a_00003	2010
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	2010
Computing an Ontological Semantics for a Natural Language Fragment Szymczak, Bartlomiej Antoni ; Nilsson, Jørgen Fischer ; Jensen, Per Anker Type: Ph.d. thesis - Ph.d. thesis	2010
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	2010
Building Multi-Agent Systems Using Jason 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-010-9181-2), vol: 59, issue: 3-4, pages: 373-388, 2010 Type: Journal article - Journal article DOI: 10.1007/s10472-010-9181-2	2010
Multi-Agent Programming Contest 2010 - The Jason-DTU Team Villadsen, Jørgen ; Boss, Niklas Skamriis ; Jensen, Andreas Schmidt ; Vester, Steen Type: Report - Report	2010
Terminating Tableau Calculi for Hybrid Logics extending K Bolander, Thomas ; Blackburn, Patrick in journal: Electronical Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2009.02.027), vol: 231, issue: 25 March 2009, pages: 21-39, 2009 Type: Conference article - Conference article Presented at: Methods for Modalities DOI: 10.1016/j.entcs.2009.02.027	2009
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	2009
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions Conradie, W. ; Goranko, Valentin ; Vakarelov, D. in journal: Fundamenta Informaticae (ISSN: 0169-2968) (DOI: http://dx.doi.org/10.3233/FI-2009-77), vol: 92, issue: 4, pages: 307-343, 2009 Type: Journal article - Journal article DOI: 10.3233/FI-2009-77	2009
Hybrid Logic: Dedicated to the Memory of Volker Weber Braüner, Torben ; Bolander, Thomas Type: Book - Book	2009
Infinite-Valued Propositional Type Theory for Semantics Villadsen, Jørgen part of: Dimensions of Logical Concepts (ISBN: 978-85-86497-05-6), pages: 277-297, 2009, UNICAMP, Campinas, Brazil Type: Book chapter - Book chapter	2009
Fast Searching in Packed Strings Bille, Philip part of: Combinatorial Pattern Matching (ISBN: 978-3-642-02440-5), 2009, Type: Article in proceedings - Article in proceedings Presented at: Combinatorial Pattern Matching DOI: 10.1007/978-3-642-02441-2_11	2009
Faster Regular Expression Matching Bille, Philip ; Thorup, Mikkel part of: International Colloquium on Automata, Languages and Programming, 2009, Type: Article in proceedings - Article in proceedings Presented at: International Colloquium on Automata, Languages and Programming	2009
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	2009
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions Bresolin, Davide ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido in journal: Annals of Pure and Applied Logic (ISSN: 0168-0072) (DOI: http://dx.doi.org/10.1016/j.apal.2009.07.003), vol: 161, issue: 3, pages: 289-304, 2009 Type: Journal article - Journal article DOI: 10.1016/j.apal.2009.07.003	2009
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	2009
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time Goranko, Valentin ; Shkatov, Dmitry part of: Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations, pages: 25, 2009, RWTH Aachen University, Type: Article in proceedings - Article in proceedings Presented at: 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations, Torino, Italy	2009
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: 3, 2009 Type: Journal article - Journal article DOI: 10.1145/1644015.1644018	2009
Minimum Makespan Multi-vehicle Dial-a-Ride Gørtz, Inge Li ; Nagarajan, Viswanath ; Ravi, R. part of: Algorithms - ESA 2009 (ISBN: 978-3-642-04127-3), pages: 540-552, 2009, Springer, Type: Article in proceedings - Article in proceedings Presented at: 17th European Symposium on Algorithms, København DOI: 10.1007/978-3-642-04128-0_48	2009
ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies Nilsson, Jørgen Fischer ; Szymczak, Bartlomiej Antoni ; Jensen, P.A. part of: Flexible Query Answering Systems: 8th International Conference, Fqas 2009, 2009, Springer, Berlin Type: Book chapter - Book chapter	2009
Analysis of Diversity-Preserving Mechanisms for Global Exploration Friedrich, Tobias ; Oliveto, Pietro S. ; Sudholt, Dirk ; Witt, Carsten in journal: Evolutionary Computation (ISSN: 1063-6560) (DOI: http://dx.doi.org/10.1162/evco.2009.17.4.17401), vol: 17, issue: 4, pages: 455-476, 2009 Type: Journal article - Journal article DOI: 10.1162/evco.2009.17.4.17401	2009
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths Bresolin, Davide ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido part of: Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'2009) (ISBN: 978-0-7695-3870-9), pages: 240-249, 2009, IEEE Computer Society Press, Type: Article in proceedings - Article in proceedings Presented at: 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam DOI: 10.1109/SEFM.2009.36	2009
Preface Braüner, Torben ; Bolander, Thomas in journal: Journal of Logic, Language and Information (ISSN: 0925-8531) (DOI: http://dx.doi.org/10.1007/s10849-009-9094-9), vol: 18, issue: 4, pages: 435-436, 2009 Type: Editorial - Editorial DOI: 10.1007/s10849-009-9094-9	2009
Developing Artificial Herders Using Jason Boss, Niklas Skamriis ; Jensen, Andreas Schmidt ; Villadsen, Jørgen part of: Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009, pages: 193-197, 2009, IfI, Clausthal, Germany Type: Book chapter - Book chapter	2009
A Common Framework for Board Games and Argumentation Games Lundström, Jenny Eriksson ; Hamfelt, Andreas ; Nilsson, Jørgen Fischer part of: Procs. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008, pages: 317-328, 2008, Type: Article in proceedings - Article in proceedings Presented at: Procs. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008	2008
Nominalistic Logic (Extended Abstract) Villadsen, Jørgen Type: Report - Report	2008
Complete account of randomness in the EPR-Bohm-Bell experiment Avis, David ; Fischer, Paul ; Hilbert, Astrid ; Khrennikov, Andrei in journal: arXiv, 2008 Type: Journal article - Journal article	2008
Asymmetric k-Center with Minimum Coverage Gørtz, Inge Li in journal: Information Processing Letters (ISSN: 0020-0190) (DOI: http://dx.doi.org/10.1016/j.ipl.2007.08.006), vol: 105, issue: 4, pages: 144-149, 2008 Type: Journal article - Journal article DOI: 10.1016/j.ipl.2007.08.006	2008
Self-reference Bolander, Thomas part of: Stanford Encyclopedia of Philsophy, 2008, CSLI Publications/Center for the Study of Language & Information, Type: Book chapter - Book chapter	2008
Many-Valued Hybrid Logic Hansen, Jens Ulrik ; Bolander, Thomas ; Braüner, Torben part of: Advances in Modal Logic (ISBN: 978-1-904987-68-0), pages: 111-132, 2008, College Publications, Type: Article in proceedings - Article in proceedings Presented at: Advances in Modal Logic, Nancy, France	2008
Faults Analysis in Distributed Systems: Quantitative Estimation of Reliability and Resource Requirements Sellberg, Chrtistian ; Hansen, Michael Reichhardt ; Fischer, Paul part of: Third International Conference on Software and Data Technologies, pages: 45-52, 2008, Institute for Systems and Technologies of Information, Control and Communication, Type: Article in proceedings - Article in proceedings Presented at: Third International Conference on Software and Data Technologies, Porto	2008
On Reducing Relationships to Property Ascriptions Nilsson, Jørgen Fischer part of: Proc. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008, pages: 249-256, 2008, Tsukuba, Japan Type: Article in proceedings - Article in proceedings Presented at: Proc. of the 18th European-Japanese Conference Information Modelling and Knowledge Bases, Tsukuba, Japan, June 2-6, 2008	2008
Proceedings of the 5th International Workshop on Constraints and Language Processing (CSLP 2008) Villadsen, Jørgen ; Christiansen, Henning Type: Report - Report	2008
A rule-sceptic characterization of acceptable legal arguments Lundström, Jenny Eriksson ; Hamfelt, Andreas ; Nilsson, Jørgen Fischer part of: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford University, California, USA, pages: 283-284, 2008, Type: Article in proceedings - Article in proceedings Presented at: 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
Light, Matter, and Geometry Frisvad, Jeppe Revall ; Christensen, Niels Jørgen ; Falster, Peter Type: Ph.d. thesis - Ph.d. thesis	2008
Experimental Data Does Not Violate Bell's Inequality for "Right Kolmogorov Space'' Fischer, Paul ; Avis, David ; Hilbert, Astrid ; Khrennikov, Andrei part of: AIP Proceedings, 2008, American Institute of Physics, Type: Article in proceedings - Article in proceedings Presented at: Foundations of Probability and Physics-5, Växjö, Sweden	2008
Nominalistic Logic: From Naive Set Theory to Intensional Type Theory Villadsen, Jørgen part of: New Approaches to Classes and Concepts — Studies in Logic (ISBN: 978-1-904987-85-7), pages: 57-85, 2008, College Publications, Type: Book chapter - Book chapter	2008
Proceedings of the International Workshop on Hybrid Logic (HyLo 2006) Blackburn, Patrick ; Bolander, Thomas ; Braüner, Torben ; de Paiva, Valeria ; Villadsen, Jørgen Type: Book - Book	2007
Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts Bille, Philip ; Fagerberg, Rolf ; Gørtz, Inge Li part of: Combinatorial Pattern Matching, Proceedings (ISBN: 978-3-540-73436-9), pages: 52-62, 2007, Springer, Type: Article in proceedings - Article in proceedings Presented at: Annual Symposium on Combinatorial Pattern Matching, London, CANADA,	2007
Specifying Geographic Information - Ontology, Knowledge Representation, and Formal Constraints Christensen, Jesper Vinther ; Jacobi, Ole ; Bjørner, Dines ; Nilsson, Jørgen Fischer ; Frederiksen, Poul Type: Ph.d. thesis - Ph.d. thesis	2007
Hybrid Logical Analyses of the Ambient Calculus Bolander, Thomas ; Hansen, Rene Rydhof in journal: Lecture Notes in Computer Science, vol: 4576, 2007 Type: Conference article - Conference article Presented at: Workshop on Logic, Language, Information, and Computation	2007
Proceedings of the International Workshop on Hybrid Logic (HyLo 2007) Villadsen, Jørgen ; Bolander, Thomas ; Braüner, Torben Type: Book - Book	2007
Preface Blackburn, P. ; Bolander, Thomas ; Braüner, T. ; de Paiva, V. ; Villadsen, Jørgen in journal: Electronic Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2006.11.021), vol: 174, issue: 6, 2007 Type: Editorial - Editorial DOI: 10.1016/j.entcs.2006.11.021	2007
1 2 Next

Search for more in DTU Orbit

Top

Asmussens Alle

DTU - Building 305

DK-2800 Lyngby

Tel +45 4525 3351

EAN 5798000430204