3481 search results - page 135 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
179
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
AI
1999
Springer
14 years 9 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
AMAI
2008
Springer
14 years 10 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
CP
2003
Springer
15 years 3 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...