Author:
Nykänen Matti,Hakli Raul,Eloranta Satu,Niinivaara Olli
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference56 articles.
1. Alchourroń, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symbol. Log. 50(2), 510–530 (1985)
2. Atserias, A., Kolaitis, P.G., Vardi, M.Y.: Constraint propagation as a proof system. In: Wallace, M. (ed.) Principles and Practice of Constraint Programming – CP 2004, volume 3258 of Lecture Notes in Computer Science, pp. 77–91. Springer (2004)
3. Bellot, D., Godefroid, C., Han, P., Prost, J. P., Schlechta, K., Wurbel, E.: A semantical approach to the concept of screened revision. Theoria 63, 24–33 (1997)
4. Bollobaś, B.: Combinatorics: Set Systems, Hypergraphs, Families of Vectors, and Combinatorial Probability. Cambridge University Press (1986)
5. Boolos, G.S., Jeffrey, R.C.: Computability and Logic, 3rd edn. Cambridge University Press (1989)