| Publication | Date of Publication | Type |
|---|
Logics with probabilistic team semantics and the Boolean negation
| 2024-05-29 | Paper |
Controlling entity integrity with key sets
Journal of Computer and System Sciences | 2023-06-12 | Paper |
On elementary logics for quantitative dependencies
Annals of Pure and Applied Logic | 2022-09-16 | Paper |
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Annals of Pure and Applied Logic | 2022-09-16 | Paper |
Complexity thresholds in inclusion logic
Information and Computation | 2022-06-13 | Paper |
On quantified propositional logics and the exponential time hierarchy
| 2021-12-07 | Paper |
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics in Artificial Intelligence | 2021-12-01 | Paper |
Descriptive complexity of real computation and probabilistic independence logic
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Polyteam semantics
Journal Of Logic And Computation | 2020-12-15 | Paper |
Validity and entailment in modal and propositional dependence logics
| 2020-05-26 | Paper |
Complexity thresholds in inclusion logic
Logic, Language, Information, and Computation | 2020-03-04 | Paper |
Facets of distribution identities in probabilistic team semantics
| 2020-02-18 | Paper |
scientific article; zbMATH DE number 7056228 (Why is no real title available?)
| 2019-05-17 | Paper |
On the interaction of inclusion dependencies with independence atoms
EPiC Series in Computing | 2019-01-10 | Paper |
Facets of Distribution Identities in Probabilistic Team Semantics
| 2018-12-14 | Paper |
Hierarchies in inclusion logic with lax semantics
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
Automated reasoning about key sets
| 2018-10-18 | Paper |
Approximation and dependence via multiteam semantics
Annals of Mathematics and Artificial Intelligence | 2018-09-21 | Paper |
Probabilistic team semantics
| 2018-06-26 | Paper |
Polyteam semantics
| 2018-04-06 | Paper |
Complexity of propositional logics in team semantic
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
Hierarchies in independence logic
| 2017-02-02 | Paper |
Validity and Entailment in Modal and Propositional Dependence Logics
| 2016-08-12 | Paper |
A finite axiomatization of conditional independence and inclusion dependencies
Information and Computation | 2016-07-07 | Paper |
Approximation and dependence via multiteam semantics
Lecture Notes in Computer Science | 2016-05-19 | Paper |
On the finite and general implication problems of independence atoms and keys
Journal of Computer and System Sciences | 2016-04-18 | Paper |
Reasoning about embedded dependencies using inclusion dependencies
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Complexity of Propositional Independence and Inclusion Logic
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Hierarchies in independence and inclusion logic with strict semantics
Journal Of Logic And Computation | 2015-07-15 | Paper |
Hierarchies in inclusion logic with lax semantics
Lecture Notes in Computer Science | 2015-01-09 | Paper |
Axiomatizing first-order consequences in independence logic
Annals of Pure and Applied Logic | 2014-10-27 | Paper |
A finite axiomatization of conditional independence and inclusion dependencies
Lecture Notes in Computer Science | 2014-03-31 | Paper |
