Information Technology Reference
In-Depth Information
17. Iwanuma, K., Inoue, K.: Minimal Answer Computation and SOL. In: Flesca, S., Greco,
S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 245-257. Springer,
Heidelberg (2002)
18. Lee, C.T.: A completeness theorem and computer program for finding theorems derivable
from given axioms, Ph.D. thesis, Department of Electrical Engineering and Computer Sci-
ence, University of California, Berkeley, CA (1967)
19. Ma, J., Russo, A., Broda, K., Clark, K.: DARE: A system for distributed abductive reasoning.
Autonomous Agents and Multi-Agent Systems 16(3), 271-297 (2008)
20. Marquis, P.: Consequence finding algorithms. In: Handbook for Defeasible Reasoning and
Uncertain Management Systems, vol. 5, pp. 41-145. Kluwer (2000)
21. Nabeshima, H., Iwanuma, K., Inoue, K.: SOLAR: A Consequence Finding System for
Advanced Reasoning. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS,
vol. 2796, pp. 257-263. Springer, Heidelberg (2003)
22. Nabeshima, H., Iwanuma, K., Inoue, K., Ray, O.: SOLAR: An automated deduction system
for consequence finding. AI Communications 23(2-3), 183-203 (2010)
23. Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS,
vol. 1228. Springer, Heidelberg (1997)
24. Slagle, J.R.: Interpolation theorems for resolution in lower predicate calculus. J. ACM 17(3),
535-542 (1970)
25. Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: The distributed constraint satisfaction
problem: Formalization and algorithms. IEEE Trans. Know. & Data Eng. 10(5), 673-685
(1998)