Nonmonotonic Reasoning in LDL++

This publication has 16 references indexed in Scilit:

• Declarative Problem-Solving Using the DLV System
  Published by Springer Nature ,2000
• On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases
  Published by Springer Nature ,1999
• Online aggregation
  Published by Association for Computing Machinery (ACM) ,1997
• The logic of totally and partially ordered plans: a deductive database approach
  Annals of Mathematics and Artificial Intelligence, 1997
• Logic and databases: A 20 year retrospective
  Published by Springer Nature ,1996
• ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS
  Published by Springer Nature ,1995
• Modular stratification and magic sets for Datalog programs with negation
  Journal of the ACM, 1994
• The LDL system prototype
  IEEE Transactions on Knowledge and Data Engineering, 1990
• On the Declarative Semantics of Deductive Databases and Logic Programs
  Published by Elsevier ,1988
• Non-Deterministic Choice in Datalog
  Published by Elsevier ,1988