Foundations of Reactive Synthesis for Declarative Process Specifications.

Luca Geatti Marco Montali Andrey Rivkin

Published in: AAAI (2024)

Keyphrases

knowledge representation
data sets
artificial intelligence
domain specific
real time
information systems
decision making
control system
domain knowledge
process model
conceptual model