36 search results - page 8 / 8 » Using Inferred Disjunctive Constraints To Decompose Constrai... |
128
click to vote
IJCAI
2007
15 years 4 months ago
2007
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...