Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning.
Saadat AnwarChitta BaralKatsumi InouePublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- petri net
- answer set programming
- colored petri nets
- logic programs
- answer sets
- logic programming
- petri net model
- discrete event systems
- constraint logic programming
- service composition
- answer set programs
- fuzzy petri net
- ims ld
- causal theories
- simulation model
- knowledge representation
- stable model semantics
- update semantics
- stochastic petri net
- knowledge base
- haplotype inference
- stable models
- discrete event
- genetic algorithm