E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support
IEEE Transactions on Knowledge and Data Engineering
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Multiagent Compromises, Joint Fixpoints, and Stable Models
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Introducing dynamic behavior in amalgamated knowledge bases
Theory and Practice of Logic Programming
Hi-index | 0.00 |