217 search results - page 3 / 44 » A Logic for Approximate First-Order Reasoning |
105
click to vote
TIME
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
CADE
2003
Springer
15 years 12 months ago
2003
Springer
96
Voted
TIME
2003
IEEE
15 years 4 months ago
2003
IEEE
CSL
2007
Springer
15 years 5 months ago
2007
Springer
CSFW
2003
IEEE
15 years 4 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...