Matches in SemOpenAlex for { <https://semopenalex.org/work/W51137601> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W51137601 endingPage "32" @default.
- W51137601 startingPage "17" @default.
- W51137601 abstract "Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. A simple way is based on defining an appropriate encoding of graphs in terms of classical logic. This approach has been followed by Courcelle. The alternative is the definition of a specialized logic, as done by Habel and Pennemann, who defined a logic of nested graph conditions, where graph properties are formulated explicitly making use of graphs and graph morphisms, and which has the expressive power of Courcelle’s first order logic of graphs. In particular, in his thesis, Pennemann defined and implemented a sound proof system for reasoning in this logic. Moreover, he showed that his tools outperform some standard provers when working over encoded graph conditions. Unfortunately, Pennemann did not prove the completeness of his proof system. In this sense, one of the main contributions of this paper is the solution to this open problem. In particular, we prove the (refutational) completeness of a tableau method based on Pennemann’s rules that provides a specific theorem-proving procedure for this logic. This procedure can be considered our second contribution. Finally, our tableaux are not standard, but we had to define a new notion of nested tableaux that could be useful for other formalisms where formulas have a hierarchical structure like nested graph conditions." @default.
- W51137601 created "2016-06-24" @default.
- W51137601 creator A5023826102 @default.
- W51137601 creator A5072432956 @default.
- W51137601 date "2014-01-01" @default.
- W51137601 modified "2023-09-27" @default.
- W51137601 title "Tableau-Based Reasoning for Graph Properties" @default.
- W51137601 cites W1511652686 @default.
- W51137601 cites W1563892973 @default.
- W51137601 cites W1810787746 @default.
- W51137601 cites W1843363608 @default.
- W51137601 cites W2025079954 @default.
- W51137601 cites W2027274718 @default.
- W51137601 cites W2068536883 @default.
- W51137601 cites W2079370090 @default.
- W51137601 cites W2131637630 @default.
- W51137601 cites W51137601 @default.
- W51137601 doi "https://doi.org/10.1007/978-3-319-09108-2_2" @default.
- W51137601 hasPublicationYear "2014" @default.
- W51137601 type Work @default.
- W51137601 sameAs 51137601 @default.
- W51137601 citedByCount "11" @default.
- W51137601 countsByYear W511376012014 @default.
- W51137601 countsByYear W511376012015 @default.
- W51137601 countsByYear W511376012016 @default.
- W51137601 countsByYear W511376012017 @default.
- W51137601 countsByYear W511376012018 @default.
- W51137601 countsByYear W511376012019 @default.
- W51137601 countsByYear W511376012020 @default.
- W51137601 countsByYear W511376012021 @default.
- W51137601 crossrefType "book-chapter" @default.
- W51137601 hasAuthorship W51137601A5023826102 @default.
- W51137601 hasAuthorship W51137601A5072432956 @default.
- W51137601 hasConcept C100481476 @default.
- W51137601 hasConcept C118615104 @default.
- W51137601 hasConcept C132525143 @default.
- W51137601 hasConcept C137212723 @default.
- W51137601 hasConcept C171018156 @default.
- W51137601 hasConcept C195818886 @default.
- W51137601 hasConcept C199360897 @default.
- W51137601 hasConcept C203776342 @default.
- W51137601 hasConcept C22149727 @default.
- W51137601 hasConcept C2524010 @default.
- W51137601 hasConcept C33923547 @default.
- W51137601 hasConcept C41008148 @default.
- W51137601 hasConcept C558772884 @default.
- W51137601 hasConcept C64339825 @default.
- W51137601 hasConcept C80444323 @default.
- W51137601 hasConceptScore W51137601C100481476 @default.
- W51137601 hasConceptScore W51137601C118615104 @default.
- W51137601 hasConceptScore W51137601C132525143 @default.
- W51137601 hasConceptScore W51137601C137212723 @default.
- W51137601 hasConceptScore W51137601C171018156 @default.
- W51137601 hasConceptScore W51137601C195818886 @default.
- W51137601 hasConceptScore W51137601C199360897 @default.
- W51137601 hasConceptScore W51137601C203776342 @default.
- W51137601 hasConceptScore W51137601C22149727 @default.
- W51137601 hasConceptScore W51137601C2524010 @default.
- W51137601 hasConceptScore W51137601C33923547 @default.
- W51137601 hasConceptScore W51137601C41008148 @default.
- W51137601 hasConceptScore W51137601C558772884 @default.
- W51137601 hasConceptScore W51137601C64339825 @default.
- W51137601 hasConceptScore W51137601C80444323 @default.
- W51137601 hasLocation W511376011 @default.
- W51137601 hasOpenAccess W51137601 @default.
- W51137601 hasPrimaryLocation W511376011 @default.
- W51137601 hasRelatedWork W148357932 @default.
- W51137601 hasRelatedWork W1594139856 @default.
- W51137601 hasRelatedWork W2009172267 @default.
- W51137601 hasRelatedWork W2109725814 @default.
- W51137601 hasRelatedWork W2553130930 @default.
- W51137601 hasRelatedWork W2807994977 @default.
- W51137601 hasRelatedWork W2955656044 @default.
- W51137601 hasRelatedWork W3045273556 @default.
- W51137601 hasRelatedWork W3183517265 @default.
- W51137601 hasRelatedWork W283654250 @default.
- W51137601 isParatext "false" @default.
- W51137601 isRetracted "false" @default.
- W51137601 magId "51137601" @default.
- W51137601 workType "book-chapter" @default.