1588 search results - page 100 / 318 » On the Logic of Constitutive Rules |
186
click to vote
LOPSTR
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
177
click to vote
FUZZIEEE
2007
IEEE
16 years 20 days ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
187
click to vote
CSL
2007
Springer
16 years 15 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
165
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
168
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...