On the monotonicity of (LDL) logic programs with set.

DOI10.1007/BF01556352zbMath1034.68514OpenAlexW1972914253MaRDI QIDQ1353958

O. Diekmann

Publication date: 13 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01556352

zbMATH Keywords

logical query languages

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Cites Work

• Logic programming with sets
• Parallel complexity of logical query programs
• A calculus for complex objects
• Compilation of set terms in the logic data language (LDL)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the monotonicity of (LDL) logic programs with set.