1549 search results - page 176 / 310 » On the rules of intermediate logics |
WILF
2009
Springer
14 years 3 months ago
2009
Springer
A number of generalizations of answer set programming have been proposed in the literature to deal with vagueness, uncertainty, and partial rule satisfaction. We introduce a unifyi...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
— Incremental rule base learning techniques can be used to learn models and classifiers from interval or fuzzyvalued data. These algorithms are efficient when the observation e...
ICTAI
2006
IEEE
14 years 3 months ago
2006
IEEE
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...