Pages that link to "Item:Q3821633"
From MaRDI portal
The following pages link to Negation as failure using tight derivations for general logic programs (Q3821633):
Displayed 8 items.
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Execution of logic programs by iterative-deepening A\(^*\) SLD-tree search (Q688625) (← links)
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168) (← links)
- The expressive powers of stable models for bound and unbound DATALOG queries (Q1362337) (← links)
- Modality and interrupts (Q1891265) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- Well-founded and stationary models of logic programs (Q1924748) (← links)