651 search results - page 72 / 131 » Adding Search to Zinc |
104
Voted
KGC
1993
Springer
15 years 7 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
119
Voted
DLOG
2008
15 years 5 months ago
2008
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
125
Voted
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper describes our approach to the Question Answering - Word Sense Disambiguation task. This task consists in carrying out Question Answering over a disambiguated d...
118
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
115
Voted
AIPS
2004
15 years 4 months ago
2004
Scaling conformant planning is a problem that has received much attention of late. Many planners solve the problem as a search in the space of belief states, and some heuristic gu...