-
1
-
2
Domain-Independent Cost-Optimal Planning in ASP
Veröffentlicht in Theory and practice of logic programming
VolltextArtikel -
3
-
4
Three-valued semantics for hybrid MKNF knowledge bases revisited
Veröffentlicht in Artificial intelligence
VolltextArtikel -
5
-
6
-
7
Well-founded operators for normal hybrid MKNF knowledge bases
Veröffentlicht in Theory and practice of logic programming
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
The loop formula based semantics of description logic programs
Veröffentlicht in Theoretical computer science
VolltextArtikel -
15
-
16
-
17
-
18
-
19
-
20
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Veröffentlicht in arXiv.org
VolltextArtikel