5718 search results - page 369 / 1144 » Modeling Rule Precision |
183
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
161
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
175
click to vote
DBSEC
2007
15 years 8 months ago
2007
Abstract. Modern information systems require temporal and privilegeconsuming usage of digital objects. To meet these requirements, we present a new access control model–Times-bas...
200
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
156
click to vote
JASSS
1998
15 years 6 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...