935 search results - page 32 / 187 » Stable models and difference logic |
138
click to vote
DEON
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
123
click to vote
DLOG
2006
15 years 3 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
113
click to vote
APAL
2006
15 years 2 months ago
2006
: It follows directly from Shelah's structure theory that if T is a classifiable theory, then the isomorphism type of any model of T is determined by the theory of that model ...
102
click to vote
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
MEMOCODE
2005
IEEE
15 years 7 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...