Common Logic is an ISO standard for a family of knowledge representation languages.
The languages are first-order logic like, but contain some interesting twists.
In my presentation I will cover its basic features and its semantics.
Back to the Oberseminar web page Webmaster