Pages that link to "Item:Q3706525"
From MaRDI portal
The following pages link to A basis for deductive database systems (Q3706525):
Displaying 11 items.
- Legality concepts for three-valued logic programs (Q689286) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Domain-independent formulas and databases (Q1092679) (← links)
- Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions (Q1101250) (← links)
- Inferring negative information from disjunctive databases (Q1114440) (← links)
- Relevant logic programming (Q1181715) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- Handling database updates in two-dimensional temporal logic (Q4275692) (← links)
- Abduction over 3-valued extended logic programs (Q5101439) (← links)