Circular demonstration and von Wright-Geach entailment.

Douglas Walton John Hayden Woods

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

hough transform
logic programming
harmonic functions
textual entailment
recognizing textual entailment
data sets
knowledge base
genetic algorithm
feature selection
search algorithm
expert systems
probabilistic logic
robot programming
microstrip antenna