3776 search results - page 235 / 756 » Partition-Based Logical Reasoning |
125
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
146
click to vote
TCAD
2002
15 years 3 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
156
click to vote
DLOG
2011
14 years 7 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
168
click to vote
ICIW
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
125
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...