Matches in SemOpenAlex for { <https://semopenalex.org/work/W2126996806> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2126996806 abstract "A new high level Petri net (HLPN) model is introduced as a graphical syntax for Horn clause logic (HCL) programs. We call these nets: Horn clause logic goal directed nets (HCLGNs). It is shown that there is a bijection between the queried definite programs and the class of HCLGNs. In addition, a visualization of SLD resolution is realized through the enabling and firing rules and net markings. The correctness of these rules with respect to SLD resolution is also proven. We model SLD refutations and failing computations. It is shown how HCLGNs can be used to model built in atoms and provide a new AND/OR parallel execution model. Recently, several software packages (graphical editors) have become available for editing and executing HLPNs. The simulation capabilities of the HLPN software offer opportunities to perform automated, interactive code walk throughs and also have potential for providing a framework for visual debugging environments. However, HCLGNs differ from the major classes of HLPNs for which software tools have been developed in primarily two ways: the tokens in the markings can have variables; and the firing of a transition may not only update the marking of the adjacent places, but may instantiate variables in tokens in the markings of places that are non adjacent to the fired transition. Thus, the existing packages can only provide graphical syntax editing and are not appropriate for graphical simulation of HCLGNs. We provide an algebraic characterization of HCLGNs that can serve as a design guideline for implementing HCLGNs." @default.
- W2126996806 created "2016-06-24" @default.
- W2126996806 creator A5011134763 @default.
- W2126996806 creator A5039295194 @default.
- W2126996806 creator A5090886418 @default.
- W2126996806 date "1996-04-01" @default.
- W2126996806 modified "2023-09-26" @default.
- W2126996806 title "A high-level Petri net for goal-directed semantics of Horn clause logic" @default.
- W2126996806 cites W1522225310 @default.
- W2126996806 cites W1551554715 @default.
- W2126996806 cites W17364777 @default.
- W2126996806 cites W174999339 @default.
- W2126996806 cites W1970045008 @default.
- W2126996806 cites W1996109622 @default.
- W2126996806 cites W2011306767 @default.
- W2126996806 cites W2017860618 @default.
- W2126996806 cites W2023660134 @default.
- W2126996806 cites W2053384008 @default.
- W2126996806 cites W2058419383 @default.
- W2126996806 cites W2074059738 @default.
- W2126996806 cites W2125129987 @default.
- W2126996806 cites W2139756789 @default.
- W2126996806 cites W2157813007 @default.
- W2126996806 cites W2163058466 @default.
- W2126996806 cites W2170541558 @default.
- W2126996806 cites W2174637891 @default.
- W2126996806 cites W2631739413 @default.
- W2126996806 cites W3021872309 @default.
- W2126996806 cites W31561947 @default.
- W2126996806 cites W34775218 @default.
- W2126996806 cites W71315166 @default.
- W2126996806 doi "https://doi.org/10.1109/69.494164" @default.
- W2126996806 hasPublicationYear "1996" @default.
- W2126996806 type Work @default.
- W2126996806 sameAs 2126996806 @default.
- W2126996806 citedByCount "20" @default.
- W2126996806 countsByYear W21269968062012 @default.
- W2126996806 countsByYear W21269968062014 @default.
- W2126996806 countsByYear W21269968062015 @default.
- W2126996806 crossrefType "journal-article" @default.
- W2126996806 hasAuthorship W2126996806A5011134763 @default.
- W2126996806 hasAuthorship W2126996806A5039295194 @default.
- W2126996806 hasAuthorship W2126996806A5090886418 @default.
- W2126996806 hasConcept C128838566 @default.
- W2126996806 hasConcept C154945302 @default.
- W2126996806 hasConcept C168065819 @default.
- W2126996806 hasConcept C184337299 @default.
- W2126996806 hasConcept C189790780 @default.
- W2126996806 hasConcept C199360897 @default.
- W2126996806 hasConcept C2777904410 @default.
- W2126996806 hasConcept C38677869 @default.
- W2126996806 hasConcept C41008148 @default.
- W2126996806 hasConcept C55439883 @default.
- W2126996806 hasConcept C60048249 @default.
- W2126996806 hasConcept C80444323 @default.
- W2126996806 hasConcept C81721847 @default.
- W2126996806 hasConceptScore W2126996806C128838566 @default.
- W2126996806 hasConceptScore W2126996806C154945302 @default.
- W2126996806 hasConceptScore W2126996806C168065819 @default.
- W2126996806 hasConceptScore W2126996806C184337299 @default.
- W2126996806 hasConceptScore W2126996806C189790780 @default.
- W2126996806 hasConceptScore W2126996806C199360897 @default.
- W2126996806 hasConceptScore W2126996806C2777904410 @default.
- W2126996806 hasConceptScore W2126996806C38677869 @default.
- W2126996806 hasConceptScore W2126996806C41008148 @default.
- W2126996806 hasConceptScore W2126996806C55439883 @default.
- W2126996806 hasConceptScore W2126996806C60048249 @default.
- W2126996806 hasConceptScore W2126996806C80444323 @default.
- W2126996806 hasConceptScore W2126996806C81721847 @default.
- W2126996806 hasLocation W21269968061 @default.
- W2126996806 hasOpenAccess W2126996806 @default.
- W2126996806 hasPrimaryLocation W21269968061 @default.
- W2126996806 hasRelatedWork W1490930296 @default.
- W2126996806 hasRelatedWork W1522723082 @default.
- W2126996806 hasRelatedWork W1585183969 @default.
- W2126996806 hasRelatedWork W1602294190 @default.
- W2126996806 hasRelatedWork W1827599051 @default.
- W2126996806 hasRelatedWork W19213215 @default.
- W2126996806 hasRelatedWork W1973582361 @default.
- W2126996806 hasRelatedWork W1983695415 @default.
- W2126996806 hasRelatedWork W1988899410 @default.
- W2126996806 hasRelatedWork W1996109622 @default.
- W2126996806 hasRelatedWork W2015077407 @default.
- W2126996806 hasRelatedWork W2015755355 @default.
- W2126996806 hasRelatedWork W2101312015 @default.
- W2126996806 hasRelatedWork W2132338508 @default.
- W2126996806 hasRelatedWork W2135396778 @default.
- W2126996806 hasRelatedWork W2142763728 @default.
- W2126996806 hasRelatedWork W2159174117 @default.
- W2126996806 hasRelatedWork W2277635278 @default.
- W2126996806 hasRelatedWork W2336826520 @default.
- W2126996806 hasRelatedWork W1797404311 @default.
- W2126996806 isParatext "false" @default.
- W2126996806 isRetracted "false" @default.
- W2126996806 magId "2126996806" @default.
- W2126996806 workType "article" @default.