Author:
Barloy Yann,Nigro Jean-Marc,Loriette Sophie,Cable Baptiste
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Hayes, P.: Computation and deduction. In: Symposium on Mathematical Foundations of Computer Science, pp. 105–118 (1973)
2. Pitrat, J.: An intelligent system must and can observe its own behviour. In: Cognitiva 1990 (1990)
3. Genesereth, M., Nilsson, N.: Logical Fundations of Artificial Intelligence. Morgan Kaufmann, CA (1987)
4. Barloy, Y., Nigro, J.: Rsie: An inference engine for reflexive systems. In: Applications and Innovations in Intelligents Systems XV, pp. 315–320 (2007)
5. Clancey, W.: Model construction operators. Artificial Intelligence 53, 1–115 (1992)