[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/tkde/LinCWM93>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Abhijit_Chaudhury>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Andrew_B._Whinston>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Chuang_Lin_0002>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Dan_C._Marinescu>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1109%2F69.224194>
foaf:homepage <https://doi.org/10.1109/69.224194>
dc:identifier DBLP journals/tkde/LinCWM93 (xsd:string)
dc:identifier DOI doi.org%2F10.1109%2F69.224194 (xsd:string)
dcterms:issued 1993 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/tkde>
rdfs:label Logical Inference of Horn Clauses in Petri Net Models. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Abhijit_Chaudhury>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Andrew_B._Whinston>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Chuang_Lin_0002>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Dan_C._Marinescu>
swrc:number 3 (xsd:string)
swrc:pages 416-425 (xsd:string)
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/ac/GenrichLT75>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/ai/Pearl86>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/AptE82>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/DavisP60>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tse/MurataZ88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tse/PeterkaM89>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/tkde/LinCWM93/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/tkde/LinCWM93>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/tkde/tkde5.html#LinCWM93>
rdfs:seeAlso <https://doi.org/10.1109/69.224194>
dc:subject logical inference; Horn clauses; Petri net models; propositional logic; first-order predicate logic; net model; logical inconsistency check; T-invariants; resolution; one-literal; pure-literal; splitting clauses; Horn clauses; inference mechanisms; Petri nets (xsd:string)
dc:title Logical Inference of Horn Clauses in Petri Net Models. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 5 (xsd:string)