3954 search results - page 91 / 791 » Image-based Model Completion |
158
click to vote
UAI
2001
15 years 6 months ago
2001
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability ...
137
click to vote
TABLEAUX
2007
Springer
15 years 11 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
115
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
131
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
138
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
Many data sets are incomplete. For correct analysis of such data, one can either use algorithms that are designed to handle missing data or use imputation. Imputation has the bene...