Sciweavers

15754 search results - page 181 / 3151
» Programs are Knowledge Bases
Sort
View
NMR
2004
Springer
15 years 10 months ago
Combining individually inconsistent prioritized knowledge bases
Guilin Qi, Weiru Liu, David H. Glass
SCN
2004
Springer
15 years 10 months ago
Identity-Based Zero Knowledge
Abstract. We introduce and define the notion of identity-based zeroknowledge, concentrating on the non-interactive setting. In this setting, our notion allows any prover to widely...
Jonathan Katz, Rafail Ostrovsky, Michael O. Rabin
KR
2010
Springer
15 years 9 months ago
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...
Ronen I. Brafman, Francesca Rossi, Domenico Salvag...