286 search results - page 53 / 58 » acl 2010 |
81
Voted
ITP
2010
15 years 2 months ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
104
Voted
DLOG
2010
14 years 8 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
96
Voted
ACL
2011
14 years 1 months ago
2011
Despite the rising interest in developing grammatical error detection systems for non-native speakers of English, progress in the field has been hampered by a lack of informative...
107
Voted
ITP
2010
15 years 7 days ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
105
Voted
ACL
2011
14 years 1 months ago
2011
Resolving polysemy and synonymy is required for high-quality information extraction. We present ConceptResolver, a component for the Never-Ending Language Learner (NELL) (Carlson ...