689 search results - page 1 / 138 » A Modal-Logic Based Graph Abstraction |
GG
2008
Springer
13 years 5 months ago
2008
Springer
AIML
1998
13 years 6 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
ENTCS
2010
13 years 2 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
ICML
1989
IEEE
13 years 8 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
ICTAI
2009
IEEE
13 years 11 months 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...