Closed and Logical Relations for Over- and Under-Approximation of Powersets.
David A. SchmidtPublished in: SAS (2004)
Keyphrases
- queueing networks
- logical structure
- closed form
- truth values
- approximation algorithms
- logical theories
- logical representation
- approximation error
- probabilistic logic
- multiscale
- learning algorithm
- spatial relations
- semantic relations
- natural language processing
- approximation methods
- database systems
- logical formulas
- knowledge base
- search engine