NEXP-completeness and Universal Hardness Results for Justification Logic.
Antonis AchilleosPublished in: CoRR (2015)
Keyphrases
- multi valued
- logic programming
- modal logic
- phase transition
- defeasible logic
- computational complexity
- np hard
- classical logic
- neural network
- decentralized control
- proof theory
- agnostic learning
- deontic logic
- set theory
- data quality
- data sets
- automated reasoning
- predicate logic
- truth values
- constraint satisfaction problems
- knowledge base
- order sorted