Inductive resolution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 744 LNAI, Issue , 1993, Pages 101-110

  Sato, Taisuke ^a   Akiba, Sumitaka ^a  

^a ELECTROTECHNICAL LABORATORY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BACK-GROUND KNOWLEDGE; HYPOTHESIS GENERATION; INDUCTIVE INFERENCE;

ARTIFICIAL INTELLIGENCE;

EID: 84974733980     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57370-4_40     Document Type: Conference Paper

References (18)

1. Chang, C.C. and Lee, R.C.T., Symbolic Logic and Mechanical Theorem Proving, Academic Press Limited, (1973).
2. Demolombe, R. and Cerro, L.F., “An Inference Rule for Hypothesis Generation, ” Proc. of IJCAI’91, (1991) pp.152-157.
3. Inoue, K., “Consequence-Finding Based on Ordered Linear Resolution, ” Proc. of IJCAI’91, (1991) pp.158-164.
4. Ishizaka, H. and Arimura, H., “Efficient Inductive Inference of Primitive Prologs from Positive Data, ” Proc. of ALT’92 (Workshop on Algorithmic Learning Theory) Tokyo (1992) pp.135-146.
5. Kijsirikul, B. et al., “Discrimination-Based Constructive Induction of Logic Programs, ” Proc. of AAAI’92, San Jose, (1992) pp.44-49.
6. Kodratoff, Y. and Michalski (ed.), Machine Learning III, Morgan Kaufmann Publishers, Inc., (1990).
7. Lapointe, S. and Matwin, S., “Sub-unification: A Tool for Efficient Induction of Recursive Programs, ” Proc. of ML’92, (1992) pp.273-281.
8. Muggleton, S. and Feng, C., “Efficient Induction of Logic Programs, ” Proc. of ALT’90, Tokyo (1990) pp.368-381.
9. Muggleton, S.(ed.), Inductive Logic Programming, Academic Press Limited, (1992).
10. Natarajan, B., Machine Learning, Morgan Kaufmann Publishers, Inc., (1991).
11. Poole, D., “A Logical Framework for Default Reasoning, ” Artificial Intelligence 36 (1988) pp.27-47.
12. Poole, D., “Compiling a Default Reasoning System into Prolog, ” New Generation Computing 9 (1991) pp.3-38.
13. Quinlan, J.R., “Induction of Decision Trees, ” Machine Learning 1 (1986) pp.81-106.
14. Roulveirol, C., “Completeness for inductive procedures, ” Proc. of ML’91, (1991) pp.452-456.
15. Satoh, K. and Iwayama, N., “A Query Evaluation Method for Abductive Logic Programming, ” JICSLP’92 (Joint Int’l Conf. and Symposium on Logic Programming), Washington, (1992) pp.671-685.
16. Sato, T., “A Complte Set of Rules for Inductive Inference, ” Electrotechncial Laboratory report TR-92-44 (1992).
17. Shoenfield, J.R., Mathematical Logic (2nd ed.) Addison-Wesley, (1973).
18. Valiant, L.G., “Learning Disjunctions of Conjunctions, ” Proc. of IJCAI’85, (1985) pp.560-566.