메뉴 건너뛰기




Volumn 3900 LNAI, Issue , 2006, Pages 1-22

The logical way to be artificially intelligent

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING (ALP); LOGICAL CONSEQUENCES; LOWER-LEVEL CONDITION-ACTION RULE; PRE-ACTIVE THINKING;

EID: 33745615178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_1     Document Type: Conference Paper
Times cited : (23)

References (17)
  • 4
    • 0000699514 scopus 로고    scopus 로고
    • The role of logic programming in abduction
    • Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.). Oxford University Press
    • Kakas, T., Kowalski, R., Toni, F.: The Role of Logic Programming in Abduction. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.): Handbook of Logic in Artificial Intelligence and Programming 5. Oxford University Press (1998) 235-324
    • (1998) Handbook of Logic in Artificial Intelligence and Programming , vol.5 , pp. 235-324
    • Kakas, T.1    Kowalski, R.2    Toni, F.3
  • 8
    • 0031187203 scopus 로고    scopus 로고
    • The independent choice logic for modeling multiple agents under uncertainty
    • Poole, D.L.: The independent choice logic for modeling multiple agents under uncertainty. Artificial Intelligence. Vol. 94 (1997) 7-56
    • (1997) Artificial Intelligence , vol.94 , pp. 7-56
    • Poole, D.L.1
  • 10
    • 0034342721 scopus 로고    scopus 로고
    • Dual-process models in social and cognitive psychology: Conceptual integration and links to underlying memory systems
    • Smith, E.R., DeCoster, J.: Dual-Process Models in Social and Cognitive Psychology: Conceptual Integration and Links to Underlying Memory Systems. Personality and Social Psychology Review. Vol. 4 (2000) 108-131
    • (2000) Personality and Social Psychology Review , vol.4 , pp. 108-131
    • Smith, E.R.1    DeCoster, J.2
  • 13
    • 0036466402 scopus 로고    scopus 로고
    • Control and cross-domain mental computation: Evidence from language breakdown
    • Frawley, W.: Control and Cross-Domain Mental Computation: Evidence from Language Breakdown. Computational Intelligence, 18(1), (2002) 1-28
    • (2002) Computational Intelligence , vol.18 , Issue.1 , pp. 1-28
    • Frawley, W.1
  • 14
    • 0035127989 scopus 로고    scopus 로고
    • Symbolic knowledge extraction from trained neural networks: A sound approach
    • d'Avila Garcez, A.S., Broda, K., Gabbay, D.M.: Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence 125 (2001) 155-207
    • (2001) Artificial Intelligence , vol.125 , pp. 155-207
    • D'Avila Garcez, A.S.1    Broda, K.2    Gabbay, D.M.3
  • 16
    • 33745593915 scopus 로고    scopus 로고
    • Semantic interpretation as computation in non-monotonic logic
    • Stenning, K., van Lambalgen, M.: Semantic interpretation as computation in non-monotonic logic. Cognitive Science (2006)
    • (2006) Cognitive Science
    • Stenning, K.1    Van Lambalgen, M.2
  • 17
    • 0010054374 scopus 로고
    • Database: Theory vs. interpretation
    • Gallaire, H.,Minker, J. (eds.). Plenum, New York
    • Nicolas, J.M., Gallaire, H.: Database: Theory vs. interpretation. In Gallaire, H.,Minker, J. (eds.): Logic and Databases. Plenum, New York (1978)
    • (1978) Logic and Databases
    • Nicolas, J.M.1    Gallaire, H.2


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