6618 search results - page 191 / 1324 » Natural Logic for Natural Language |
169
click to vote
RTA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
168
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
170
click to vote
ICTAC
2005
Springer
16 years 1 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
166
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...