Temporal aggregation in active database rules
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
Nondeterministic, Nonmonotonic Logic Databases
IEEE Transactions on Knowledge and Data Engineering
Production Systems with Negation as Failure
IEEE Transactions on Knowledge and Data Engineering
A Deductive Database Approach to A.I. Planning
Journal of Intelligent Information Systems
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
On Verification in Logic Database Languages
CL '00 Proceedings of the First International Conference on Computational Logic
An Abstract Interpretation Framework for Termination Analysis of Active Rules
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
On the decidability of the termination problem of active database systems
Theoretical Computer Science
Declarative semantics for active rules
Theory and Practice of Logic Programming
Event choice datalog: a logic programming language for reasoning in multiple dimensions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Hi-index | 0.00 |