Sciweavers

IJAR
2008
91views more  IJAR 2008»
13 years 5 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
COLING
2008
13 years 6 months ago
Modeling Semantic Containment and Exclusion in Natural Language Inference
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
Bill MacCartney, Christopher D. Manning
AGI
2008
13 years 6 months ago
Reasoning with Prioritized Data by Aggregation of Distance Functions
Abstract. We introduce a general framework for reasoning with prioritized data by aggregation of distance functions, study some basic properties of the entailment relations that ar...
Ofer Arieli