Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.

Patrick Doherty Witold Lukaszewicz Andrzej Szalas

Published in: IJCAI (2001)

Keyphrases

sufficient conditions
fixed point
linear systems
horn clauses
asymptotic stability
exponential stability
efficiently computable
higher order
linear programming
optimal policy
linear complementarity problem
action theories
logical formulas
digital straight lines