Predicate Metric Tense Logic for 'Now' and 'Then'.
M. J. CresswellPublished in: J. Philos. Log. (2013)
Keyphrases
- metric space
- distance function
- logic programming
- modal logic
- horn clauses
- distance measure
- first order logic
- predicate logic
- logical framework
- classical logic
- evaluation metrics
- sound and complete axiomatization
- proof theory
- asynchronous circuits
- nonmonotonic logics
- similarity metric
- neural network
- euclidean distance
- logic programs
- artificial intelligence