( en | de | ru )

 

Disambiguation of "Krause, Paul J."

Author of the publication

copydeleteadd this publication to your clipboard
Using formal specifications to support testing.

, , , , , , , , , , , , , , and . ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul Krause

Paul Krause

Paul Krause

Paul Krause

Paul Krause

 

Other publications of authors with the same name

Representing uncertain knowledge - an artificial intelligence approach., and . Intellect Books, (1993)Qualitative risk assessment fulfils a need., , , and . Applications of Uncertainty Formalisms, volume 1455 of Lecture Notes in Computer Science, page 138-156. Springer, (1998)Qualitative frameworks for decision support: lessons from medicine., and . Knowl. Eng. Rev., 7 (1): 19-33 (1992)Knowledge representation and reasoning: The view from cognitive psychology., and . Knowl. Eng. Rev., 10 (1): 1 (1995)A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations., , and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 58-72. Springer, (1996)Computer Aided Transformation of Z into Prolog., , and . Z User Workshop, page 71-85. Springer, (1989)Argumentation as a General Framework for Uncertain Reasoning., , and . UAI, page 428-434. Morgan Kaufmann, (1993)Is There a Role for Qualitative Risk Assessment?, , and . UAI, page 386-393. Morgan Kaufmann, (1995)Acceptability of arguments as 'logical uncertainty'., , and . ECSQARU, volume 747 of Lecture Notes in Computer Science, page 85-90. Springer, (1993)Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications., , and . COMMA, volume 144 of Frontiers in Artificial Intelligence and Applications, page 27-32. IOS Press, (2006)