The following pages link to Marco Montali (Q315289):
Displaying 3 items.
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework (Q5747982) (← links)
