## Algorithms and Logic

Former organisational unit. 31/12/2012.

• ## Department of Informatics and Mathematical Modeling

Close

### Organisation profile

Algorithms and Logic section (Algolog)

The research area of the Algorithms and Logic section is the scientific foundation for constructing robust, efficient, and intelligent software applications based on mathematically sound solutions. Two crucial aspects when designing efficient software are large data sets and intrinsically hard problems. The naive algorithm or data structure usually only suffices for solving small scale problems. A simple search engine can easily index the contents of a drive on a personal computer, but indexing the web is much more difficult. Similarly, an autonomous robot can plan its actions optimally by an exhaustive state space search only if the number of possible actions and states is very limited. Thus more advanced algorithms/methods are needed to solve these problems. In software applications for complex problems, often some degree of intelligence is needed in addition to efficiency. Intelligence means that the software is able to collect and categorize knowledge, do logical reasoning, learn from experiences, and communicate and negotiate with other software applications. The scientific foundation for such applications includes computational logic and logic-based AI.

The research of the Algorithm and Logic section covers:

• Algorithmics: Algorithmics is the part of computer science that deals with the design and analysis of algorithms and data structures and constitutes the scientific foundation for reasoning about resources used in computing such as time and space. This covers both the design and analysis of efficient algorithms solving concrete problems, and also with identifying common patterns of problems and associated algorithmic paradigms that can lead to efficient solutions for classes of problems.

The section’s research in this area includes: Approximation algorithms, stochastic search algorithms/heuristics, algorithms for statistics, data structures, and pattern matching.

• Computational Logic: Computational logic is the study of logic and logical methods within computer science. Logic is the study of valid inferences, and in computational logic it is studies how to automate such inferences on a computer. Computational logic is used for the specification and verification of software and hardware systems, for topics in databases and programming languages, and for logic-based AI, such as automated reasoning and knowledge-based systems.

The section’s research in this area includes: Modal logic, hybrid logic, temporal and interval logics for specification and verification, tableau-based logical decision procedures, higher-order logic, non-classical logic, array-based logic and systems, algorithms for proof systems, multi-agent systems, knowledge-based systems, formal ontologies, and argumentation theory using ontological semantics.

Further information: Algolog Wiki

### Contact information

Asmussens Alle
305
DK-2800
Kgs. Lyngby
Denmark
• Phone: +45 4525 3351
• Fax: +45 4588 2673

(130)
• Published

## Implementing a Multi-Agent System in Python

Research output: Chapter in Book/Report/Conference proceedingReport chapter – Annual report year: 2012Researchpeer-review

• Published

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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2012Researchpeer-review

• Published

## Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Research output: Contribution to journalJournal article – Annual report year: 2012Researchpeer-review

• ## Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier, Netherlands

BFI (2020): BFI-level 1, Scopus rating (2018): CiteScore 0.79 SJR 0.286 SNIP 0.74, ISI indexed (2013): ISI indexed no, Web of Science (2019): Indexed yes

Central database

Journal

• ## Algorithmica

ISSNs: 0178-4617

Springer New York, United States

BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 1.42 SJR 0.667 SNIP 1.354, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

Central database

Journal

• ## Theoretical Computer Science

ISSNs: 0304-3975

Elsevier B.V., Netherlands

BFI (2020): BFI-level 2, Scopus rating (2018): CiteScore 1.23 SJR 0.494 SNIP 1.072, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

Central database

Journal

(7)
• ## AK24syv

Press/Media: Press / Media

• ## Videnskabernes Verden på P1

Press/Media: Press / Media

• ## Deadline 17 på DR2

Press/Media: Press / Media

• ## Association for Computing Machinery

BFI (2020): BFI-level 1

Central database

Publisher

• ## IEEE

BFI (2020): BFI-level 1

Central database

Publisher

• ## Springer

BFI (2020): BFI-level 1

Central database

Publisher

• ## Theory of Randomized Search Heuristics in Combinatorial Optimization

Research output: Non-textual formSound/Visual production (digital) – Annual report year: 2011Research

520
• ## Visual time series analysis

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2012Researchpeer-review

439
• ## Computing an Ontological Semantics for a Natural Language Fragment

Research output: Book/ReportPh.D. thesis – Annual report year: 2010Research

382
• ## Biometric template data protection in mobile device environment using XML-database

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2010Researchpeer-review

315
• ## CDIO Projects in DTU’s B.Eng. in IT Study Program

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2011Researchpeer-review

279
Select render style:
ShortLong
PDF