2599 search results - page 120 / 520 » An Operational Semantics for Knowledge Bases |
164
click to vote
ACL
2006
15 years 7 months ago
2006
Using abundant Web resources to mine Chinese term translations can be applied in many fields such as reading/writing assistant, machine translation and crosslanguage information r...
189
click to vote
ACL
2010
15 years 4 months ago
2010
A challenging problem in open information extraction and text mining is the learning of the selectional restrictions of semantic relations. We propose a minimally supervised boots...
164
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Despite the importance of analytical tools to organizations, there are challenges that should be tackled in order to leverage the impact of those tools in the decision making proc...
150
click to vote
ECTEL
2008
Springer
15 years 7 months ago
2008
Springer
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...
155
click to vote
JAR
2007
15 years 6 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...