15754 search results - page 448 / 3151 » Programs are Knowledge Bases |
216
click to vote
KCAP
2005
ACM
16 years 14 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
174
click to vote
FSTTCS
2005
Springer
16 years 13 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
173
click to vote
TCC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We introduce Fair Zero-Knowledge, a multi-verifier ZK system where every proof is guaranteed to be “zero-knowledge for all verifiers.” That is, if an honest verifi...
205
click to vote
PAKDD
1998
ACM
15 years 11 months ago
1998
ACM
The use of Data Mining in removing current bottlenecks within Case-based Reasoning (CBR) systems is investigated along with the possible role of CBR in providing a knowledge manag...
193
click to vote
LREC
2008
15 years 8 months ago
2008
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...