Author:
Marosin Diana,van der Torre Leendert
Publisher
Springer International Publishing
Reference24 articles.
1. IEEE guide for developing system requirements specifications. Technical report (1998)
2. Merriam Webster Dictionary, July 2013
3. Alchourrön, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contractions and revision functions. J. Symbolic Logic 50(2), 510–530 (1985)
4. Bex, F., Prakken, H., Reed, C.: A formal analysis of the AIF in terms of the ASPIC framework. In: COMMA, pp. 99–110 (2010)
5. Boella, G., da Costa Pereira, C., Pigozzi, G., Tettamanzi, A., van der Torre, L.: The role of goals in belief selection. Logic J. IGPL 18(4), 559–578 (2010)