4217 search results - page 109 / 844 » Computational indistinguishability logic |
ISMIS
1994
Springer
15 years 2 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
SAC
1998
ACM
15 years 1 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
IFIPTCS
2010
14 years 8 months ago
2010
We introduce a simple logic that allows to quantify over the subobjects of a categorical object. We subsequently show that, for the category of graphs, this logic is equally expres...
102
click to vote
RTA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...