2911 search results - page 91 / 583 » A Logic of Graph Constraints |
95
Voted
IJCAI
2003
15 years 1 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...
149
Voted
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
99
Voted
CSCLP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
121
Voted
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...
89
Voted
FLAIRS
2007
15 years 2 months ago
2007
We deal with the search process of the GraphPlan algorithm in this paper. We concentrate on a problem of finding supports for a sub-goal which arises during the search. We model t...