Keyphrases
- automated deduction
- logic programming
- theorem proving
- inference rules
- theorem prover
- modal logic
- deductive databases
- automated reasoning
- classical logic
- natural deduction
- multi valued
- logic programs
- valued logic
- predicate logic
- nonmonotonic logics
- first order logic
- logical framework
- temporal logic
- programming language
- general purpose
- computational properties
- set theory
- social bookmarking
- fuzzy logic
- formal theory
- epistemic logic
- linear logic
- high level
- artificial intelligence
- data mining