Sciweavers

2097 search results - page 194 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
120
Voted
CADE
2006
Springer
15 years 7 months ago
Interpolation in Local Theory Extensions
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
Viorica Sofronie-Stokkermans
EACL
2003
ACL Anthology
15 years 5 months ago
QUALIFIER: Question Answering by Lexical Fabric and External Resources
One of the major challenges in TRECstyle question-answering (QA) is to overcome the mismatch in the lexical representations in the query space and document space. This is particul...
Hui Yang, Tat-Seng Chua
JELIA
2004
Springer
15 years 9 months ago
Logic Programming Infrastructure for Inferences on FrameNet
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
Peter Baumgartner, Aljoscha Burchardt
139
Voted
EPIA
1995
Springer
15 years 7 months ago
The Retrieval Problem in a Concept Language with Number Restrictions
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
Aida Vitória, Margarida Mamede, Luís...
135
Voted
IJCAI
2007
15 years 5 months ago
Recursive Random Fields
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...
Daniel Lowd, Pedro Domingos