Checking regulation consistency by using SOL-resolution
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Validation and Reparation of Knowledge Bases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Refinement of Conceptual Graphs
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
A semantic validation of conceptual graphs
Knowledge-Based Systems
Hi-index | 0.00 |