메뉴 건너뛰기




Volumn 1, Issue , 1997, Pages 176-181

Learning extended logic programs

Author keywords

[No Author keywords available]

Indexed keywords

BACK-GROUND KNOWLEDGE; DEFAULT RULE; EXTENDED LOGIC; IDENTIFICATION ALGORITHMS; INCOMPLETE INFORMATION; NEGATIVE EXAMPLES; POSITIVE EXAMPLES; POSITIVE/NEGATIVE;

EID: 0342671720     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (42)

References (16)
  • 3
    • 19244381332 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.