2611 search results - page 297 / 523 » A Logic for Concepts and Similarity |
175
Voted
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
213
click to vote
DSVIS
2001
Springer
15 years 11 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
180
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
184
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
154
Voted
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...