Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems
Data and Knowledge Engineering - Netherlands
doi 10.1016/s0169-023x(98)00047-0
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 1998
Authors
Publisher
Elsevier BV