2012 search results - page 95 / 403 » CORAL - Control, Relations and Logic |
151
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- We discuss some optimization problems for fuzzy variable functions and show two interesting results. First result is related to conditions for existence of global optima...
188
click to vote
HOA
1993
15 years 10 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
180
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
210
click to vote
AAAI
1996
15 years 7 months ago
1996
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
151
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In ...