Author: International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany)