8228 search results - page 168 / 1646 » Structural Logical Relations |
111
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...
114
Voted
ACL
1993
15 years 4 months ago
1993
We present an implemented unification-based parser for relational grammars developed within the stratified feature grammar (SFG) framework, which generalizes Kasper-Rounds logic t...
124
click to vote
ECSQARU
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
121
click to vote
WCRE
1995
IEEE
15 years 6 months ago
1995
IEEE
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...