Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions.

Published in: Soft Comput. (2001)

Keyphrases

formal semantics
machine learning
real valued
real time
data mining
semantic representation
neural network
case study
multiscale
data model
logic programming
semantic information
conceptual model