Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning.
Saadat AnwarChitta BaralKatsumi InouePublished in: CoRR (2013)
Keyphrases
- petri net
- answer set programming
- colored petri nets
- logic programming
- logic programs
- answer sets
- petri net model
- discrete event systems
- causal theories
- constraint logic programming
- answer set programs
- fuzzy petri net
- stable model semantics
- simulation model
- update semantics
- stable models
- service composition
- disjunctive logic programming
- genetic algorithm
- ims ld
- machine learning
- haplotype inference
- constraint satisfaction
- general purpose
- knowledge base
- modulo theories