Second-Order Quantified Boolean Logic.

Jie-Hong R. Jiang

Published in: AAAI (2023)

Keyphrases

boolean logic
truth values
higher order
special case
high order
machine learning
artificial intelligence