Login / Signup
Reflecting in Epistemic Arithmetic.
Leon Horsten
Published in:
J. Symb. Log. (1996)
Keyphrases
</>
arithmetic operations
floating point
epistemic logic
belief change
information retrieval
computation tree logic
data sets
learning algorithm
case study
image segmentation
digital libraries
artificial neural networks
logic program updates