-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
Logic Programming: Proceedings of the 1990 North American Conference
Veröffentlicht in Science of computer programming
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Method
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
19
Logic Programming: Proceedings of the North American Conference, 1989
Veröffentlicht in Machine translation
VolltextReview -
20
Logic Programming: Proceedings of the Sixth International Conference
Veröffentlicht in Machine translation
VolltextReview