Pages that link to "Item:Q1924734"
From MaRDI portal
The following pages link to The expressiveness of locally stratified programs (Q1924734):
Displaying 6 items.
- Logic programming with infinite sets (Q812390) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- A context for belief revision: forward chaining-normal nonmonotonic rule systems (Q1326782) (← links)
- Complexity and undecidability results for logic programming (Q1924779) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
