Programs with Universally Quantified Embedded Implications.

Vyacheslav Petukhin

Published in: LPNMR (1997)

Keyphrases

answer sets
universally quantified
existentially quantified
quantified boolean formulas
machine learning
situation calculus
state space