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