102 search results - page 5 / 21 » Reformulation for Extensional Reasoning |
KR
2004
Springer
14 years 28 days ago
2004
Springer
AIIA
1997
Springer
13 years 11 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
CL
2004
Springer
13 years 7 months ago
2004
Springer
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...
SWAP
2008
13 years 9 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
SIGIR
2010
ACM
13 years 7 months ago
2010
ACM
Query reformulation techniques based on query logs have recently proven to be effective for web queries. However, when initial queries have reasonably good quality, these techniqu...