A semantical model for integration and modularization of rules

Authors:
P van Emde Boas
Affiliations:
-
Venue:
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
Year:
1986

Citing 0
Cited 2

Compiling Horn-Clause Rules in IBM`s Business System 12 and Early Experiment in Declarativeness

SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Weak equivalence for constraint sets

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract