• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Resolution as intersection subtyping via Modus Ponens.

Koar MarntirosianTom SchrijversBruno C. d. S. OliveiraGeorgios 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