理学 形式化 释 autoepistemic logic 自认知逻辑 知识和信念的逻辑，一种非单调的模态逻辑。
人工智能 人工智能逻辑 释文 autoepistemic logic 自认知逻辑
- Schr⍥der stairs
- Schr⍥dinger
- Schr⍥dinger equation
- Schr⍥dinger operator
- Schr⍥dinger picture
- Schr⍥dinger representation
- Schubert
- Schubert calculus
- Schubert cell
- Schubert conditions
- Schubert crater
- Schubert cycle
- Schubert,Franz
- Schubert polynomial
- Schubert polynomials
- Schubert variety
- Schuchert, Charles
- Schuckburg-Evelyn
- Schuler pendulum
- Schulze-Boysen/Harnack Group
- Schulze Hardy rule
- Schulze-Hardy rule
- Schulz Zimm distribution
- Schulz-Zimm distribution
- Schumacher crater