Plot Composition by Mapping Situation Calculus Schemas into Petri Net Representation.
Edirlei Soares de LimaAntonio L. FurtadoBruno FeijóMarco A. CasanovaPublished in: ICEC (2022)
Keyphrases
- petri net
- situation calculus
- web service composition
- event calculus
- action theories
- petri net model
- initial state
- provably correct
- fluent calculus
- colored petri nets
- service composition
- reasoning about actions
- modal logic
- logical language
- fuzzy petri net
- sensing actions
- blocks world
- web services
- agent programming
- natural language
- artificial intelligence