Keyphrases
- petri net
- situation calculus
- petri net model
- event calculus
- action theories
- reasoning about actions
- initial state
- discrete event systems
- domain knowledge
- colored petri nets
- knowledge representation
- logical language
- service composition
- modal logic
- fluent calculus
- knowledge base
- fuzzy petri net
- provably correct
- ims ld
- concurrent actions
- domain specific
- taxonomic reasoning
- planning problems
- indirect effects
- sensing actions
- expert systems
- artificial intelligence
- programmable logic controller