Keyphrases
- logic programming
- linear logic
- fuzzy set theory
- classical logic
- logic programs
- interval valued
- fuzzy numbers
- artificial intelligence
- compositional semantics
- theorem prover
- deductive databases
- real valued
- fixed point
- natural language
- answer set programming
- horn clauses
- fixpoint
- fuzzy logic
- predicate logic
- fuzzy information
- database systems
- derivation rules
- information retrieval