A definable nonstandard enlargement.

Frederik Herzberg

Published in: Math. Log. Q. (2008)

Keyphrases

first order logic
transitive closure
answer sets
decision making
approximation spaces
learning algorithm
feature space
special case
probabilistic model
situation calculus
action theories