Simulating Petri nets with Boolean Matrix Logic Programming.
Lun AiStephen H. MuggletonShi-Shun LiangGeoff S. BaldwinPublished in: CoRR (2024)
Keyphrases
- logic programming
- petri net
- logic programs
- logic programming language
- petri net model
- knowledge representation
- deductive databases
- nonmonotonic reasoning
- answer set programming
- discrete event systems
- programming language
- answer sets
- knowledge base
- computational logic
- fuzzy petri net
- stable models
- inductive logic programming
- colored petri nets
- service composition
- reasoning about actions
- boolean functions
- machine learning
- representing knowledge
- disjunctive logic programming
- hardware and software
- fixpoint
- constraint logic programming
- general purpose
- high level