3353 search results - page 231 / 671 » Laver and set theory |
204
click to vote
AIIA
2005
Springer
16 years 3 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
141
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
166
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
We propose a surprisingly simple new way of breaking all value symmetries with constraints. Our method requires the addition of one variable per value of the problem plus a linear ...
181
click to vote
GBRPR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. An appropriate image representation induces some good image treatment algorithms. Hypergraph theory is a theory of finite combinatorial sets, modeling a lot of problems ...
135
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...