scientific article; zbMATH DE number 4199653
From MaRDI portal
Publication:3348435
Recommendations
Cited in
(43)- Stratification and knowledge base management
- Verifying local stratifiability of logic programs and databases
- Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
- Stratified least fixpoint logic
- On stratified disjunctive programs
- Applying restriction constraints to deductive databases
- Evaluation of queries under closed-world assumption. II: The hierarchical case
- Certifying standard and stratified Datalog inference engines in SSReflect
- The expressive powers of the logic programming semantics
- Using clausal deductive databases for defining semantics in disjunctive deductive databases
- Temporal stratification tests for linear and branching-time deductive databases
- Constructing interpretations of deductive databases using reduction and dynamic stratification
- COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4147465 (Why is no real title available?)
- scientific article; zbMATH DE number 4155872 (Why is no real title available?)
- Reachability is harder for directed than for undirected finite graphs
- Logic Programming Languages for Databases and the Web
- scientific article; zbMATH DE number 3936550 (Why is no real title available?)
- Correct answers to allowed programs and queries are ground
- scientific article; zbMATH DE number 52489 (Why is no real title available?)
- The defining power of stratified and hierarchical logic programs
- Subsumption-stratified datalog
- scientific article; zbMATH DE number 545140 (Why is no real title available?)
- The well-founded semantics for general logic programs
- A semantics for a class of stratified production system programs
- Mixed integer programming methods for computing nonmonotonic deductive databases
- scientific article; zbMATH DE number 1929962 (Why is no real title available?)
- scientific article; zbMATH DE number 2085287 (Why is no real title available?)
- On the relationship between annotated logic programs and nonmonotonic formalisms
- scientific article; zbMATH DE number 870410 (Why is no real title available?)
- An operator for composing deductive data bases with theories of constraints
- Update rules in Datalog programs
- On well-founded set-inductions and locally monotone operators
- Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
- On reasoning about structural equality in XML: a description logic approach
- scientific article; zbMATH DE number 4185010 (Why is no real title available?)
- Stratified negation in temporal logic programming and the cycle-sum test
- Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases
- Negation in rule-based database languages: A survey
- Negation by default and unstratifiable logic programs
- The expressive power of stratified logic programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3348435)
