64 search results - page 7 / 13 » Rough Sets and 3-Valued Logics |
DLOG
2010
13 years 5 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
EUSFLAT
2009
13 years 5 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
NMELP
1994
13 years 11 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— One of the main obstacles facing the application of computational intelligence technologies in pattern recognition (and indeed in many other tasks) is that of dataset dimension...