Update rules in datalog programs (Q5101442)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7577920

Language	Label	Description	Also known as
English	Update rules in datalog programs	scientific article; zbMATH DE number 7577920

Statements

scholarly article

0 references

Update rules in datalog programs (English)

0 references

Mírian Halfeld Ferrari Alves

0 references

Dominique Laurent

0 references

Nicolas Spyratos

0 references

Logic Programming and Nonmonotonic Reasoning

0 references

publication date

30 August 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-59487-6_6

0 references

Negation in rule-based database languages: A survey

0 references

Negation by default and unstratifiable logic programs

0 references

The well-founded semantics for general logic programs

0 references

0 references

On the relationship between circumscription and negation as failure

0 references

Passive and active rules in deductive databases

0 references

Update rules in datalog programs

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/3-540-59487-6_6

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5101442

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5101442&oldid=36848697"