550 search results - page 52 / 110 » A Logic for Application Level QoS |
193
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
168
click to vote
GG
2004
Springer
16 years 1 days ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
157
click to vote
RULEML
2005
Springer
16 years 4 days ago
2005
Springer
Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Log...
163
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
166
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...