메뉴 건너뛰기




Volumn 2037, Issue , 2001, Pages 404-413

Belief revision by lamarckian evolution

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CHROMOSOMES; GENES; GENETIC ALGORITHMS; MULTI AGENT SYSTEMS;

EID: 84958052631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45365-2_42     Document Type: Conference Paper
Times cited : (3)

References (14)
  • 4
    • 0032046101 scopus 로고    scopus 로고
    • Przymusinski. "Classical" negation in nonmonotonic reasoning and logic programming
    • J. J. Alferes, L. M. Pereira, and T. C. Przymusinski. "Classical" negation in nonmonotonic reasoning and logic programming. Journal of Automated Reasoning, 20:107-142, 1998.
    • (1998) Journal of Automated Reasoning , vol.2 , pp. 107-142
    • Alferes, J.J.1    Pereira, L.M.2
  • 5
    • 71149116148 scopus 로고
    • The well-founded semantics for general logic programs
    • A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
    • (1991) Journal of the ACM , vol.38 , Issue.3 , pp. 620-650
    • Van Gelder, A.1    Ross, K.A.2    Schlipf, J.S.3
  • 8
    • 0022327141 scopus 로고
    • Accelerated ATPG and fault grading via testability analysis
    • The ISCAS85 benchmark netlist are
    • F. Brglez, P. Pownall, and R. Hum. Accelerated ATPG and fault grading via testability analysis. In Proceedings of IEEE Int. Symposium on Circuits and Systems, pages 695-698, 1985. The ISCAS85 benchmark netlist are available via ftp mcnc.mcnc.org.
    • (1985) Proceedings of IEEE Int. Symposium on Circuits and Systems , pp. 695-698
    • Brglez, F.1    Pownall, P.2    Hum, R.3


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