The following pages link to Miika Hannula (Q269504):
Displayed 30 items.
- On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Probabilistic team semantics (Q1647487) (← links)
- Polyteam semantics (Q1709702) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Automated reasoning about key sets (Q1799066) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- Facets of distribution identities in probabilistic team semantics (Q2296714) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Approximation and Dependence via Multiteam Semantics (Q2807084) (← links)
- Hierarchies in Inclusion Logic with Lax Semantics (Q2937394) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Hierarchies in independence logic (Q2958527) (← links)
- Reasoning About Embedded Dependencies Using Inclusion Dependencies (Q3460037) (← links)
- Complexity of Propositional Logics in Team Semantic (Q4608724) (← links)
- On the Interaction of Inclusion Dependencies with Independence Atoms (Q4645737) (← links)
- (Q5015279) (← links)
- (Q5111196) (← links)
- Polyteam semantics (Q5140328) (← links)
- Descriptive complexity of real computation and probabilistic independence logic (Q5145662) (← links)
- Hierarchies in independence and inclusion logic with strict semantics (Q5262488) (← links)
- (Q5376655) (← links)
- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies (Q5404957) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- Complexity thresholds in inclusion logic (Q5919492) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- Controlling entity integrity with key sets (Q6098153) (← links)
- Validity and Entailment in Modal and Propositional Dependence Logics (Q6276530) (← links)
- Facets of Distribution Identities in Probabilistic Team Semantics (Q6311162) (← links)