-
1
-
2
-
3
What we can learn from conflicts in propositional satisfiability
Veröffentlicht in Annals of operations research
VolltextArtikel -
4
-
5
-
6
-
7
-
8
-
9
On the Discovery of Frequent Gradual Patterns: A Symbolic AI-Based Framework
Veröffentlicht in SN computer science
VolltextArtikel -
10
-
11
A Framework for Reasoning About Uncertainty in Ontologies
Veröffentlicht in IEEE intelligent systems
VolltextArtikel -
12
-
13
Mining Top-k motifs with a SAT-based framework
Veröffentlicht in Artificial intelligence
VolltextArtikel -
14
-
15
Mining Closed High Utility Itemsets based on Propositional Satisfiability
Veröffentlicht in Data & knowledge engineering
VolltextArtikel -
16
-
17
SAT-based models for overlapping community detection in networks
Veröffentlicht in Computing
VolltextArtikel -
18
-
19
Mining Negatives Association Rules Using Constraints
Veröffentlicht in Procedia computer science
VolltextArtikel -
20