307 search results - page 33 / 62 » Reasoning with Axioms: Theory and Practice |
134
click to vote
IFSA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
108
click to vote
MKM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
103
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
115
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
217
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...