The following pages link to (Q3773305):
Displaying 8 items.
- Implementing constructive intensional negation (Q839831) (← links)
- First order compiler: A deterministic logic program synthesis algorithm (Q908686) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- From here to there: Stable negation in logic programming (Q2715522) (← links)
- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties (Q2900469) (← links)
- (Q4954441) (← links)
- (Q4955338) (← links)
- (Q4955346) (← links)