7960 search results - page 200 / 1592 » Systems for Knowledge and Beliefs |
125
Voted
CADE
2008
Springer
15 years 2 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
116
click to vote
AMKM
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
99
Voted
STOC
2006
ACM
16 years 1 months ago
2006
ACM
We prove that every problem in NP that has a zero-knowledge proof also has a zero-knowledge proof where the prover can be implemented in probabilistic polynomial time given an NP ...
FSKD
2008
Springer
15 years 1 months ago
2008
Springer
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
88
Voted
AEI
2004
15 years 21 days ago
2004
Although the importance of knowledge sharing among designers has been widely recognized, knowledge about functionality in the conceptual design phase is hard to capture and is oft...