Login / Signup

Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams.

Leifeng HeGuanjun Liu
Published in: Comput. Informatics (2021)
Keyphrases
  • petri net
  • expert systems
  • knowledge representation
  • knowledge acquisition
  • knowledge based systems
  • artificial intelligence
  • multi agent
  • hardware and software
  • colored petri nets