Sciweavers

81 search results - page 17 / 17
» A Semantics for a Query Language over Sensors, Streams and R...
Sort
View
LATIN
2004
Springer
14 years 25 days ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz