From the research on logics without tautologies (part 1).
Leszek JaworskiPublished in: Log. J. IGPL (2013)
Keyphrases
- real world
- expressive power
- modal logic
- data mining
- propositional calculus
- case study
- propositional dynamic logic
- proof theory
- decision procedures
- classical logic
- artificial neural networks
- real time
- inference rules
- higher order
- computational properties
- epistemic logic
- relational databases
- computer vision
- machine learning