메뉴 건너뛰기




Volumn , Issue , 2000, Pages 263-270

Speculative computation by abduction under incomplete communication environments

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING;

EID: 84962089262     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICMAS.2000.858462     Document Type: Conference Paper
Times cited : (44)

References (11)
  • 2
    • 0022189405 scopus 로고
    • Speculative Computation, Parallelism, and Functional Programming
    • Burton, F. W., "Speculative Computation, Parallelism, and Functional Programming", IEEE Transactions on Computers, vol. c-34 pp. 1190-1193 (1985).
    • (1985) IEEE Transactions on Computers , vol.C-34 , pp. 1190-1193
    • Burton, F.W.1
  • 3
    • 0002061313 scopus 로고
    • Abduction Compared with Negation by Failure
    • Eshghi, K., Kowalski, R. A., "Abduction Compared with Negation by Failure", Proceedings of ICLP'89, pp. 234-254 (1989).
    • (1989) Proceedings of ICLP'89 , pp. 234-254
    • Eshghi, K.1    Kowalski, R.A.2
  • 4
    • 0010220984 scopus 로고
    • Experiment with Speculative Parallelism in Parlog
    • Gregory, S., "Experiment with Speculative Parallelism in Parlog", Proceedings of ILPS'93, pp. 370-387 (1993).
    • (1993) Proceedings of ILPS'93 , pp. 370-387
    • Gregory, S.1
  • 8
    • 85158073093 scopus 로고
    • A Formal Theory of Multiple Agent Nonmonotonic Reasoning
    • Morgenstern, L., "A Formal Theory of Multiple Agent Nonmonotonic Reasoning", Proceedings of AAAI'90, pp. 538-544 (1990).
    • (1990) Proceedings of AAAI'90 , pp. 538-544
    • Morgenstern, L.1
  • 9
    • 0031187203 scopus 로고    scopus 로고
    • The Independent Choice Logic for Modeling Multiple Agents under Uncertainty
    • Poole, D., "The Independent Choice Logic for Modeling Multiple Agents under Uncertainty", Artificial Intelligence, 94(1-2), pp. 7-56 (1997).
    • (1997) Artificial Intelligence , vol.94 , Issue.1-2 , pp. 7-56
    • Poole, D.1
  • 10
    • 0001599027 scopus 로고
    • On the Declarative Semantics of Stratified Deductive Databases and Logic Programs
    • Morgan Kaufmann Publishers
    • Przymusinski, T., "On the Declarative Semantics of Stratified Deductive Databases and Logic Programs", Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, pp. 193-216 (1988).
    • (1988) Foundations of Deductive Databases and Logic Programming , pp. 193-216
    • Przymusinski, T.1
  • 11
    • 49149147322 scopus 로고
    • A Logic for Default Reasoning
    • Reiter, R., "A Logic for Default Reasoning", Artificial Intelligence, 13, pp. 81-132 (1980).
    • (1980) Artificial Intelligence , vol.13 , pp. 81-132
    • Reiter, R.1


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