Some historical remarks on algorithmic logic.
Antoni KreczmarPublished in: Algorithms in Modern Mathematics and Computer Science (1979)
Keyphrases
- logic programming
- predicate logic
- database systems
- classical logic
- logical framework
- modal logic
- genetic algorithm
- proof theory
- deontic logic
- historical information
- defeasible logic
- computational properties
- probabilistic logic
- multi valued
- automated reasoning
- historical data
- artificial neural networks
- search algorithm
- data structure
- image sequences
- case study
- digital circuits
- knowledge base
- computer vision
- learning algorithm
- linear logic
- database
- linear temporal logic