Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases
暂无分享,去创建一个
[1] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[2] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[3] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[4] Alan M. Frisch. Inference without Chaining , 1987, IJCAI.
[5] G. Lakemeyer. Models of belief for decidable reasoning in incomplete knowledge bases , 1992 .
[6] Peter F. Patel-Schneider,et al. A decidable first-order logic for knowledge representation , 1985, Journal of Automated Reasoning.
[7] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[8] Vito F. Sinisi,et al. Entailment: The Logic of Relevance and Necessity , 1996 .
[9] Hector J. Levesque. A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases , 1998, KR.
[10] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.