Xtend Transformation from PDDL to Event-B.

Farah Fourati Mohamed Tahar Bhiri Riadh Robbana

Published in: ICCCI (2022)

Keyphrases

event detection
news articles
linear transformation
situation calculus
planning domains
ai planning
data streams
soft constraints
geometric transformations
event recognition
definition language
news stories
temporal relations
complex events