1941 search results - page 53 / 389 » Reasoning about Computations Using Two-Levels of Logic |
114
click to vote
DLOG
2009
15 years 3 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
122
click to vote
AAAI
2007
15 years 4 months ago
2007
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
111
click to vote
PSB
2010
14 years 12 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
146
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
105
click to vote
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...