Minimum Classical Extensions of Constructive Theories.

Joan Rand Moschovakis Garyfallia Vafeiadou

Published in: CiE (2021)

Keyphrases

learning algorithm
probability theory
machine learning
real time
theoretical framework
efficient implementation
image processing
image segmentation
search algorithm
special case
default logic
minimum cost
formal models