Login / Signup
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System.
Xiaowang Zhang
Zuoquan Lin
Kewen Wang
Published in:
APWeb (2011)
Keyphrases
</>
nonmonotonic reasoning
dynamic programming
logic programming
probabilistic model
description logics
stereo matching
default reasoning
commonsense reasoning