Keywords

Details

Category:

Conference activity

Type:

publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)

Title of issue:

The 8th International Workshop on Computational Models of Natural Argument (CMNA 8), Monday July 21, 2008, Patras, Greece : 18th European Conference on Artificial Intelligence strony 26 - 30

Publication year:

2008

Bibliographic description:

Górski J., Cyra Ł., Jarzębowicz A., Miler J.: Representing and appraising Toulmin model arguments in trust cases// The 8th International Workshop on Computational Models of Natural Argument (CMNA 8), Monday July 21, 2008, Patras, Greece : 18th European Conference on Artificial Intelligence/ ed. Floriana Grasso [et al.]. [Patras, Greece: University of Patras], 2008, s.26-30

Bibliography: test

1. Ministry of Defence Directorate of Standardisation. Defence Standard 00-55 Issue 2: The procurement of safety critical software in defense systems. open in new tab
2. Railways (Safety Case) Regulations 2000 Health and Safety Executive. open in new tab
3. R. Maguire, Safety cases and safety reports, Ashgate Publishing Ltd., UK, 2006. open in new tab
4. P. Bishop, R. Bloomfield, A Methodology for Safety Case Development, Safety-Critical Systems Symp, Birmingham, 1998. open in new tab
5. T. Kelly, Arguing Safety -A Systematic Approach to Managing Safety Cases, PhD Thesis, University of York, 1998. open in new tab
6. J. Górski, A. Jarzębowicz, R. Leszczyna, J. Miler, M. Olszewski, 'Trust Case: justifying trust in an IT solution', Reliability Engineering and System Safety, Vol. 89 (2005), pp. 33-47. open in new tab
7. J. Górski, Trust-IT -a framework for trust cases, Workshop on Assurance Cases for Security -The Metrics Challenge, DSN 2007 The 37th Annual IEEE/IFIP Intern. Conf. on Dependable Systems and Networks, June 25 -28, Edinburgh, UK, 2007.
8. L. Strigini, Formalism and Judgement in Assurance Cases, DSN 2004 Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy 2004.
9. S. Toulmin, The Uses of Argument, Cambridge University Press, 1958, Updated Edition, 2003.
10. J. Katzav, C. Reed, 'On Argumentation Schemes and the Natural Classification of Arguments', Argumentation 18 (2), 2004, pp. 239-259. open in new tab
11. H. Prakken, AI & Law, Logic and Argument Schemes, International Congress of Comparative Cultures and Legal Systems, Mexico City, 2004. open in new tab
12. D. Walton, 'Justification of Argument Schemes', Australasian Journal of Logic, 3, 2005, pp. 1-13. open in new tab
13. D. Walton, Fundamentals of Critical Argumentation, Cambridge University Press, 2005
14. PIPS project website -http://www.pips.eu.org open in new tab
15. Ł. Cyra, J. Górski, Supporting expert assessment of argument structures in trust cases, 9 th International Probabilistic Safety Assessment and Management Conference, Hong Kong, 2008. open in new tab
16. Ł. Cyra, J. Górski, Expert assessment of arguments: a method and its experimental evaluation, Safecomp 2008, Newcastle, 2008 (accepted). open in new tab
17. A. Josang, T. Grandison, Conditional Inference in Subjective Logic, proc. 6 th International Conference on Information Fusion, Cairns, Australia 2003. open in new tab
18. Ł. Cyra, J. Górski, Supporting compliance with safety standards by trust case templates, p;roc. ESREL 2007, Stavanger, Norway, 2007. open in new tab
19. Information Assurance Group homepage -http://iag.pg.gda.pl/iag/ open in new tab

show (19) hide

Verified by:

Gdańsk University of Technology