167 search results - page 1 / 34 » Translation as Weighted Deduction |
EACL
2009
ACL Anthology
14 years 5 months ago
2009
ACL Anthology
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
EMNLP
2009
13 years 2 months ago
2009
Many statistical translation models can be regarded as weighted logical deduction. Under this paradigm, we use weights from the expectation semiring (Eisner, 2002), to compute fir...
DEDUCTIVE
1996
13 years 6 months ago
1996
We de ne a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be repre...
DEDUCTIVE
1994
13 years 6 months ago
1994
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
KRDB
2003
13 years 6 months ago
2003
Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator µ that transforms...