Encoding Reversing Petri Nets in Answer Set Programming.
Yannis DimopoulosEleftheria KouppariAnna PhilippouKyriaki PsaraPublished in: RC (2020)
Keyphrases
- petri net
- answer set programming
- logic programming
- logic programs
- answer sets
- petri net model
- constraint logic programming
- causal theories
- discrete event systems
- colored petri nets
- fuzzy petri net
- stable model semantics
- answer set programs
- service composition
- update semantics
- stochastic petri net
- stable models
- knowledge representation
- ims ld
- haplotype inference
- process model
- declarative programming
- knowledge base
- disjunctive logic programming
- web services
- qualitative spatial and temporal reasoning