Pages that link to "Item:Q1854304"
From MaRDI portal
The following pages link to Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\). (Q1854304):
Displaying 8 items.
- A semideterministic approach to object creation and nondeterminism in database queries (Q676418) (← links)
- Fundamental properties of deterministic and nondeterministic extensions of Datalog (Q756410) (← links)
- Multiple total stable models are definitely needed to solve unique solution problems (Q1349967) (← links)
- Directed st-Connectivity Is Not Expressible in Symmetric Datalog (Q3519500) (← links)
- IsaLog¬: a deductive language with negation for complex-object databases with hierarchies (Q4398681) (← links)
- On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach (Q5140009) (← links)
- Datalog with Negation and Monotonicity. (Q5874373) (← links)
- DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF (Q6132415) (← links)