1059 search results - page 23 / 212 » Standard Logics Are Valuation-Nonmonotonic |
185
Voted
JAR
2000
15 years 5 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
272
click to vote
KIVS
2011
Springer
14 years 9 months ago
2011
Springer
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 – an interlocking system based on industry-proven standard comp...
156
click to vote
ARVLSI
1995
IEEE
15 years 9 months ago
1995
IEEE
The task of image acquisition is completely dominated by CCD-based sensors fabricated on specialized process lines. These devices provide an essentially passive means of detecting...
141
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
152
click to vote
TOCL
2002
15 years 5 months ago
2002
One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. Westudy topological queries expressible in th...