2145 search results - page 61 / 429 » Lax Logical Relations |
PODS
1999
ACM
14 years 2 months ago
1999
ACM
We give a polymorphic account of the relational algebra. We introduce a formalism of \type formulas" speci cally tuned for relational algebra expressions, and present an algo...
KESAMSTA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...
DATE
2003
IEEE
14 years 3 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
14 years 2 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...
ACL
1993
13 years 11 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...