Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517819683> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1517819683 endingPage "121" @default.
- W1517819683 startingPage "116" @default.
- W1517819683 abstract "Answering realistic questions about biological systems and pathways similar to text book questions used for testing students’ understanding of such systems is one of our long term research goals. Often these questions require simulation based reasoning. In this paper, we show how higher level extensions of Petri Nets, such as colored tokens can be encoded in Answer Set Programming, thereby providing the right formalisms to model and reason about such questions with relative ease. Our approach can be adapted to other domains." @default.
- W1517819683 created "2016-06-24" @default.
- W1517819683 creator A5015549692 @default.
- W1517819683 creator A5080458729 @default.
- W1517819683 creator A5083735830 @default.
- W1517819683 date "2013-01-01" @default.
- W1517819683 modified "2023-09-23" @default.
- W1517819683 title "Encoding Higher Level Extensions of Petri Nets in Answer Set Programming" @default.
- W1517819683 cites W1970640201 @default.
- W1517819683 cites W4231367708 @default.
- W1517819683 doi "https://doi.org/10.1007/978-3-642-40564-8_12" @default.
- W1517819683 hasPublicationYear "2013" @default.
- W1517819683 type Work @default.
- W1517819683 sameAs 1517819683 @default.
- W1517819683 citedByCount "5" @default.
- W1517819683 countsByYear W15178196832014 @default.
- W1517819683 countsByYear W15178196832015 @default.
- W1517819683 countsByYear W15178196832016 @default.
- W1517819683 countsByYear W15178196832020 @default.
- W1517819683 crossrefType "book-chapter" @default.
- W1517819683 hasAuthorship W1517819683A5015549692 @default.
- W1517819683 hasAuthorship W1517819683A5080458729 @default.
- W1517819683 hasAuthorship W1517819683A5083735830 @default.
- W1517819683 hasBestOaLocation W15178196832 @default.
- W1517819683 hasConcept C125411270 @default.
- W1517819683 hasConcept C154945302 @default.
- W1517819683 hasConcept C171018156 @default.
- W1517819683 hasConcept C177264268 @default.
- W1517819683 hasConcept C182620335 @default.
- W1517819683 hasConcept C199360897 @default.
- W1517819683 hasConcept C2524010 @default.
- W1517819683 hasConcept C33923547 @default.
- W1517819683 hasConcept C38677869 @default.
- W1517819683 hasConcept C41008148 @default.
- W1517819683 hasConcept C80444323 @default.
- W1517819683 hasConceptScore W1517819683C125411270 @default.
- W1517819683 hasConceptScore W1517819683C154945302 @default.
- W1517819683 hasConceptScore W1517819683C171018156 @default.
- W1517819683 hasConceptScore W1517819683C177264268 @default.
- W1517819683 hasConceptScore W1517819683C182620335 @default.
- W1517819683 hasConceptScore W1517819683C199360897 @default.
- W1517819683 hasConceptScore W1517819683C2524010 @default.
- W1517819683 hasConceptScore W1517819683C33923547 @default.
- W1517819683 hasConceptScore W1517819683C38677869 @default.
- W1517819683 hasConceptScore W1517819683C41008148 @default.
- W1517819683 hasConceptScore W1517819683C80444323 @default.
- W1517819683 hasLocation W15178196831 @default.
- W1517819683 hasLocation W15178196832 @default.
- W1517819683 hasOpenAccess W1517819683 @default.
- W1517819683 hasPrimaryLocation W15178196831 @default.
- W1517819683 hasRelatedWork W1490628649 @default.
- W1517819683 hasRelatedWork W1517948404 @default.
- W1517819683 hasRelatedWork W1556738948 @default.
- W1517819683 hasRelatedWork W1753293739 @default.
- W1517819683 hasRelatedWork W1948419321 @default.
- W1517819683 hasRelatedWork W2171836055 @default.
- W1517819683 hasRelatedWork W2952134500 @default.
- W1517819683 hasRelatedWork W2962785259 @default.
- W1517819683 hasRelatedWork W4289874384 @default.
- W1517819683 hasRelatedWork W1581947609 @default.
- W1517819683 isParatext "false" @default.
- W1517819683 isRetracted "false" @default.
- W1517819683 magId "1517819683" @default.
- W1517819683 workType "book-chapter" @default.