Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, January 13
Author: Neuhaus, Fabian
Title: Introduction to Common Logic


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