共 2 条
[1]
Kripke semantics for knowledge representation logics[J] . Studia Logica . 1990 (2)
[2]
Incidence calculus: A mechanism for probabilistic reasoning[J] . Alan Bundy.Journal of Automated Reasoning . 1985 (3)