Author:
Inoue Katsumi,Sakama Chiaki
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference45 articles.
1. Abiteboul, S.: Updates, a new frontier. In: Proceedings of the 2nd International Conference on Database Theory, Lecture Notes in Computer Science, vol. 326, pp. 1–18. Springer (1988)
2. Bry, F.: Intensional updates: abduction via deduction. In: Proceedings of the 7th International Conference on Logic Programming, pp. 561–575. MIT Press (1990)
3. Console, L., Theseider Dupré, D., Torasso, P.: On the relationship between abduction and deduction. J. Logic Comput. 1, 661–690 (1991)
4. Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. Technical Communications of the 26th International Conference on Logic Programming, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2010)
5. de Kleer, J.: An assumption-based TMS. Artif. Intell. 28, 127–162 (1986)