Pages that link to "Item:Q5053013"
From MaRDI portal
The following pages link to Logic programming with strong negation (Q5053013):
Displaying 8 items.
- Negation and constraint logic programming (Q1891129) (← links)
- Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
- Logic Programming with Strong Negation and Inexact Predicates (Q3988060) (← links)
- Some properties of system descriptions of (Q4583309) (← links)
- On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Logics in Artificial Intelligence (Q5394131) (← links)
- Datalog with Negation and Monotonicity. (Q5874373) (← links)