The following pages link to Ari Saptawijaya (Q2851277):
Displayed 6 items.
- Program Updating by Incremental and Answer Subsumption Tabling (Q2851278) (← links)
- Incremental Tabling for Query-Driven Propagation of Logic Program Updates (Q2870163) (← links)
- Moral Reasoning under Uncertainty (Q2891452) (← links)
- Improving Resource-Unaware SAT Solvers (Q4933329) (← links)
- (Q5020972) (← links)
- Logic Programming (Q5475810) (← links)