Fixpoint Semantics and Completeness of the Computational Model for Fuzzy Linguistic Logic Programming.
Van Hung LeFei LiuDinh Khang TranPublished in: ICIC (2) (2008)
Keyphrases
- computational model
- fuzzy linguistic
- logic programming
- declarative semantics
- logic programs
- deductive databases
- fixpoint
- stable models
- logic programming language
- model theoretic
- answer set programming
- answer sets
- knowledge base
- nonmonotonic reasoning
- programming language
- knowledge representation
- inductive logic programming
- probabilistic reasoning
- default logic
- group decision making
- database querying
- knowledge representation and reasoning
- constraint logic programming
- background knowledge
- datalog programs
- default reasoning
- belief networks
- partial order
- model checking
- data management