3571 search results - page 312 / 715 » Cohen and Set Theory |
171
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
161
click to vote
RSCTC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...
188
Voted
HYBRID
2003
Springer
16 years 11 hour ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
176
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...
202
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have ...