-
1
MFF: An effective method of solving the ill regions in stereo matching
Veröffentlicht in IET computer vision
VolltextArtikel -
2
Satisfiability Threshold of Random Propositional S5 Theories
Veröffentlicht in Axioms
VolltextArtikel -
3
Hamming Distance Encoding Multihop Relation Knowledge Graph Completion
Veröffentlicht in IEEE access
VolltextArtikel -
4
QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion
Veröffentlicht in Knowledge-based systems
VolltextArtikel -
5
Knowledge forgetting in propositional μ-calculus
Veröffentlicht in Annals of mathematics and artificial intelligence
VolltextArtikel -
6
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
Veröffentlicht in Information sciences
VolltextArtikel -
7
Knowledge forgetting in propositional [mu]-calculus
Veröffentlicht in Annals of mathematics and artificial intelligence
VolltextArtikel -
8
-
9
-
10
-
11
-
12
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
Veröffentlicht in arXiv.org
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20