-Lock Resolution for a Lattice-Valued Logic LP(X).
Xingxing HeYang XuYingfang LiJun LiuLuis Martínez-LópezDa RuanPublished in: HAIS (2) (2010)
Keyphrases
- valued logic
- propositional logic
- classical logic
- fuzzy sets
- fuzzy logic
- first order logic
- logic programs
- multi valued
- truth values
- datalog programs
- automated reasoning
- logic programming
- stable models
- knowledge representation
- neural network
- database
- artificial intelligence
- real time
- rough sets
- belief revision
- incomplete information
- modal logic
- np hard
- knowledge base
- decision making
- databases