3624 search results - page 562 / 725 » Abstract Algebraic Logic |
153
click to vote
KI
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
157
click to vote
KSEM
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
155
click to vote
RULEML
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Access control is an important aspect of regulatory compliance. Therefore, access control specifications must be process-aware in that they can refer to an underlying bu...
150
click to vote
SAT
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
171
click to vote
TGC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...