Axioms for actuality.

Harold T. Hodes

Published in: J. Philos. Log. (1984)

Keyphrases

knowledge base
first order logic
case study
real time
axiomatic characterization
complete axiomatization
data sets
information retrieval
image processing
information technology
special case
hidden markov models
action theories