1059 search results - page 38 / 212 » Standard Logics Are Valuation-Nonmonotonic |
165
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
166
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
149
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
180
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
143
click to vote
TASE
2008
IEEE
16 years 14 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...