The following pages link to (Q3334069):
Displaying 14 items.
- Legality concepts for three-valued logic programs (Q689286) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Programming in three-valued logic (Q753474) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Many-valued computational logics (Q912083) (← links)
- Optimal fixedpoints of logic programs (Q1069694) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- On computability by logic programs (Q1924787) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- (Q3471707) (← links)
- Local multi-valued logics in modular expert systems (Q4305335) (← links)
- Logic Programs under Three-Valued Łukasiewicz Semantics (Q5325771) (← links)