Pages that link to "Item:Q1855210"
From MaRDI portal
The following pages link to Horn approximations of empirical data (Q1855210):
Displaying 28 items.
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics (Q507531) (← links)
- On the Boolean connectivity problem for Horn relations (Q608293) (← links)
- Approximate inference of functional dependencies from relations (Q672339) (← links)
- Horn axiomatizations for sequential data (Q870272) (← links)
- Translation among CNFs, characteristic models and ordered binary decision diagrams (Q1007523) (← links)
- Defaults and relevance in model-based reasoning (Q1127354) (← links)
- Double Horn functions (Q1271644) (← links)
- Semantical and computational aspects of Horn approximations (Q1575175) (← links)
- Ordered binary decision diagrams as knowledge-bases (Q1605409) (← links)
- The complexity of theory revision (Q1606294) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Reasoning with ordered binary decision diagrams (Q1878409) (← links)
- Bidual Horn functions and extensions (Q1961447) (← links)
- Approximate computation of exact association rules (Q2117123) (← links)
- Optimizations in computing the Duquenne-Guigues basis of implications (Q2248528) (← links)
- Probably approximately correct learning of Horn envelopes from queries (Q2286380) (← links)
- What makes propositional abduction tractable (Q2389658) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- From equivalence queries to PAC learning: the case of implication theories (Q2658016) (← links)
- On the hardness of approximate reasoning (Q2674206) (← links)
- Horn representation of a concept lattice (Q3631392) (← links)
- On the Merge of Factor Canonical Bases (Q5445333) (← links)
- On the difference of Horn theories (Q5929916) (← links)
- Symbolic knowledge extraction from trained neural networks: A sound approach (Q5940782) (← links)
- Mining ℰℒ⊥ Bases with Adaptable Role Depth (Q6135964) (← links)
- Matroid Horn functions (Q6187338) (← links)
- Learning Horn envelopes via queries from language models (Q6577653) (← links)
