Encoding Higher Level Extensions of Petri Nets in Answer Set Programming.
Saadat AnwarChitta BaralKatsumi InouePublished in: CoRR (2013)
Keyphrases
- petri net
- answer set programming
- higher level
- default theories
- logic programs
- answer sets
- logic programming
- low level
- petri net model
- discrete event systems
- constraint logic programming
- stable model semantics
- answer set programs
- causal theories
- fuzzy petri net
- knowledge representation
- high level
- disjunctive logic programming
- ims ld
- haplotype inference
- colored petri nets
- default logic
- service composition
- update semantics
- machine learning
- stable models
- stochastic petri net