3776 search results - page 1 / 756 » Partition-Based Logical Reasoning |
202
Voted
KR
2000
Springer
15 years 11 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
228
Voted
IJCAI
2003
15 years 8 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
211
Voted
SIAMCOMP
2012
13 years 9 months ago
2012
312
Voted
CADE
1994
Springer
15 years 11 months ago
1994
Springer
339
Voted
CADE
2009
Springer
15 years 8 months ago
2009
Springer