Login / Signup

Logical Inference of Horn Clauses in Petri Net Models.

Chuang LinAbhijit ChaudhuryAndrew B. WhinstonDan C. Marinescu
Published in: IEEE Trans. Knowl. Data Eng. (1993)
Keyphrases
  • petri net
  • stochastic petri net
  • horn clauses
  • logical inference
  • co occurrence
  • knowledge representation
  • first order logic
  • database
  • databases
  • expert systems
  • fuzzy sets
  • knowledge acquisition