论文信息 - Approximate Entailment - 字舞流文

Approximate Entailment

Marco Schaerf | Marco Cadoli

[1] Lotfi A. Zadeh,et al. A Theory of Approximate Reasoning , 1979 .

[2] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[3] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.

[4] Hector J. Levesque,et al. A Knowledge-Level Account of Abduction , 1989, IJCAI.

[5] H. Levesque. Logic and the complexity of reasoning , 1988 .

[6] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[7] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.