Login / Signup

Knowledge of uncertain worlds: programming with logical constraints.

Yanhong A. LiuScott D. Stoller
Published in: J. Log. Comput. (2021)
Keyphrases