8 citations · 24 across the 16 of their papers we have counts for
20 papers
A characterization of the finite model property for -categorical theories
Vera Koponen
A first-order theory has the {\em finite model property} if every first-order sentence that is implied by has a finite model. We give a characterization of when a complete…
A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
Vera Koponen, Felix Weitkämper
We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination…
On the relative asymptotic expressivity of inference frameworks
Vera Koponen, Felix Weitkämper
We consider logics with truth values in the unit interval . Such logics are used to define queries and to define probability distributions. In this context the notion of alm…
Asymptotic elimination of partially continuous aggregation functions in directed graphical models
Vera Koponen, Felix Weitkämper
In Statistical Relational Artificial Intelligence, a branch of AI and machine learning which combines the logical and statistical schools of AI, one uses the concept {\em para\-met…
Conditional probability logic, lifted bayesian networks and almost sure quantifier elimination
Vera Koponen
We introduce a formal logical language, called conditional probability logic (CPL), which extends first-order logic and which can express probabilities, conditional probabilities a…
Supersimple omega-categorical theories and pregeometries
Vera Koponen
We prove that if is an -categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals wh…