A Class of Hypernets with Token Creation and Decidable Reachability Problem.

Marek A. Bednarczyk Piotr Józwiak Wieslaw Pawlowski

Published in: CS&P (2012)

Keyphrases

transitive closure
multi agent
state space
first order logic
database
data sets
neural network
computer vision
database systems
knowledge representation
multi class