Tabulation proof procedures for fuzzy linguistic logic programming.
Van Hung LeFei LiuPublished in: Int. J. Approx. Reason. (2015)
Keyphrases
- fuzzy linguistic
- logic programming
- logic programs
- nonmonotonic reasoning
- deductive databases
- knowledge base
- knowledge representation
- knowledge representation and reasoning
- database querying
- programming language
- probabilistic reasoning
- group decision making
- inference rules
- answer sets
- artificial intelligence
- default logic
- expert systems