2519 search results - page 113 / 504 » Reasoning with Textual Cases |
133
click to vote
COLING
1992
15 years 5 months ago
1992
This paper proposes a methodology for the eustomisation of natural language interfaces to information retrieval applications. We report a field study in which we tested this metho...
126
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The length-based approach is a heuristic for solving randomly generated equations in groups which possess a reasonably behaved length function. We describe several improvements of ...
120
Voted
JOLLI
2010
15 years 3 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
158
click to vote
ACL
2012
13 years 7 months ago
2012
“Lightweight” semantic annotation of text calls for a simple representation, ideally without requiring a semantic lexicon to achieve good coverage in the language and domain. ...
139
Voted
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Σp 2-complete, an...