3776 search results - page 119 / 756 » Partition-Based Logical Reasoning |
103
click to vote
IJCAI
2003
15 years 4 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
140
Voted
IJPRAI
2000
15 years 3 months ago
2000
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
119
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
140
click to vote
JSC
2000
15 years 3 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
134
click to vote
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...