A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic.
John JeffreyJorge LoboTadao MurataPublished in: IEEE Trans. Knowl. Data Eng. (1996)
Keyphrases
- goal directed
- petri net
- high level
- semantic information
- horn clause logic
- low level
- petri net model
- logic programming
- manufacturing systems
- service composition
- autonomous robots
- discrete event systems
- colored petri nets
- ims ld
- background knowledge
- web service composition
- fuzzy petri net
- general purpose
- representation language
- stochastic petri net
- contextual information
- programming language
- stable models
- knowledge representation
- training data