• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System.

Xiaowang ZhangZuoquan LinKewen Wang
Published in: APWeb (2011)
Keyphrases
  • nonmonotonic reasoning
  • dynamic programming
  • logic programming
  • probabilistic model
  • description logics
  • stereo matching
  • default reasoning
  • commonsense reasoning