The Logic of Leibniz's Generales Inquisitiones de Analysi Notionum et Veritatum.
Marko MalinkAnubav VasudevanPublished in: Rev. Symb. Log. (2016)
Keyphrases
- logic programming
- classical logic
- modal logic
- logical framework
- information retrieval
- linear temporal logic
- nonmonotonic logics
- probabilistic logic
- hidden markov models
- automated reasoning
- multi valued
- multiscale
- similarity measure
- image processing
- computational properties
- defeasible logic
- genetic algorithm
- predicate logic
- real time