|
このページは大阪弁化フィルタによって翻訳生成されたんですわ。 |
areas/reasonng/defeasbl/
belief/ BELIEF: Implementation of Paris and Vencovska's
model of belief
dprolog/ DPROLOG: Prolog extension for Defeasible
Reasoning
nathan/ NATHAN (Spec13): Argues defeasibly in first-order
logic.