메뉴 건너뛰기




Volumn 38, Issue 1, 2000, Pages 63-87

Strategies in combined learning via logic programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; KNOWLEDGE REPRESENTATION; LEARNING ALGORITHMS; LOGIC PROGRAMMING; SET THEORY;

EID: 0033906996     PISSN: 08856125     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1007681906490     Document Type: Article
Times cited : (22)

References (47)
  • 1
    • 0040085666 scopus 로고
    • SLX - A top-down derivation procedure for programs with explicit negation
    • M. Bruynooghe, (Ed.), The MIT Press
    • Alferes, J. J. Damásio, C. V., & Pereira, L. M. (1994). SLX - A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, (Ed.), Proc. Int. Symp. on Logic Programming. The MIT Press.
    • (1994) Proc. Int. Symp. on Logic Programming
    • Alferes, J.J.1    Damásio, C.V.2    Pereira, L.M.3
  • 4
    • 0039514019 scopus 로고
    • Non-monotonic learning
    • S. Muggleton, (Ed.), Academic Press
    • Bain, M. & Muggleton, S. (1992). Non-monotonic learning. In S. Muggleton, (Ed.), Inductive logic programming (pp. 145-161). Academic Press.
    • (1992) Inductive Logic Programming , pp. 145-161
    • Bain, M.1    Muggleton, S.2
  • 5
    • 19244381332 scopus 로고
    • Logic programming and knowledge representation
    • Baral, C. & Gelfond, M. (1994). Logic programming and knowledge representation. Journal of logic programming, 79(20), 73-148.
    • (1994) Journal of Logic Programming , vol.79 , Issue.20 , pp. 73-148
    • Baral, C.1    Gelfond, M.2
  • 7
    • 0011370634 scopus 로고
    • REVISE: An extended logic programming system for revising knowledge bases
    • J. Doyle, E. Sandewall & P. Torasso, (Eds.), Morgan Kaufmann
    • Damásio, C. V., Nejdl, W., & Pereira, L. M. (1994). REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall & P. Torasso, (Eds.), Knowledge representation and reasoning (pp. 607-618). Morgan Kaufmann.
    • (1994) Knowledge Representation and Reasoning , pp. 607-618
    • Damásio, C.V.1    Nejdl, W.2    Pereira, L.M.3
  • 9
    • 0004802182 scopus 로고    scopus 로고
    • A survey on paraconsistent semantics for extended logic programs
    • D. Gabbay & P. Smets, (Eds.), Kluwer Academic Publishers
    • Damásio, C. V & Pereira, L. M. (1998). A survey on paraconsistent semantics for extended logic programs. In D. Gabbay & P. Smets, (Eds.), Handbook of defeasible reasoning and uncertainty management systems (Vol. 2, pp. 241-320). Kluwer Academic Publishers.
    • (1998) Handbook of Defeasible Reasoning and Uncertainty Management Systems , vol.2 , pp. 241-320
    • Damásio, C.V.1    Pereira, L.M.2
  • 14
    • 0342671724 scopus 로고
    • Interactive concept learning and constructive induction by analogy
    • De Raedt, L. & Bruynooghe, M. (1992). Interactive concept learning and constructive induction by analogy. Machine Learning, 8(2), 107-150.
    • (1992) Machine Learning , vol.8 , Issue.2 , pp. 107-150
    • De Raedt, L.1    Bruynooghe, M.2
  • 15
    • 84974750342 scopus 로고
    • A classification-theory of semantics of normal logic programs: I & II
    • Dix, J. (1995). A classification-theory of semantics of normal logic programs: I & II. Fundamenta Informaticae, XXII(3), 227-255, 257-288.
    • (1995) Fundamenta Informaticae , vol.22 , Issue.3 , pp. 227-255
    • Dix, J.1
  • 16
    • 84955617687 scopus 로고    scopus 로고
    • Prolegomena to logic programming and non-monotonic reasoning
    • J. Dix, L. M. Pereira & T. Przymusinski, (Eds.), LNAI Germany: Springer-Verlag
    • Dix, J., Pereira, L. M., & Przymusinski, T. (1997). Prolegomena to logic programming and non-monotonic reasoning. In J. Dix, L. M. Pereira & T. Przymusinski, (Eds.), Non-Monotonie Extensions of Logic Programming -Selected papers from NMELP'96. LNAI (Vol. 1216, pp. 1-36). Germany: Springer-Verlag.
    • (1997) Non-Monotonie Extensions of Logic Programming -Selected Papers from NMELP'96 , vol.1216 , pp. 1-36
    • Dix, J.1    Pereira, L.M.2    Przymusinski, T.3
  • 18
    • 4243346231 scopus 로고
    • Master's Thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana
    • Džeroski, S. (1991). Handling noise in inductive logic programming. Master's Thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana.
    • (1991) Handling Noise in Inductive Logic Programming
    • Džeroski, S.1
  • 20
    • 0001119421 scopus 로고
    • The stable model semantics for logic programming
    • R. Kowalski & K. A. Bowen (Eds.), MIT Press
    • Gelfond, M. & Lifschitz, V (1988). The stable model semantics for logic programming. In R. Kowalski & K. A. Bowen (Eds.), Proceedings of the 5th Int. Conf. on Logic Programming (pp. 1070-1080) MIT Press.
    • (1988) Proceedings of the 5th Int. Conf. on Logic Programming , pp. 1070-1080
    • Gelfond, M.1    Lifschitz, V.2
  • 22
    • 84990617036 scopus 로고
    • Explicitly biased generalization
    • Gordon, D. & Perlis, D. (1989). Explicitly biased generalization. Computational Intelligence, 5(2), 67-81.
    • (1989) Computational Intelligence , vol.5 , Issue.2 , pp. 67-81
    • Gordon, D.1    Perlis, D.2
  • 24
    • 51749106754 scopus 로고    scopus 로고
    • Learning abductive and nonmonotonic logic programs
    • (submitted for publication). P. A. Flach & A. C. Kakas, (Eds.), Kluwer
    • Inoue, K. (submitted for publication). Learning abductive and nonmonotonic logic programs. In P. A. Flach & A. C. Kakas, (Eds.), Abductive and inductive reasoning, pure and applied logic. Kluwer.
    • Abductive and Inductive Reasoning, Pure and Applied Logic
    • Inoue, K.1
  • 28
    • 0342671721 scopus 로고    scopus 로고
    • Agents learning in a three-valued setting
    • University of Bologna
    • Lamma, E., Riguzzi, F., & Pereira, L. M. (1999). Agents learning in a three-valued setting. Technical Report, DEIS - University of Bologna.
    • (1999) Technical Report, DEIS
    • Lamma, E.1    Riguzzi, F.2    Pereira, L.M.3
  • 29
    • 85086808825 scopus 로고    scopus 로고
    • Strategies in combined learning via logic programs
    • to appear
    • Lamma, E., Riguzzi, F., & Pereira, L. M. (to appear). Strategies in combined learning via logic programs. Machine Learning.
    • Machine Learning
    • Lamma, E.1    Riguzzi, F.2    Pereira, L.M.3
  • 30
    • 0344457898 scopus 로고
    • Sub-unification: A tool for efficient induction of recursive programs
    • D. Sleeman & P. Edwards, (Eds.), Morgan Kaufmann
    • Lapointe, S. & Matwin, S. (1992). Sub-unification: A tool for efficient induction of recursive programs. In D. Sleeman & P. Edwards, (Eds.), Proceedings of the 9th International Workshop on Machine Learning (pp. 273-281). Morgan Kaufmann.
    • (1992) Proceedings of the 9th International Workshop on Machine Learning , pp. 273-281
    • Lapointe, S.1    Matwin, S.2
  • 34
    • 0003046840 scopus 로고
    • A theory and methodology of inductive learning
    • R. Michalski, J. Carbonell & T. Mitchell, (Eds.), Springer-Verlag
    • Michalski, R. (1984). A theory and methodology of inductive learning. In R. Michalski, J. Carbonell & T. Mitchell, (Eds.), Machine Learning - an artificial intelligence approach (Vol. 1, pp. 83-134). Springer-Verlag.
    • (1984) Machine Learning - An Artificial Intelligence Approach , vol.1 , pp. 83-134
    • Michalski, R.1
  • 36
    • 0342514647 scopus 로고
    • Machine invention of first-order predicates by inverting resolution
    • S. Muggleton, (Ed.), Academic Press
    • Muggleton, S. & Buntine, W. (1992). Machine invention of first-order predicates by inverting resolution. In S. Muggleton, (Ed.), Inductive Logic programming (pp. 261-280). Academic Press.
    • (1992) Inductive Logic Programming , pp. 261-280
    • Muggleton, S.1    Buntine, W.2
  • 40
    • 0001602577 scopus 로고
    • A note on inductive generalization
    • Edinburgh University Press
    • Plotkin, G. (1970). A note on inductive generalization. Machine Intelligence (Vol. 5, pp. 153-163). Edinburgh University Press.
    • (1970) Machine Intelligence , vol.5 , pp. 153-163
    • Plotkin, G.1
  • 42
    • 0001172265 scopus 로고
    • Learning logical definitions from relations
    • Quinlan, J. (1990). Learning logical definitions from relations. Machine Learning, 5, 239-266.
    • (1990) Machine Learning , vol.5 , pp. 239-266
    • Quinlan, J.1
  • 44
    • 0002726244 scopus 로고
    • On closed-word data bases
    • H. Gallaire & J. Minker, (Eds.), Plenum Press
    • Reiter, R. (1978). On closed-word data bases. In H. Gallaire & J. Minker, (Eds.), Logic and data bases (pp. 55-76). Plenum Press.
    • (1978) Logic and Data Bases , pp. 55-76
    • Reiter, R.1
  • 46
    • 71149116148 scopus 로고
    • The well-founded semantics for general logic programs
    • Van Gelder, A., Ross, K. A., & Schlipf, J. S. (1991). The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 620-650.
    • (1991) Journal of the ACM , vol.38 , Issue.3 , pp. 620-650
    • Van Gelder, A.1    Ross, K.A.2    Schlipf, J.S.3


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