-
1
Query Answering with Transitive and Linear-Ordered Data
Veröffentlicht in The Journal of artificial intelligence research
VolltextArtikel -
2
Definability and Interpolation within Decidable Fixpoint Logics
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
3
Inference from Visible Information and Background Knowledge
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
4
Effective Interpolation and Preservation in Guarded Logics
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
5
Definability and Interpolation within Decidable Fixpoint Logics
Veröffentlicht in arXiv.org
VolltextArtikel -
6
INFERENCE FROM VISIBLE INFORMATION AND BACKGROUND KNOWLEDGE
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
7
-
8
-
9
-
10
Query Answering with Transitive and Linear-Ordered Data
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
Query Answering with Transitive and Linear-Ordered Data
Veröffentlicht in arXiv.org
VolltextArtikel -
14
Inference From Visible Information And Background Knowledge
Veröffentlicht in arXiv.org
VolltextArtikel -
15
Effect of A1C and Glucose on Postoperative Mortality in Noncardiac and Cardiac Surgeries
Veröffentlicht in Diabetes care
VolltextArtikel -
16
-
17
-
18
-
19
-
20