Edinburgh Research Explorer

Automated Reasoning with Uncertainties

Research output: Chapter in Book/Report/Conference proceedingChapter

Standard

Automated Reasoning with Uncertainties. / Correa da Silva, F.; Robertson, D.; Hesketh, J.

Knowledge Representation and Reasoning Under Uncertainty: Logic at Work. ed. / M. Masuch; L. Polos. Springer-Verlag GmbH, 1994. p. 57-79 (Lecture Notes in Computer Science; Vol. 808).

Research output: Chapter in Book/Report/Conference proceedingChapter

Harvard

Correa da Silva, F, Robertson, D & Hesketh, J 1994, Automated Reasoning with Uncertainties. in M Masuch & L Polos (eds), Knowledge Representation and Reasoning Under Uncertainty: Logic at Work. Lecture Notes in Computer Science, vol. 808, Springer-Verlag GmbH, pp. 57-79. https://doi.org/10.1007/3-540-58095-6_5

APA

Correa da Silva, F., Robertson, D., & Hesketh, J. (1994). Automated Reasoning with Uncertainties. In M. Masuch, & L. Polos (Eds.), Knowledge Representation and Reasoning Under Uncertainty: Logic at Work (pp. 57-79). (Lecture Notes in Computer Science; Vol. 808). Springer-Verlag GmbH. https://doi.org/10.1007/3-540-58095-6_5

Vancouver

Correa da Silva F, Robertson D, Hesketh J. Automated Reasoning with Uncertainties. In Masuch M, Polos L, editors, Knowledge Representation and Reasoning Under Uncertainty: Logic at Work. Springer-Verlag GmbH. 1994. p. 57-79. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-58095-6_5

Author

Correa da Silva, F. ; Robertson, D. ; Hesketh, J. / Automated Reasoning with Uncertainties. Knowledge Representation and Reasoning Under Uncertainty: Logic at Work. editor / M. Masuch ; L. Polos. Springer-Verlag GmbH, 1994. pp. 57-79 (Lecture Notes in Computer Science).