The following pages link to Ana Sofia Gomes (Q2326707):
Displayed 6 items.
- Telco network inventory validation with NoHR (Q2326708) (← links)
- External Transaction Logic with Automatic Compensations (Q2851973) (← links)
- Transaction Logic with External Actions (Q3003266) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- Combining transactions and automatic repairs (Q4612416) (← links)
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731) (← links)