Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567480092> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1567480092 endingPage "429" @default.
- W1567480092 startingPage "414" @default.
- W1567480092 abstract "Graphs are suitable modeling formalisms for software and hardware systems involving aspects such as communication, object orientation, concurrency, mobility and distribution. State spaces of such systems can be represented by graph transition systems, which are basically transition systems whose states and transitions represent graphs and graph morphisms. Heuristic search is a successful Artificial Intelligence technique for solving exploration problems implicitly present in games, planning, and formal verification. Heuristic search exploits information about the problem being solved to guide the exploration process. The main benefits are significant reductions in the search effort and the size of solutions. We propose the application of heuristic search for the analysis of graph transition systems. We define algorithms and heuristics and present experimental results." @default.
- W1567480092 created "2016-06-24" @default.
- W1567480092 creator A5012725754 @default.
- W1567480092 creator A5054527006 @default.
- W1567480092 creator A5058729606 @default.
- W1567480092 date "2006-01-01" @default.
- W1567480092 modified "2023-10-16" @default.
- W1567480092 title "Heuristic Search for the Analysis of Graph Transition Systems" @default.
- W1567480092 cites W1511442367 @default.
- W1567480092 cites W1545688112 @default.
- W1567480092 cites W1563892973 @default.
- W1567480092 cites W1596552075 @default.
- W1567480092 cites W1969483458 @default.
- W1567480092 cites W1987073197 @default.
- W1567480092 cites W2006406722 @default.
- W1567480092 cites W2036482568 @default.
- W1567480092 cites W2076632469 @default.
- W1567480092 cites W2122054842 @default.
- W1567480092 cites W2124749939 @default.
- W1567480092 cites W2124789887 @default.
- W1567480092 cites W2134871878 @default.
- W1567480092 cites W2137081436 @default.
- W1567480092 cites W2150470619 @default.
- W1567480092 cites W3101985365 @default.
- W1567480092 cites W4255509347 @default.
- W1567480092 doi "https://doi.org/10.1007/11841883_29" @default.
- W1567480092 hasPublicationYear "2006" @default.
- W1567480092 type Work @default.
- W1567480092 sameAs 1567480092 @default.
- W1567480092 citedByCount "20" @default.
- W1567480092 countsByYear W15674800922012 @default.
- W1567480092 countsByYear W15674800922013 @default.
- W1567480092 countsByYear W15674800922014 @default.
- W1567480092 countsByYear W15674800922016 @default.
- W1567480092 countsByYear W15674800922017 @default.
- W1567480092 countsByYear W15674800922018 @default.
- W1567480092 countsByYear W15674800922022 @default.
- W1567480092 crossrefType "book-chapter" @default.
- W1567480092 hasAuthorship W1567480092A5012725754 @default.
- W1567480092 hasAuthorship W1567480092A5054527006 @default.
- W1567480092 hasAuthorship W1567480092A5058729606 @default.
- W1567480092 hasBestOaLocation W15674800922 @default.
- W1567480092 hasConcept C111919701 @default.
- W1567480092 hasConcept C11413529 @default.
- W1567480092 hasConcept C120314980 @default.
- W1567480092 hasConcept C125583679 @default.
- W1567480092 hasConcept C127705205 @default.
- W1567480092 hasConcept C132525143 @default.
- W1567480092 hasConcept C139979381 @default.
- W1567480092 hasConcept C154945302 @default.
- W1567480092 hasConcept C165696696 @default.
- W1567480092 hasConcept C171018156 @default.
- W1567480092 hasConcept C173801870 @default.
- W1567480092 hasConcept C193702766 @default.
- W1567480092 hasConcept C19889080 @default.
- W1567480092 hasConcept C2524010 @default.
- W1567480092 hasConcept C2779167558 @default.
- W1567480092 hasConcept C33923547 @default.
- W1567480092 hasConcept C38652104 @default.
- W1567480092 hasConcept C41008148 @default.
- W1567480092 hasConcept C80444323 @default.
- W1567480092 hasConceptScore W1567480092C111919701 @default.
- W1567480092 hasConceptScore W1567480092C11413529 @default.
- W1567480092 hasConceptScore W1567480092C120314980 @default.
- W1567480092 hasConceptScore W1567480092C125583679 @default.
- W1567480092 hasConceptScore W1567480092C127705205 @default.
- W1567480092 hasConceptScore W1567480092C132525143 @default.
- W1567480092 hasConceptScore W1567480092C139979381 @default.
- W1567480092 hasConceptScore W1567480092C154945302 @default.
- W1567480092 hasConceptScore W1567480092C165696696 @default.
- W1567480092 hasConceptScore W1567480092C171018156 @default.
- W1567480092 hasConceptScore W1567480092C173801870 @default.
- W1567480092 hasConceptScore W1567480092C193702766 @default.
- W1567480092 hasConceptScore W1567480092C19889080 @default.
- W1567480092 hasConceptScore W1567480092C2524010 @default.
- W1567480092 hasConceptScore W1567480092C2779167558 @default.
- W1567480092 hasConceptScore W1567480092C33923547 @default.
- W1567480092 hasConceptScore W1567480092C38652104 @default.
- W1567480092 hasConceptScore W1567480092C41008148 @default.
- W1567480092 hasConceptScore W1567480092C80444323 @default.
- W1567480092 hasLocation W15674800921 @default.
- W1567480092 hasLocation W15674800922 @default.
- W1567480092 hasOpenAccess W1567480092 @default.
- W1567480092 hasPrimaryLocation W15674800921 @default.
- W1567480092 hasRelatedWork W1567480092 @default.
- W1567480092 hasRelatedWork W1881819129 @default.
- W1567480092 hasRelatedWork W2182758885 @default.
- W1567480092 hasRelatedWork W2295002169 @default.
- W1567480092 hasRelatedWork W2295532854 @default.
- W1567480092 hasRelatedWork W2733854862 @default.
- W1567480092 hasRelatedWork W3038026295 @default.
- W1567480092 hasRelatedWork W3089868768 @default.
- W1567480092 hasRelatedWork W3197354642 @default.
- W1567480092 hasRelatedWork W2507339225 @default.
- W1567480092 isParatext "false" @default.
- W1567480092 isRetracted "false" @default.
- W1567480092 magId "1567480092" @default.
- W1567480092 workType "book-chapter" @default.