Pages that link to "Item:Q753476"
From MaRDI portal
The following pages link to Negation in rule-based database languages: A survey (Q753476):
Displaying 15 items.
- A mechanism of function calls in MSVL (Q344760) (← links)
- Tie-breaking semantics and structural totality (Q676419) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Recovery of (non)monotonic theories (Q1275600) (← links)
- The expressive powers of stable models for bound and unbound DATALOG queries (Q1362337) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Update rules in datalog programs (Q5101442) (← links)
- Revision by communication (Q5101450) (← links)
- Revising and updating using a back-up semantics (Q5236447) (← links)
- CWA formalizations in multi-valued logics (Q5942700) (← links)
