메뉴 건너뛰기




Volumn 199, Issue , 2009, Pages 51-63

Evolution prospection

Author keywords

[No Author keywords available]

Indexed keywords


EID: 65449158463     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-00909-9_6     Document Type: Conference Paper
Times cited : (71)

References (7)
  • 1
    • 38349064861 scopus 로고    scopus 로고
    • Pereira, L.M., Lopes, G.: Prospective Logic Agents. In: Neves, J., Santos,M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), 4874, pp. 73-86. Springer, Heidelberg (2007)
    • Pereira, L.M., Lopes, G.: Prospective Logic Agents. In: Neves, J., Santos,M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol. 4874, pp. 73-86. Springer, Heidelberg (2007)
  • 3
    • 3142681030 scopus 로고    scopus 로고
    • Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
    • Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Theory and Practice of Logic Programming 4(4), 383-428 (2004)
    • (2004) Theory and Practice of Logic Programming , vol.4 , Issue.4 , pp. 383-428
    • Alferes, J.J.1    Pereira, L.M.2    Swift, T.3
  • 4
    • 33745615178 scopus 로고    scopus 로고
    • Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), 3900, pp. 1-22. Springer, Heidelberg (2006)
    • Kowalski, R.: The logical way to be artificially intelligent. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 1-22. Springer, Heidelberg (2006)
  • 5
    • 65449148552 scopus 로고    scopus 로고
    • Pereira, L.M., Lopes, G., Dell'Acqua, P.: On Preferring and Inspecting Abductive Models. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS. Springer, Heidelberg (2009)
    • Pereira, L.M., Lopes, G., Dell'Acqua, P.: On Preferring and Inspecting Abductive Models. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS. Springer, Heidelberg (2009)
  • 7
    • 65449181478 scopus 로고    scopus 로고
    • XSB-PROLOG system freely
    • XSB-PROLOG system freely, http://xsb.sourceforge.net


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