From logic to manuals again.
Harold W. ThimblebyPeter B. LadkinPublished in: IEE Proc. Softw. Eng. (1997)
Keyphrases
- logic programming
- modal logic
- classical logic
- sound and complete axiomatization
- real world
- logic programs
- predicate logic
- set theory
- computational properties
- multi valued
- natural deduction
- asynchronous circuits
- truth values
- nonmonotonic logics
- probabilistic logic
- database
- automated reasoning
- case study
- machine learning
- neural network
- real time