Vera Koponen

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2026

Random coloured digraphs defined by a Markov logic network

Yasmin Tousinejad, Vera Koponen

A Markov Logic Network (MLN) is a probabilistic relational model used in Statistical Relational Artificial Intelligence for defining a probability distribution on the set of possib…

math.LO2026

Notions of rank and independence in countably categorical theories

Vera Koponen

For an $I ¨ $ -categorical theory $T$ and model $M$ of $T$ we define a hierarchy of ranks, the $n$ -ranks for $n < I ¨ $ which only care about imaginary elements ``up to level…

math.LO2025

Random expansions of finite structures with bounded degree

Vera Koponen

We consider finite relational signatures $I ¨ \subseteq I ¨ $ , a sequence of finite base $I ¨ $ -structures $(B_{n} : n \in N)$ the cardinalities of which tend to infinit…