Matches in SemOpenAlex for { <https://semopenalex.org/work/W2326695937> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2326695937 endingPage "147" @default.
- W2326695937 startingPage "141" @default.
- W2326695937 abstract "Logical inference of clauses has been an important technique in automated reasoning. The process of inference determines whether a given clause is implied by a collection of clauses. Petri nets have been a popular formalism for modelling the behavior of complex systems. A large volume of techniques have been developed to analyze Petri net models and derive conclusions about the logical behavior of systems. The computation of the T-invariants for Petri net models enable us to study their logical properties. Mapping between Horn clauses and Petri nets have been proposed in the literature. In this paper, we survey the mapping techniques proposed in the literature. We also show how this mapping can be extended to non Horn clauses." @default.
- W2326695937 created "2016-06-24" @default.
- W2326695937 creator A5078143614 @default.
- W2326695937 creator A5090293507 @default.
- W2326695937 date "1996-05-01" @default.
- W2326695937 modified "2023-10-03" @default.
- W2326695937 title "A Petri Net Approach for Logical Inference of Clauses" @default.
- W2326695937 cites W1630045723 @default.
- W2326695937 cites W1996109622 @default.
- W2326695937 cites W2099767492 @default.
- W2326695937 cites W2139756789 @default.
- W2326695937 cites W2142763728 @default.
- W2326695937 cites W4249538237 @default.
- W2326695937 doi "https://doi.org/10.1080/03772063.1996.11415917" @default.
- W2326695937 hasPublicationYear "1996" @default.
- W2326695937 type Work @default.
- W2326695937 sameAs 2326695937 @default.
- W2326695937 citedByCount "0" @default.
- W2326695937 crossrefType "journal-article" @default.
- W2326695937 hasAuthorship W2326695937A5078143614 @default.
- W2326695937 hasAuthorship W2326695937A5090293507 @default.
- W2326695937 hasConcept C11413529 @default.
- W2326695937 hasConcept C136155141 @default.
- W2326695937 hasConcept C142362112 @default.
- W2326695937 hasConcept C153349607 @default.
- W2326695937 hasConcept C154945302 @default.
- W2326695937 hasConcept C189790780 @default.
- W2326695937 hasConcept C199360897 @default.
- W2326695937 hasConcept C21847791 @default.
- W2326695937 hasConcept C2776214188 @default.
- W2326695937 hasConcept C38677869 @default.
- W2326695937 hasConcept C41008148 @default.
- W2326695937 hasConcept C45374587 @default.
- W2326695937 hasConcept C558565934 @default.
- W2326695937 hasConcept C73301696 @default.
- W2326695937 hasConcept C80444323 @default.
- W2326695937 hasConcept C81721847 @default.
- W2326695937 hasConceptScore W2326695937C11413529 @default.
- W2326695937 hasConceptScore W2326695937C136155141 @default.
- W2326695937 hasConceptScore W2326695937C142362112 @default.
- W2326695937 hasConceptScore W2326695937C153349607 @default.
- W2326695937 hasConceptScore W2326695937C154945302 @default.
- W2326695937 hasConceptScore W2326695937C189790780 @default.
- W2326695937 hasConceptScore W2326695937C199360897 @default.
- W2326695937 hasConceptScore W2326695937C21847791 @default.
- W2326695937 hasConceptScore W2326695937C2776214188 @default.
- W2326695937 hasConceptScore W2326695937C38677869 @default.
- W2326695937 hasConceptScore W2326695937C41008148 @default.
- W2326695937 hasConceptScore W2326695937C45374587 @default.
- W2326695937 hasConceptScore W2326695937C558565934 @default.
- W2326695937 hasConceptScore W2326695937C73301696 @default.
- W2326695937 hasConceptScore W2326695937C80444323 @default.
- W2326695937 hasConceptScore W2326695937C81721847 @default.
- W2326695937 hasIssue "3" @default.
- W2326695937 hasLocation W23266959371 @default.
- W2326695937 hasOpenAccess W2326695937 @default.
- W2326695937 hasPrimaryLocation W23266959371 @default.
- W2326695937 hasRelatedWork W1541733353 @default.
- W2326695937 hasRelatedWork W1561681267 @default.
- W2326695937 hasRelatedWork W1594548259 @default.
- W2326695937 hasRelatedWork W1604339688 @default.
- W2326695937 hasRelatedWork W2009921028 @default.
- W2326695937 hasRelatedWork W2011342176 @default.
- W2326695937 hasRelatedWork W2090238417 @default.
- W2326695937 hasRelatedWork W2105470382 @default.
- W2326695937 hasRelatedWork W2138672173 @default.
- W2326695937 hasRelatedWork W2140849218 @default.
- W2326695937 hasRelatedWork W2188461229 @default.
- W2326695937 hasRelatedWork W2343563019 @default.
- W2326695937 hasRelatedWork W2356104788 @default.
- W2326695937 hasRelatedWork W2522308137 @default.
- W2326695937 hasRelatedWork W27258760 @default.
- W2326695937 hasRelatedWork W2968345962 @default.
- W2326695937 hasRelatedWork W3204133576 @default.
- W2326695937 hasRelatedWork W77700679 @default.
- W2326695937 hasRelatedWork W2109645077 @default.
- W2326695937 hasRelatedWork W2189123974 @default.
- W2326695937 hasVolume "42" @default.
- W2326695937 isParatext "false" @default.
- W2326695937 isRetracted "false" @default.
- W2326695937 magId "2326695937" @default.
- W2326695937 workType "article" @default.