Login / Signup
Resolution as intersection subtyping via Modus Ponens.
Koar Marntirosian
Tom Schrijvers
Bruno C. d. S. Oliveira
Georgios Karachalias
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
modus ponens
decision rules
high resolution
low resolution
data mining
genetic algorithm
consequence finding
database
real world
object recognition
evolutionary algorithm
sampling rate