Journal of Intelligent Information Systems
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Using Petri nets for rule termination analysis
CIKM '96 Proceedings of the workshop on Databases: active and real-time
Termination analysis of active rules modular sets
Proceedings of the tenth international conference on Information and knowledge management
An event-condition-action language for XML
Proceedings of the 11th international conference on World Wide Web
Exception Handling in Workflow Systems
Applied Intelligence
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
Detecting Termination of Active Database Rules Using Symbolic Model Checking
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Constraint-Based Termination Analysis for Cyclic Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
Analysis of Active Database Rules Behavior Using Rewriting Logic
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Verify Updating Trigger Correctness
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Improving Termination Analysis of Active Rules with Composite Events
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
IEEE Transactions on Knowledge and Data Engineering
Refined rules termination analysis through transactions
Information Systems
Termination Analysis in Active Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Declarative semantics for active rules
Theory and Practice of Logic Programming
A tool for minimizing update errors for workflow applications: the CARD model
Computers and Industrial Engineering
Event-condition-action rules on RDF metadata in P2P environments
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
A fuzzy Petri net model for intelligent databases
Data & Knowledge Engineering
REX, the rule and event eXplorer
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Termination analysis of active rules - a Petri net based approach
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Refined rules termination analysis through activation path
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
Information Sciences: an International Journal
| Hi-index | 0.01 |