-
1
-
2
-
3
The Expressive Power of Higher-Order Datalog
Veröffentlicht in Theory and practice of logic programming
VolltextArtikel -
4
-
5
-
6
Game semantics for non-monotonic intensional logic programming
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
7
Notions of Bisimulation for Heyting-Valued Modal Languages
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
8
A game-theoretic characterization of Boolean grammars
Veröffentlicht in Theoretical computer science
VolltextArtikel -
9
-
10
-
11
Well-founded semantics for Boolean grammars
Veröffentlicht in Information and computation
VolltextArtikel -
12
-
13
-
14
-
15
-
16
Strong equivalence of logic programs under the infinite-valued semantics
Veröffentlicht in Information processing letters
VolltextArtikel -
17
-
18
-
19
-
20