1486 search results - page 144 / 298 » A Logically Saturated Extension of |
135
click to vote
BIRTHDAY
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
167
click to vote
DOOD
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
135
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
167
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Induction of decision rules within the dominance-based rough set approach to the multiple-criteria sorting decision problem is discussed in this paper. We introduce an algorithm ca...
160
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we introduce the concept of valued tolerance as an extension of the usual concept of indiscernibility (which is a crisp equivalence relation) in rough sets theory. So...