-
3
-
-
19244381332
-
Logic programming and knowledge representation
-
Chitta Baral and Michael Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19/20:73-148, 1994.
-
(1994)
Journal of Logic Programming
, vol.19-20
, pp. 73-148
-
-
Baral, C.1
Gelfond, M.2
-
5
-
-
84867817493
-
Learning logic programs with negation as failure
-
Luc De Raedt, editor, K.U. Leuven
-
F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo. Learning logic programs with negation as failure. In: Luc De Raedt, editor, Proceedings of ILP-95, pages 33-51, K.U. Leuven, 1995.
-
(1995)
Proceedings of ILP-95
, pp. 33-51
-
-
Bergadano, F.1
Gunetti, D.2
Nicosia, M.3
Ruffo, G.4
-
6
-
-
0038921565
-
On negation and three-valued logic in interactive concept-learning
-
Pitman
-
Luc De Raedt and Maurice Bruynooghe. On negation and three-valued logic in interactive concept-learning. In: Proceedings of ECAI '90, pages 207-212, Pitman, 1990.
-
(1990)
Proceedings of ECAI '90
, pp. 207-212
-
-
De Raedt, L.1
Bruynooghe, M.2
-
7
-
-
84948980648
-
Learning non-monotonic logic programs: Learning exceptions
-
Nada Lavrac and Stefan Wrobel, editors, Proceedings of ECML-95, Springer
-
Yannis Dimopoulos and Antonis Kakas. Learning non-monotonic logic programs: learning exceptions. In: Nada Lavrac and Stefan Wrobel, editors, Proceedings of ECML-95, pages 122-137, LNAI 912, Springer, 1995.
-
(1995)
LNAI
, vol.912
, pp. 122-137
-
-
Dimopoulos, Y.1
Kakas, A.2
-
8
-
-
77951505493
-
Classical negation in logic programs and disjunctive databases
-
Michael Gelfond and Vladimir Lifsitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3,4):365-385, 1991.
-
(1991)
New Generation Computing
, vol.9
, Issue.3-4
, pp. 365-385
-
-
Gelfond, M.1
Lifsitz, V.2
-
11
-
-
0344597939
-
A three-valued framework for the induction of general logic programs
-
Luc De Raedt, editor, IOS Press
-
Lionel Martin and Christel Vrain. A three-valued framework for the induction of general logic programs. In: Luc De Raedt, editor, Advances in Inductive Logic Programming, pages 219-235, IOS Press, 1996.
-
(1996)
Advances in Inductive Logic Programming
, pp. 219-235
-
-
Martin, L.1
Vrain, C.2
-
14
-
-
49149147322
-
A logic for default reasoning
-
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 81-132
-
-
Reiter, R.1
-
16
-
-
84974758950
-
On the proper definition of minimality in specialization and theory revision
-
Pavel B. Brazdil, editor, Proceedings of ECML-93, Springer
-
Stefan WrobeL On the proper definition of minimality in specialization and theory revision. In: Pavel B. Brazdil, editor, Proceedings of ECML-93,ages 65-82, LNAI 667, Springer, 1993.
-
(1993)
LNAI
, vol.667
, pp. 65-82
-
-
WrobeL, S.1
|