ACM Computing Surveys (CSUR)
Analysis and optimization of active databases
Data & Knowledge Engineering
Trigger Inheritance and Overriding in an Active Object Database System
IEEE Transactions on Knowledge and Data Engineering
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Formal enforcement and management of obligation policies
Data & Knowledge Engineering
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |