Sciweavers

159 search results - page 14 / 32
» The Semantics of Entailment Omega
Sort
View
EMNLP
2009
13 years 5 months ago
Recognizing Textual Relatedness with Predicate-Argument Structures
In this paper, we first compare several strategies to handle the newly proposed three-way Recognizing Textual Entailment (RTE) task. Then we define a new measurement for a pair of...
Rui Wang 0005, Yi Zhang 0003
CORR
2011
Springer
186views Education» more  CORR 2011»
13 years 2 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
ENTCS
2002
111views more  ENTCS 2002»
13 years 7 months ago
Comparing Meseguer's Rewriting Logic with the Logic CRWL
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
Miguel Palomino Tarjuelo
COLING
2010
13 years 2 months ago
Benchmarking for syntax-based sentential inference
We propose a methodology for investigating how well NLP systems handle meaning preserving syntactic variations. We start by presenting a method for the semi automated creation of ...
Paul Bédaride, Claire Gardent
POPL
2009
ACM
14 years 8 months ago
Wild control operators
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
Chris Barker