gerhard-brewka documents

Cumulative default logic: In defense of nonmonotonic inference rules
Documents Cumulative default logic: In defense of nonmonotonic inference rules
Preferred answer sets for extended logic programs
Documents Preferred answer sets for extended logic programs
Representing Meta-Knowledge in Poole-Systems
Documents Representing Meta-Knowledge in Poole-Systems