352 search results - page 60 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
113
click to vote
LPKR
1997
Springer
15 years 3 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
158
click to vote
SOFSEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
CCS
2004
ACM
15 years 5 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
137
click to vote
UAI
1997
15 years 1 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
116
click to vote
ENTCS
2006
14 years 11 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...