On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Extrema predicates in deductive databases
Journal of Computer and System Sciences
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Advances in knowledge discovery and data mining
Advanced database systems
On logical foundations of active databases
Logics for databases and information systems
Greedy algorithms in Datalog with choice and negation
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
A classification-based methodology for planning audit strategies in fraud detection
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Semantics and expressive power of nondeterministic constructs in deductive databases
Journal of Computer and System Sciences
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
IEEE Transactions on Knowledge and Data Engineering
Efficient Recursive Aggregation and Negation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
The Nonmonotonic Semantics of Active Rules in Deductive Databases
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases
Proceedings of the 12th International Workshop on Computer Science Logic
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
Reasoning agents in dynamic domains
Logic-based artificial intelligence
| Hi-index | 0.00 |
Deductive database systems have made major advances on efficient support for nonmonotonic reasoning. A first generation of deductive database systems supported the notion of stratification for programs with negation and set aggregates. Stratification is simple to understand and efficient to implement but it is too restrictive; therefore, a second generation of systems seeks efficient support for more powerful semantics based on notions such as well-founded models and stable models. In this respect, a particularly powerful set of constructs is provided by the recently enhanced LDL++ system that supports (i) monotonic user-defined aggregates, (ii) XY-stratified programs, and (iii) the nondeterministic choice constructs under stable model semantics. This integrated set of primitives supports a terse formulation and efficient implementation for complex computations, such as greedy algorithms and data mining functions, yielding levels of expressive power unmatched by other deductive database systems.