74 search results - page 2 / 15 » Conceptual Graph Rules and Equivalent Rules: A Synthesis |
SGAI
2007
Springer
13 years 11 months ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...
ICCS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
JAIR
2002
13 years 4 months ago
2002
ICCS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
ENTCS
2007
13 years 4 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...