Search filters

List of works by Manfred Kerber

A study of structural and parametric learning in XCS.

scientific article published in January 2006

Applying the Isabelle Insider framework to airplane security

scientific article published in 2021

Combined reasoning by automated cooperation

scientific article published in September 2008

Die Beweisentwicklungsumgebung $\Omega$ -M krp

Experiments with an Agent-Oriented Reasoning System

scientific article published in 2001

LearnΩmatic: System Description

scientific article published in 2002

Pillage games with multiple stable sets

Reasoning without believing: on the mechanisation of presuppositions and partiality

article by Manfred Kerber & Michael Kohlhase published December 2012 in Journal of Applied Non-Classical Logics

Paulina is supported by:

About Paulina

Help