The following pages link to (Q3983046):
Displayed 7 items.
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- The meaning of negative premises in transition system specifications. II (Q1878713) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- On the Coincidence of Semantics for Uniquely Determined Programs (Q4923373) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)