COMPUTATIONAL-COMPLEXITY OF TERMINOLOGICAL REASONING IN BACK

[1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 832 - 843

[2] Brachman R.J., 1979, ASS NETWORKS REPRESE, P3, DOI 10.1016/B978-0-12-256380-5.50007-4

[3] AN OVERVIEW OF THE KL-ONE KNOWLEDGE REPRESENTATION SYSTEM [J]. COGNITIVE SCIENCE, 1985, 9 (02) : 171 - 216

[4] BRACHMAN RJ, 1985, READINGS KNOWLEDGE R, P411

[5] BRACHMAN RJ, 1985, P 9 INT JOINT C ART, P532

[6] BRACHMAN RJ, 1984, P AAAI 84 AUSTIN, P34

[7] EDELMANN J, 1986, 2 GWAI 86 OST ART IN, P69

[8] Garey Michael R., 1979, COMPUTERS INTRACTABI

[9] Kaczmarek T. S., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P978

[10] MAKING BELIEVERS OUT OF COMPUTERS [J]. ARTIFICIAL INTELLIGENCE, 1986, 30 (01) : 81 - 108

[1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 832 - 843

[2] Brachman R.J., 1979, ASS NETWORKS REPRESE, P3, DOI 10.1016/B978-0-12-256380-5.50007-4

[3] AN OVERVIEW OF THE KL-ONE KNOWLEDGE REPRESENTATION SYSTEM [J]. COGNITIVE SCIENCE, 1985, 9 (02) : 171 - 216

[4] BRACHMAN RJ, 1985, READINGS KNOWLEDGE R, P411

[5] BRACHMAN RJ, 1985, P 9 INT JOINT C ART, P532

[6] BRACHMAN RJ, 1984, P AAAI 84 AUSTIN, P34

[7] EDELMANN J, 1986, 2 GWAI 86 OST ART IN, P69

[8] Garey Michael R., 1979, COMPUTERS INTRACTABI

[9] Kaczmarek T. S., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P978

[10] MAKING BELIEVERS OUT OF COMPUTERS [J]. ARTIFICIAL INTELLIGENCE, 1986, 30 (01) : 81 - 108