2576 search results - page 69 / 516 » The Complexity of Zero Knowledge |
AAAI
2006
15 years 1 months ago
2006
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
PAKM
2004
15 years 1 months ago
2004
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
132
click to vote
ATAL
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
100
click to vote
CRYPTO
1994
Springer
15 years 4 months ago
1994
Springer
Suppose we are given a proof of knowledge P in which a prover demonstrates that he knows a solution to a given problem instance. Suppose also that we have a secret sharing scheme S...
101
click to vote
DAGSTUHL
1998
15 years 1 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...