1536 search results - page 162 / 308 » The Underlying Logic of Hoare Logic |
219
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Fuzzy logic has been used yet for extending database models to deal with vagueness in the definitions of linguistic concepts as "tall" or "long". However, the ...
177
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
143
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
187
click to vote
ICDE
2008
IEEE
16 years 28 days ago
2008
IEEE
— Secure Semantic Web applications, particularly those involving access control, are typically focused at the application-domain only, rather than taking a more holistic approach...
179
click to vote
TIME
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...