268 search results - page 24 / 54 » Generating Intensional Answers in Intelligent Question Answe... |
102
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
121
Voted
KES
2004
Springer
15 years 7 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
110
click to vote
PC
2006
15 years 1 months ago
2006
Generative parallel design patterns is a proven technique to improve the productivity of parallel program development. However many of the generative design-pattern systems are de...
EJC
2007
15 years 3 months ago
2007
Linguistics has always been a field with a great diversity of schools and sub-schools. This has naturally led to the question of whether different grammatical analyses of the sam...
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
We describe a method for recognizing textual entailment that uses the length of the longest common subsequence (LCS) between two texts as its decision criterion. Rather than requi...