Login / Signup
Marcus, Kripke, and the origin of the new theory of reference.
Quentin Smith
Published in:
Synth. (1995)
Keyphrases
</>
theoretical framework
information theory
inference rules
artificial intelligence
database
computational model
model checking
theoretical basis
neural network
high level
lower bound
hidden markov models
temporal logic
modal logic
desirable properties