A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
The complexity of linear problems in fields
Journal of Symbolic Computation
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Bilattices and the semantics of logic programming
Journal of Logic Programming
Lp, a logic for representing and reasoning with statistical knowledge
Computational Intelligence
Viability theory
Nondeterminism in algebraic specifications and algebraic programs
Nondeterminism in algebraic specifications and algebraic programs
Quantifier elimination for real algebra—the cubic case
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Robust multi-objective feedback design by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Testing stability by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Predicative programming Part II
Communications of the ACM
Computable analysis: an introduction
Computable analysis: an introduction
Hi-index | 0.00 |
Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate solutions instead of exact ones. However, the quantifiers of the first-order predicate language are an obstacle to allowing approximations to arbitrary small error bounds. In this article, we remove this obstacle by modifying the first-order language and replacing the classical quantifiers with approximate quantifiers. These also have two additional advantages: First, they are tunable, in the sense that they allow the user to decide on the trade-off between precision and efficiency. Second, they introduce additional expressivity into the first-order language by allowing reasoning over the size of solution sets.