Pages that link to "Item:Q803773"
From MaRDI portal
The following pages link to The expressive power of stratified logic programs (Q803773):
Displaying 27 items.
- Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Datalog extensions for database queries and updates (Q1176285) (← links)
- Why not negation by fixpoint? (Q1176286) (← links)
- On the expressive power of database queries with intermediate types (Q1176290) (← links)
- The expressive power of the bounded-iteration construct (Q1186517) (← links)
- Capturing complexity classes by fragments of second-order logic (Q1193408) (← links)
- The functional dimension of inductive definitions (Q1193414) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Semantics and expressiveness issues in active databases (Q1278040) (← links)
- The expressive power of stratified logic programs with value invention (Q1281496) (← links)
- Stratified least fixpoint logic (Q1331926) (← links)
- Non-determinism in logic-based languages (Q1360676) (← links)
- The expressive powers of stable models for bound and unbound DATALOG queries (Q1362337) (← links)
- Polynomial-time computable stable models (Q1380428) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Program schemes, arrays, Lindström quantifiers and zero-one laws (Q1606129) (← links)
- Functional queries in datalog (Q1862647) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- The expressiveness of locally stratified programs (Q1924734) (← links)
- Complexity and undecidability results for logic programming (Q1924779) (← links)
- On Q-Resolution and CDCL QBF Solving (Q2818030) (← links)
- On the impact of stratification on the complexity of nonmonotonic reasoning (Q4317728) (← links)
- (Q4625692) (← links)
- Complexity and expressive power of second‐order extended Horn logic (Q4915214) (← links)
- A declarative extension of horn clauses, and its significance for datalog and its applications (Q5398299) (← links)
- Semantics and expressive power of nondeterministic constructs in deductive databases (Q5943120) (← links)
