Keyphrases
- logic programming
- probabilistic logic
- np complete
- modal logic
- classical logic
- logic based argumentation
- multi valued
- logic programs
- brute force
- programming language
- nonmonotonic reasoning
- abductive reasoning
- logical framework
- automated reasoning
- epistemic logic
- formal theory
- autoepistemic logic
- data sets
- answer sets
- computational complexity