Login / Signup

Integrating Logic Rules with Everything Else, Seamlessly.

Yanhong A. LiuScott D. StollerYi TongBo Lin
Published in: Theory Pract. Log. Program. (2023)
Keyphrases
  • logic rules
  • integrity constraints
  • object recognition
  • computer vision
  • higher order