Epistemic Queries in Classic
暂无分享,去创建一个
[1] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[2] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[3] Maurizio Lenzerini,et al. Querying Concept-based Knowledge Bases , 1991, PDK.
[4] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[5] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[6] Peter F. Patel-Schneider,et al. Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.
[7] Werner Nutt,et al. Adding Epistemic Operators to Concept Languages , 1992, KR.