Inductive logic programming as abductive search

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 7, Issue , 2010, Pages 54-63

  Corapi, Domenico ^a   Russo, Alessandra ^a   Lupu, Emil ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BACKGROUND THEORY; INTEGRITY CONSTRAINTS; INVERSE ENTAILMENT; LOGIC PROGRAMS; PROOF PROCEDURES; SEARCH SPACES; TOPDOWN;

FORMAL LOGIC; INDUCTIVE LOGIC PROGRAMMING (ILP);

INVERSE PROBLEMS;

EID: 84880233552     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ICLP.2010.54     Document Type: Conference Paper

References (32)

1. [Ad-e95] Hilde Adé and Marc Denecker. Ailp: Abductive inductive logic programming. In IJCAI, pp. 1201- 1209. 1995.
2. [Alr09] Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Learning operational requirements from goal models. In ICSE, pp. 265-275. 2009.
3. [Ban08] A. K. Bandara, B. A. Nuseibeh, and B. A. Price et al. Privacy rights management for mobile applications. In 4th Int. Symp. on Usable Privacy and Security. Pittsburgh, 2008.
4. [Bos94] H. Boström and P. Idestam-Almquist. Specialization of logic programs by pruning SLD-trees. GMD-Studien, vol. 237. Gesellschaft für Mathematik und Datenverarbeitung MBH, 1994.
5. [Bra99] Ivan Bratko. Refining complete hypotheses in ILP. In ILP '99: 9th Workshop on Inductive Logic Programming, pp. 44-55. Springer-Verlag, London, UK, 1999.
6. [Cla77] Keith L. Clark. Negation as failure. In Logic and Data Bases, pp. 293-322. 1977.
7. [Coh94] William W. Cohen. Grammatically biased learning: Learning logic programs using an explicit antecedent description language. Artif. Intell., 68(2):303-366, 1994.
8. [Cor09] D. Corapi, O. Ray, A. Russo, A.K. Bandara, and E.C. Lupu. Learning rules from user behaviour. In 5th Artif. Intell. Applications and Innovations (AIAI 2009). Thessaloniki, Greece, 2009.
9. [Cos08] Vítor Santos Costa, Luís Damas, Rogério Reis, and Rúben Azevedo. Yap user's manual, 2008.
10. [D-00] Sašo Džroski. Relational data mining applications: an overview. pp. 339-360, 2000.
11. [Eag06] Nathan Eagle and Alex Pentland. Reality mining: sensing complex social systems. Personal and Ubiquitous Computing, 10(4):255-268, 2006.
12. [Esp00] Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi, and Stefano Ferilli. Multistrategy theory revision: Induction and Abduction in INTHELEX. Mach. Learn., 38(1-2):133-156, 2000.
13. [Kak92] Antonis C. Kakas, Robert A. Kowalski, and Francesca Toni. Abductive logic programming. J. Log. Comput., 2(6):719-770, 1992.
14. [Kak00] Antonis C. Kakas and Fabrizio Riguzzi. Abductive concept learning. New Generation Comput., 18(3):243-, 2000.
15. [Kak01] C. Kakas, Antonis, Bert Van Nuelen, and Marc Denecker. A-system : Problem solving through abduction. In 17th International Joint Conference on Artif. Intell., vol. 1, pp. 591-596. IJCAI, inc and AAAI, Morgan Kaufmann Publishers, Inc, 2001.
16. [Kim09] Tim Kimber, Krysia Broda, and Alessandra Russo. Induction on failure: Learning connected horn theories. In LPNMR, pp. 169-181. 2009.
17. [Lav94] N. Lavrač and S. Džeroski. Inductive Logic Programming: Techniques and Applications. 1994.
18. [Llo87] John W. Lloyd. Foundations of Logic Programming, 2nd Edition. Springer, 1987.
19. [Mal98] D. Malerba, F. Esposito, and F. A. Lisi. Learning recursive theories with ATRE. In H. Prade (ed.), Proc. of the 13th European Conference on Artif. Intell., pp. 435-439. John Wiley & Sons, 1998.
20. [Moy03] S Moyle. An investigation into theory completion techniques in inductive logic. Ph.D. thesis, University of Oxford, 2003.
21. [Mug95] S. Muggleton. Inverse entailment and Progol. New Generation Computing J., 13:245-286, 1995.
22. [Mug08] Stephen Muggleton, José Carlos Almeida Santos, and Alireza Tamaddoni-Nezhad. Toplog: Ilp using a logic program declarative bias. In Maria Garcia de la Banda and Enrico Pontelli (eds.), ICLP, LCNS, vol. 5366, pp. 687-692. Springer, 2008.
23. [Qui96] J. Ross Quinlan. Learning first-order definitions of functions. J. Artif. Intell. Res. (JAIR), 5:139- 161, 1996.
24. [Ray07] Oliver Ray. Inferring process models from temporal data with abduction and induction. In 1st Workshop on the Induction of Process Models. 2007.
25. [Ray08] Oliver Ray and Chris Bryant. Inferring the function of genes from synthetic lethal mutations. In 2nd Int. Conf. on Complex, Intelligent and Software Intensive Systems, pp. 667-671. IEEE Computer Society, 2008.
26. [Ray09a] Oliver Ray. Nonmonotonic abductive inductive learning. In Journal of Applied Logic, vol. 7, pp. 329-340. 2009.
27. [Ray09b] Oliver Ray, Ken Whelan, and Ross King. A nonmonotonic logical approach for modelling and revising metabolic networks. In 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems. IEEE Computer Society, 2009.
28. [Ric95] Bradley L. Richards and Raymond J. Mooney. Automated refinement of first-order horn-clause domain theories. Machine Learning, 19(2):95-131, 1995.
29. [Sha94] Leon Shapiro and Ehud Y. Sterling. The Art of PROLOG: Advanced Programming Techniques. The MIT Press, 1994.
30. [Sha99] Murray Shanahan. The event calculus explained. LNCS, 1600, 1999.
31. [Wro96] Stefan Wrobel. First order theory refinement. In Luc De Raedt (ed.), Advances in Inductive Logic Programming, pp. 14 - 33. IOS Press, 1996.
32. [Yam97] Akihiro Yamamoto. Which hypotheses can be found with inverse entailment? In ILP, pp. 296-308. 1997.