2196 search results - page 150 / 440 » Practical Reasoning Using Values |
108
click to vote
DLOG
2008
15 years 4 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
123
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
114
click to vote
DLOG
2010
15 years 11 days ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
132
click to vote
LPAR
2010
Springer
15 years 8 days ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
124
Voted
RECOMB
2010
Springer
15 years 7 days ago
2010
Springer
Chaining fragments is a crucial step in genome alignment. Existing chaining algorithms compute a maximum weighted chain with no overlaps allowed between adjacent fragments. In prac...