Most Popular Books
- Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings
- Gwai-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings
- Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 : Proceedings (Lecture Notes in Computer Science)
- Handbook of the Logic of Argument and Inference (Studies in Logic and Practical Reasoning)