1 |
The Guarded Fragment of Conceptual GraphsBaader, Franz, Molitor, Ralf, Tobies, Stephan 20 May 2022 (has links)
Conceptual graphs (CGs) are an expressive and intuitive formalism, which plays an important role in the area of knowledge representation. Due to their expressiveness, most interesting problems for CGs are inherently undecidable. We identify the syntactically defined guarded fragment of CGs, for which both subsumption and validity is decidable in deterministic exponential time.
|
Page generated in 0.2879 seconds