Negation and aggregates in recursive rules: the LDL++ approach
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 204-221
- https://doi.org/10.1007/3-540-57530-8_13
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Greedy by choicePublished by Association for Computing Machinery (ACM) ,1992
- The well-founded semantics of aggregationPublished by Association for Computing Machinery (ACM) ,1992
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Minimum and maximum predicates in logic programmingPublished by Association for Computing Machinery (ACM) ,1991
- Glue-NailPublished by Association for Computing Machinery (ACM) ,1991
- Non-determinism in deductive databasesPublished by Springer Nature ,1991
- The LDL system prototypeIEEE Transactions on Knowledge and Data Engineering, 1990
- Low complexity aggregation in graphlog and DatalogPublished by Springer Nature ,1990
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- Non-Deterministic Choice in DatalogPublished by Elsevier ,1988