Dov Gabbay

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ... (Lecture Notes in Computer Science, 1244)