1941 search results - page 12 / 389 » Reasoning about Computations Using Two-Levels of Logic |
127
click to vote
ISMIS
1994
Springer
15 years 6 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...
128
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
94
Voted
GRC
2005
IEEE
15 years 7 months ago
2005
IEEE
106
click to vote
ENTCS
2007
15 years 1 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
131
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...