4370 search results - page 650 / 874 » Algebra of Logic Programming |
129
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...
117
click to vote
FSKD
2006
Springer
15 years 8 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
141
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
167
click to vote
DOOD
1991
Springer
15 years 8 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
149
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...