Affiliation:

Institute of Medical Biostatistics, Epidemiology and Informatics (IMBEI), University Medical Center of the Johannes Gutenberg University, Mainz

Knowledge Engineering and Reasoning with Answer Set Programs and Conditional Belief Bases