3353 search results - page 157 / 671 » Laver and set theory |
168
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...
174
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
146
click to vote
IDEAS
2007
IEEE
16 years 22 days ago
2007
IEEE
A foreign superkey in relational database theory is a set of attributes referring to a superkey of some relation variable. In this paper, the notion of constant references is intr...
140
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
153
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...