The following pages link to Logic Programming (Q5313185):
Displaying 7 items.
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- (Q3838815) (← links)
- Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- (Q5309600) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)