3119 search results - page 225 / 624 » General Default Logic |
102
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In this paper, an efficiently DWT-based watermarking technique is proposed to embed signatures in images to attest the owner identification and discourage the unauthorized copying...
102
Voted
LISP
2008
15 years 23 days ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
118
click to vote
SCP
1998
15 years 14 days ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
101
Voted
DAM
2008
15 years 27 days ago
2008
This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...
114
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...