Some properties of inverse resolution in normal logic programs

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

Volumn 1634, Issue , 1999, Pages 279-290

  Sakama, Chiaki ^a  

^a WAKAYAMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER CIRCUITS; INVERSE PROBLEMS; SYNTACTICS;

ACYCLICITY; LOGIC PROGRAMS; NEGATION AS FAILURES; SYNTACTIC STRUCTURE;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84949190860     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48751-4_26     Document Type: Conference Paper

References (17)

1. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming (J. Minker ed.), Morgan Kaufmann, pp. 89-148, 1988.
2. K. R. Apt and M. Bezem. Acyclic programs. New Generation Computing 9:335-363, 1991.
3. M. Bain and S. Muggleton. Non-monotonic learning. In: [14], pp. 145-161.
4. M. Bain. Experiments in non-monotonic first-order induction. In: [14], pp. 423-436.
5. R. B. Banerji. Learning theoretical terms. In: [14], pp. 93-112.
6. C. Baral and M. Gelfond. Logic programming and knowledge representation. Journal of Logic Programming 19/20:73-148, 1994.
7. K. L. Clark. Negation as failure. In: H. Gallaire and J. Minker (eds.), Logic and Data Bases, Plenum Press, pp. 119-140, 1978.
8. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In: Proc. 5th Int'l Conf. and Symp. on Logic Programming, MIT Press, pp. 1070-1080, 1988.
9. J. W. Lloyd. Foundations of logic programming (2nd edition), Springer-Verlag, 1987.
10. S. Muggleton. Duce, an oracle based approach to constructive induction. In: Proc. IJCAI-87, Morgan Kaufmann, pp. 287-292, 1987.
11. S. Muggleton. Inverting the resolution principle. In: Machine Intelligence, vol. 12, Oxford University Press, pp. 93-103, 1991.
12. S. Muggleton. Inductive Logic Programming. In [14], pp. 3-27, 1992.
13. S. Muggleton and W. Buntine. Machine invention of first-order predicate by inverting resolution. In: [14], pp. 261-280.
14. S. Muggleton (ed.). Inductive Logic Programming, Academic Press, 1992.
15. T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, pp. 193-216, 1988.
16. C. Rouveirol. Extension of inversion of resolution applied to theory completion. In: [14], pp. 63-92.
17. K. Taylor. Inverse resolution of normal clauses. In: Proc. ILP-93, J. Stefan Institute, pp. 165-177, 1993.