理学 形式化 释 autoepistemic logic 自认知逻辑 知识和信念的逻辑，一种非单调的模态逻辑。
人工智能 人工智能逻辑 释文 autoepistemic logic 自认知逻辑
- calendar labor allocation chart
- calendar month
- calendar of the heavenly stems and earthly branches
- calendar poster
- Calendar Printing Workshop
- calendar reform
- calendar stone
- calendar year
- calender
- calenderability
- calendering
- calendering machine
- Calendrical Chapter
- calescence
- CALET
- Caleuche Chasma
- Calf Awards
- Calgary
- Calgary Herald
- C* algebra
- C*-algebra
- C* algebraic tensor product
- C*-algebraic tensor product
- C*-algebra representation
- Caliban