Search results for: Dov M. Gabbay
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Invited Talks > 19-35
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Argumentation > 74-85
Lecture Notes in Computer Science > Agent and Multi-Agent Systems: Technologies and Applications > Negotiation and Security (Gen6) > 280-290
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 16-35
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Logic, Epistemology, And The Unity Of Science > Approaches to Legal Rationality > Logic and Law > 165-201