Paraconsistent Justification Logic: a Starting Point.
Che-Ping SuPublished in: Advances in Modal Logic (2014)
Keyphrases
- starting point
- logic programming
- classical logic
- truth values
- starting points
- logic programs
- possibilistic logic
- modal logic
- automated reasoning
- knowledge base
- multi valued
- linear logic
- programming language
- set theory
- logical framework
- deontic logic
- delay insensitive
- inconsistent knowledge
- digital circuits
- nonmonotonic logics
- machine learning
- probabilistic logic
- inference rules
- information systems