Pages that link to "Item:Q5424873"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424873):
Displaying 6 items.
- Equivalence issues in abduction and induction (Q833733) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- A solver for QBFs in negation normal form (Q1020501) (← links)
- (Q2754111) (← links)
- (Q4412859) (← links)
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective (Q5038473) (← links)