The following pages link to (Q4955347):
Displayed 5 items.
- Generalized metrics and uniquely determined logic programs. (Q1427780) (← links)
- Logic programs and connectionist networks (Q1884268) (← links)
- On the Coincidence of Semantics for Uniquely Determined Programs (Q4923373) (← links)
- Properties of General Semantic Operators Determined by Logic-Based Systems (Q4982061) (← links)
- Logic Programs under Three-Valued Łukasiewicz Semantics (Q5325771) (← links)