Matches in SemOpenAlex for { <https://semopenalex.org/work/W1693671419> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1693671419 endingPage "120" @default.
- W1693671419 startingPage "105" @default.
- W1693671419 abstract "In a context where graph transformation is used to explore a space of possible solutions to a given problem, it is almost always necessary to inspect candidate solutions for relevant properties. This means that there is a need for a flexible mechanism to query not only graphs but also their evolution. In this paper we show how to use Prolog queries to analyse graph exploration. Queries can operate both on the level of individual graphs and on the level of the transformation steps, enabling a very powerful and flexible analysis method. This has been implemented in the graph-based verification tool groove. As an application of this approach, we show how it gives rise to a competitive analysis technique in the domain of feature modelling." @default.
- W1693671419 created "2016-06-24" @default.
- W1693671419 creator A5036689598 @default.
- W1693671419 creator A5037086805 @default.
- W1693671419 creator A5045219123 @default.
- W1693671419 creator A5048000239 @default.
- W1693671419 creator A5065913689 @default.
- W1693671419 date "2012-01-01" @default.
- W1693671419 modified "2023-09-27" @default.
- W1693671419 title "Knowledge-Based Graph Exploration Analysis" @default.
- W1693671419 cites W1570173564 @default.
- W1693671419 cites W1608654004 @default.
- W1693671419 cites W1635078070 @default.
- W1693671419 cites W1972844678 @default.
- W1693671419 cites W1985422962 @default.
- W1693671419 cites W2099213660 @default.
- W1693671419 cites W2111038497 @default.
- W1693671419 cites W2113201637 @default.
- W1693671419 cites W2128967738 @default.
- W1693671419 cites W2131637630 @default.
- W1693671419 cites W2131966463 @default.
- W1693671419 cites W2155403943 @default.
- W1693671419 cites W2157901438 @default.
- W1693671419 cites W2171877225 @default.
- W1693671419 cites W2477378326 @default.
- W1693671419 cites W4249573400 @default.
- W1693671419 doi "https://doi.org/10.1007/978-3-642-34176-2_11" @default.
- W1693671419 hasPublicationYear "2012" @default.
- W1693671419 type Work @default.
- W1693671419 sameAs 1693671419 @default.
- W1693671419 citedByCount "4" @default.
- W1693671419 countsByYear W16936714192014 @default.
- W1693671419 countsByYear W16936714192016 @default.
- W1693671419 crossrefType "book-chapter" @default.
- W1693671419 hasAuthorship W1693671419A5036689598 @default.
- W1693671419 hasAuthorship W1693671419A5037086805 @default.
- W1693671419 hasAuthorship W1693671419A5045219123 @default.
- W1693671419 hasAuthorship W1693671419A5048000239 @default.
- W1693671419 hasAuthorship W1693671419A5065913689 @default.
- W1693671419 hasConcept C132525143 @default.
- W1693671419 hasConcept C23123220 @default.
- W1693671419 hasConcept C2522767166 @default.
- W1693671419 hasConcept C2987255567 @default.
- W1693671419 hasConcept C41008148 @default.
- W1693671419 hasConcept C80444323 @default.
- W1693671419 hasConceptScore W1693671419C132525143 @default.
- W1693671419 hasConceptScore W1693671419C23123220 @default.
- W1693671419 hasConceptScore W1693671419C2522767166 @default.
- W1693671419 hasConceptScore W1693671419C2987255567 @default.
- W1693671419 hasConceptScore W1693671419C41008148 @default.
- W1693671419 hasConceptScore W1693671419C80444323 @default.
- W1693671419 hasLocation W16936714191 @default.
- W1693671419 hasOpenAccess W1693671419 @default.
- W1693671419 hasPrimaryLocation W16936714191 @default.
- W1693671419 hasRelatedWork W2907467702 @default.
- W1693671419 hasRelatedWork W3005218912 @default.
- W1693671419 hasRelatedWork W3044187822 @default.
- W1693671419 hasRelatedWork W3200449081 @default.
- W1693671419 hasRelatedWork W3205049642 @default.
- W1693671419 hasRelatedWork W4226126822 @default.
- W1693671419 hasRelatedWork W4226370857 @default.
- W1693671419 hasRelatedWork W4286435951 @default.
- W1693671419 hasRelatedWork W4313190100 @default.
- W1693671419 hasRelatedWork W4221147382 @default.
- W1693671419 isParatext "false" @default.
- W1693671419 isRetracted "false" @default.
- W1693671419 magId "1693671419" @default.
- W1693671419 workType "book-chapter" @default.