Author:
Tardivo Fabio,Pham Loc,Son Tran Cao,Pontelli Enrico
Publisher
Springer International Publishing
Reference19 articles.
1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. JSL 50(2), 510–530 (1985)
2. Aravanis, T.I., Peppas, P., Williams, M.: Iterated belief revision and Dalal’s operator. In: Hellenic Conference on Artificial Intelligence, pp. 26:1–26:4 (2018). https://doi.org/10.1145/3200947.3201038
3. Balduccini, M., Gelfond, M.: Diagnostic reasoning with a-prolog. Theory Pract. Logic Program. 3(4,5), 425–461 (2003)
4. Baral, C., McIlraith, S., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: KRR, pp. 311–322 (2000)
5. Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Trans. Database Syst. 10(4), 563–603 (1985)