Pages that link to "Item:Q3648356"
From MaRDI portal
The following pages link to The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356):
Displaying 6 items.
- Reactive computing as model generation (Q264957) (← links)
- Super-Solutions (Q2946725) (← links)
- Answers that Have Integrity (Q3092322) (← links)
- The IFF proof procedure for abductive logic programming (Q4371992) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)