2012 search results - page 72 / 403 » CORAL - Control, Relations and Logic |
156
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...
164
click to vote
FSS
2010
15 years 3 months ago
2010
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...
160
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
159
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
160
click to vote
RELMICS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implica...