Resolution as Intersection Subtyping via Modus Ponens.

Koar Marntirosian Tom Schrijvers Bruno C. d. S. Oliveira Georgios Karachalias

Published in: CoRR (2020)

Keyphrases

modus ponens
decision rules
high resolution
genetic algorithm
consequence finding
case study
objective function
real time
data sets
three dimensional
high quality
relational databases
conflict detection