1737 search results - page 71 / 348 » On Interpolation in Existence Logics |
185
click to vote
ICTAI
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
278
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
159
click to vote
LOPSTR
2005
Springer
15 years 11 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
146
click to vote
LICS
2006
IEEE
16 years 5 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
201
click to vote
AAAI
2006
15 years 7 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...