Object-Level Reasoning with Logics Encoded in HOL Light.

Petros Papapanagiotou Jacques D. Fleuriot

Published in: LFMTP (2020)

Keyphrases

object level
meta level
higher order logic
pixel level
low level
higher level
object class
modal logic
high level
theorem prover
inference rules
conditional logic
natural deduction
higher order
viewpoint
object detection