Keyphrases
- logic programming
- linear logic
- classical logic
- logic programs
- truth values
- deductive databases
- answer set programming
- inference rules
- nonmonotonic reasoning
- possibilistic logic
- fuzzy set theory
- knowledge representation
- cut elimination
- reasoning tasks
- theorem prover
- answer sets
- knowledge base
- programming language
- horn clauses
- databases
- database
- fuzzy numbers
- stable models
- logical framework
- expert systems
- predicate logic
- artificial intelligence
- fuzzy information
- natural deduction
- sequent calculus