메뉴 건너뛰기
IJCAI International Joint Conference on Artificial Intelligence
Volumn , Issue , 2003, Pages 1339-1340
A resolution theorem for algebraic domains
Author keywords

[No Author keywords available]
Indexed keywords

ALGEBRAIC DOMAINS; DOMAIN THEORY; KNOWLEDGE REPRESENTATION AND REASONING; LOGIC PROGRAMMING SYSTEMS;
EID: 77049123801     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)
References (4)
  • 1
    • 0001847686 scopus 로고
    • Domain theory
    • Samson Abramsky, Dov Gabbay, and Thomas S.E. Maibaum, editors, Clarendon, Oxford
    • Samson Abramsky and Achim Jung. Domain theory. In Samson Abramsky, Dov Gabbay, and Thomas S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3. Clarendon, Oxford, 1994.
    • (1994) Handbook of Logic in Computer Science , vol.3
    • Abramsky, S.1    Jung, A.2
  • 2
    • 84880817541 scopus 로고    scopus 로고
    • Generalized metrics and uniquely determined logic programs
    • To appear
    • Pascal Hitzler and Anthony K. Seda. Generalized metrics and uniquely determined logic programs. Theoretical Computer Science. To appear.
    • Theoretical Computer Science
    • Hitzler, P.1    Seda, A.K.2
  • 3
    • 84918983692 scopus 로고
    • A machine-oriented logic based on the resolution principle
    • J. Allan Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23-41, 1965.
    • (1965) Journal of the ACM , vol.12 , Issue.1 , pp. 23-41
    • Robinson, J.A.1
  • 4
    • 0035895134 scopus 로고    scopus 로고
    • Clausal logic and logic programming in algebraic domains
    • William C. Rounds and Guo-Qiang Zhang. Clausal logic and logic programming in algebraic domains. Information and Computation, 171(2):156-182,2001.
    • (2001) Information and Computation , vol.171 , Issue.2 , pp. 156-182
    • Rounds, W.C.1    Zhang, G.-Q.2

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