KNOWLEDGE REPRESENTATION AND INFERENCE BASED ON 1ST-ORDER MODAL LOGIC

[1] ABADI M, 1986, LECT NOTES COMPUT SC, V230, P172

[2] ABADI M, 1986, JUN P S LOG COMP SCI

[3] DELCERRO LF, 1985, NEW GENERATION COMPU, V3, P359

[4] Fagin R., 1984, 25th Annual Symposium on Foundations of Computer Science (Cat. No. 84CH2085-9), P268, DOI 10.1109/SFCS.1984.715925

[5] THE UNDECIDABILITY OF THE 2ND-ORDER UNIFICATION PROBLEM [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 225 - 230

[6] IWANUMA K, 1987, IEICE COMP8674 TECHN

[7] IWANUMA K, 1987, IEICE D, V70, P859

[8] LEVESQUE H, 1984, AAAI 84, P198

[9] Miller, 1983, THESIS CARNEGIE MELL

[10] NAKAZIMA H, 1985, KNOWLEDGE REPRESENTA

[1] ABADI M, 1986, LECT NOTES COMPUT SC, V230, P172

[2] ABADI M, 1986, JUN P S LOG COMP SCI

[3] DELCERRO LF, 1985, NEW GENERATION COMPU, V3, P359

[4] Fagin R., 1984, 25th Annual Symposium on Foundations of Computer Science (Cat. No. 84CH2085-9), P268, DOI 10.1109/SFCS.1984.715925

[5] THE UNDECIDABILITY OF THE 2ND-ORDER UNIFICATION PROBLEM [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 225 - 230

[6] IWANUMA K, 1987, IEICE COMP8674 TECHN

[7] IWANUMA K, 1987, IEICE D, V70, P859

[8] LEVESQUE H, 1984, AAAI 84, P198

[9] Miller, 1983, THESIS CARNEGIE MELL

[10] NAKAZIMA H, 1985, KNOWLEDGE REPRESENTA