Search

AlMoTh 2022

Schirrmacher Nicole Schirrmacher Separator logic and disjoint-paths logic Separator logic FO+conn and disjoint-paths logic FO+DP are extensions of first-order logic FO by connectivity predicates conn_k and [...] For the resulting logic we show that for every class of structures for which isomorphism is definable, the logic automatically captures PTime. To do so we argue that, in this logic, definable isomorphism [...] Fixpoint Logic Fixpoint Logic with Chop (FLC) extends the modal $\mu$-calculus with an operator for sequential composition between predicate transformers. This makes it an expressive modal fixpoint logic which

Section: FB3

Relevance:

100%

Externally Funded Research Projects

are often specified by logical means. A famous example of an algorithmic meta-theorem is Courcelle’s Theorem, stating that every property definable in monadic second-order logic can be decided in linear [...] class of graphs of bounded treewidth. A similar result for first-order logic states that every property definable in first-order logic can be decided in almost linear time on every nowhere dense class of [...] : Sebastian Siebertz Project term: March 2021 - March 2024. First-order and monadic second-order logic play important roles in computer science. Besides the traditional connections with finite automata

Section: FB3

Relevance:

98%

Winter 2024/25

the first part of the lecture we develop axiomatic set theory (ZFC) in the framework of first-order logic, which forms the foundation of modern mathematics. We cover the axioms of set theory, ordinal numbers [...] mathematical structures, such as groups, fields, or graphs, from the point of view of mathematical logic. Many notions, such as homomorphisms, substructures, or free structures, that are commonly studied [...] models with desired properties from first-order theories and the expressive power of first-order logic. Sparsity - Graphs and algorithms 03-IMVT-SGA Vorlesung ECTS: 6 Termine: wöchentlich Mo 14:00 - 16:00

Section: FB3

Relevance:

86%

Prof. Dr. Sebastian Siebertz

uniform sparsity. I am also interested in logical methods in computer science. One of my favourite problems is the model-checking problem for first-order logic. In collaboration with Martin Grohe and Stephan [...] of Dagstuhl seminar Sparsity in Algorithms, Combinatorics and Logic Program committees FoSSaCS 2020 MFCS 2020 CSL 2018 Highlights of Logics Games and Automata 2018 LICS 2021 IPEC 2021 Hightlights 2021 [...] Algorithmic Graph Structure Theory, in particular the theory of sparse and structurally sparse grap. Logic in Computer Science, in particular first-order model-checking, query evaluation, enumeration, and

Section: FB3

Relevance:

86%

Research Seminar

Mendez will speak in our seminar about First-order transductions of graphs on February 17, 9:00 am. Logical methods in Computer Science have a long history, as witnessed e.g. by the relative longevity of SQL [...] in relational database management. More recently, Courcelle’s theorem, which combines second-order logic and tree decompositions of graphs, showed that a many NP-complete algorithmic problems in graph theory [...] ns, which are a way to encode a graph within a structure using coloring and monadic second-order logic formulas. In this presentation we consider first-order transductions, for which the formulas have

Section: FB3

Relevance:

85%

Winter 2023/24

the first part of the lecture we develop axiomatic set theory (ZFC) in the framework of first-order logic, which forms the foundation of modern mathematics. We cover the axioms of set theory, ordinal numbers [...] mathematical structures, such as groups, fields, or graphs, from the point of view of mathematical logic. Many notions, such as homomorphisms, substructures, or free structures, that are commonly studied [...] models with desired properties from first-order theories and the expressive power of first-order logic. Sparsity - Graphs and algorithms 03-IMVT-SGA (03-ME-602.21) Vorlesung ECTS: 6 Termine: wöchentlich

Section: FB3

Relevance:

85%

Winter 2022/23

the first part of the lecture we develop axiomatic set theory (ZFC) in the framework of first-order logic, which forms the foundation of modern mathematics. We cover the axioms of set theory, ordinal numbers [...] mathematical structures, such as groups, fields, or graphs, from the point of view of mathematical logic. Many notions, such as homomorphisms, substructures, or free structures, that are commonly studied [...] models with desired properties from first-order theories and the expressive power of first-order logic. Sparsity - Graphs and algorithms 03-IMVT-SGA (03-ME-602.21) Vorlesung ECTS: 6 Termine: wöchentlich

Section: FB3

Relevance:

84%

Project Description

algorithms. These conditions are typically linked to the descriptive complexity of the problems (via logic) and the structural properties of their inputs (via combinatorics). AMTs, while infrequent, are precious [...] additional key secondary parameters. This multivariate approach allows to flexibly take into account the logical and structural conditions that are typically encountered in problem parametrizations. Parameterized

Section: FB3

Relevance:

83%

Summer 2024

Summer 2024 Logik Logic 03-IBAT-LO (03-BB-605.01) Kurs ECTS: 6 Termine: wöchentlich Di 08:00 - 10:00 MZH 5500 Kurs wöchentlich Mi 14:00 - 16:00 MZH 5600 Kurs Profil: SQ, KIKR https://lvb.informatik.uni-bremen [...] 1380/1400 Übung Einzeltermine: Mi 12.06.24 08:00 - 09:30 MZH 1090 Beschreibungslogik Description Logic 03-IMAT-BL (03-MB-605.01) Kurs ECTS: 6 Termine: wöchentlich Di 10:00 - 12:00 MZH 1470 Kurs wöchentlich

Section: FB3

Relevance:

80%

Dr. Felix Hommelsheim

Scandinavian Workshop on Algorithm Theory (SWAT) 2022. Fixed-Parameter Algorithms for Graph Constraint Logic Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Mühlenthaler, Akira [...] Mühlenthaler, Akira Suzuki: Theoretical Computer Science. Fixed-parameter algorithms for graph constraint logic Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Mühlenthaler, Akira

Section: FB3

Relevance:

76%

Narrow Search

Page type

Scope

AlMoTh 2022

Externally Funded Research Projects

Winter 2024/25

Prof. Dr. Sebastian Siebertz

Research Seminar

Winter 2023/24

Winter 2022/23

Project Description

Summer 2024

Dr. Felix Hommelsheim