J. P. Delgrande. A First-Order Conditional Logic for Prototypical Properties [J]. Artificial Intelligence,

• 李小五.；加标动态逻辑及其若干应用[J]