Report copyright - Specifying dynamic and deontic integrity constraints · integrity constraints (IC's). An IC is then a sentence which must at least be consistent with the other sentences in the KB
Please pass captcha verification before submit form