Pages that link to "Item:Q1354044"
From MaRDI portal
The following pages link to Formalizing a logic for logic programming (Q1354044):
Displayed 7 items.
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
- Complexity and undecidability results for logic programming (Q1924779) (← links)
- On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
- Default consequence relations as a logical framework for logic programs (Q5101454) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)