3775 search results - page 256 / 755 » The Expression Problem Revisited |
183
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...
165
click to vote
HASE
2008
IEEE
16 years 22 days ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
151
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
166
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
172
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding...