LDK R Logics for Data and Knowledge Representation Exercises: First Order Logics (FOL) Originally by Alessandro Agostini and Fausto Giunchiglia Modified.
Virtual Reality projects at Department of Building technology Kjeld Svidt Aalborg University, AAU it.civil.auc.dk/ks Bygningskonsulentforeningens besøg.
Development of a low order stabilised Petrov-Galerkin formulation for a mixed conservation law formulation in fast dynamics
L ogics for D ata and K nowledge R epresentation
