Inductive logic programming: Difference between revisions
Content deleted Content added
m {{Programming paradigms}} |
No edit summary |
||
| Line 13: | Line 13: | ||
! Year !! Dates !! Location !! Chairs |
! Year !! Dates !! Location !! Chairs |
||
|- |
|- |
||
| [2009] || July 2-5 || [[Leuven]], [[Belgium]], [[Katholieke Universiteit Leuven]] || Hendrik Blockeel, Luc De Raedt |
| [http://www.cs.kuleuven.be/~dtai/ilp-mlg-srl/index.php 2009] || July 2-5 || [[Leuven]], [[Belgium]], [[Katholieke Universiteit Leuven]] || Hendrik Blockeel, Luc De Raedt |
||
|- |
|- |
||
| [http://ida.felk.cvut.cz/ilp2008/ 2008] || September 10-12 || [[Prague]], [[Czech Republic]], [[Czech Technical University]] || Filip Zelezny, Nada Lavrac |
| [http://ida.felk.cvut.cz/ilp2008/ 2008] || September 10-12 || [[Prague]], [[Czech Republic]], [[Czech Technical University]] || Filip Zelezny, Nada Lavrac |
||
Revision as of 15:52, 5 January 2009
Inductive logic programming (ILP) is a subfield of machine learning which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive a hypothesised logic program which entails all the positive and none of the negative examples.
Schema: positive examples + negative examples + background knowledge => hypothesis.
Inductive logic programming is particularly useful in bioinformatics and natural language processing. The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991.
International Conferences on Inductive Logic Programming
| Year | Dates | Location | Chairs |
|---|---|---|---|
| 2009 | July 2-5 | Leuven, Belgium, Katholieke Universiteit Leuven | Hendrik Blockeel, Luc De Raedt |
| 2008 | September 10-12 | Prague, Czech Republic, Czech Technical University | Filip Zelezny, Nada Lavrac |
| 2007 | June 19-21 | Corvallis, Oregon, USA, Oregon State University | Jude Shavlik, Hendrik Blockeel, Prasad Tadepalli |
| 2006 | August 24-27 | Santiago de Compostela, Spain | Stephen Muggleton, Ramon Otero |
| 2005 | August 10-13 | Bonn, Germany | Stephan Kramer, Bernhard Pfahringer |
| 2004 | September 6-8 | Porto, Portugal | Ashwin Srinivasan, Ross King |
| 2003 | September 29-October 1 | Szeged, Hungary | Tamas Horváth, Akihiro Yamamoto |
| 2002 | July 9-11 | Sydney, Australia | Stan Matwin, Claude Sammut |
| 2001 | September 9-11 | Strasbourg, France | Celine Rouveirol, Michele Sebag |
| 2000 | July 24-27 | London, England | James Cussens, Alan Frisch |
| 1999 | June 24-27 | Bled, Slovenia | Saso Dzeroski, Peter Flach |
| 1998 | July 22-24 | Madison, Wisconsin, USA | C. David Page, Jr. |
| 1997 | September 17-20 | Prague, Czech Republic | Nada Lavrac, Saso Dzeroski |
| 1996 | August 26-28 | Stockholm, Sweden | Stephen Muggleton |
| 1995 | September 4-6 | Leuven, Belgium | Luc De Raedt |
| 1994 | September 12-14 | Bonn, Germany | Stefan Wrobel |
| 1993 | April 1-3 | Bled, Slovenia | Stephen Muggleton |
| 1992 | June 6-7 | Tokyo, Japan | Stephen Muggleton |
| 1991 | March 2-4 | Viana do Castelo, Portugal | Stephen Muggleton |
Implementations
- PROGOL (http://www.doc.ic.ac.uk/~shm/Software/progol5.0)
- Golem (ILP) (http://www.doc.ic.ac.uk/~shm/Software/golem)
- Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
- Foil (ftp://ftp.cs.su.oz.au/pub/foil6.sh)
- Claudien (http://www.cs.kuleuven.ac.be/~ml/CWIS/claudien-E.shtml)
- Lime (http://cs.anu.edu.au/people/Eric.McCreath/lime.html)
- ACE (http://www.cs.kuleuven.ac.be/~dtai/ACE/)
- DMax (http://www.pharmadm.com/dmax.asp)
- Warmr (http://www.cs.kuleuven.ac.be/~ml/Doc/TW_User/)
- RSD (http://labe.felk.cvut.cz/~zelezny/rsd/)
- Mio (http://kd.cs.uni-magdeburg.de/~pena/)
- DL-Learner (http://dl-learner.org)
References
- S.H. Muggleton. Inductive Logic Programming. New Generation Computing, 8(4):295-318, 1991.
- S.H. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19,20:629-679, 1994.
- N. Lavrac and S. Dzeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, New York, 1994, ISBN 0-13-457870-8 Publicly available online version.