Applying the semantics of negation to SMT through n-best list re-ranking.
Federico FancelluBonnie L. WebberPublished in: EACL (2014)
Keyphrases
- logic programming
- ranked list
- semantics for logic programs
- compositional semantics
- derivation rules
- fixed point semantics
- short list
- deductive databases
- ranking algorithm
- logic programs
- formal semantics
- containment of conjunctive queries
- web search
- stable model semantics
- stable models
- fixpoint semantics
- highly ranked
- open world
- declarative semantics
- model theoretic
- knowledge representation
- machine translation system
- knowledge base
- default reasoning
- learning to rank
- semantic information
- natural language processing