Accepted Work in Progress Papers

  • Schema Mapping Discovery From Example Data Using ILP.
    Manuel Fink, Heiner Stuckenschmidt. PDF
  • Using Reachability Properties of Logic Program for Revising Biological Models.
    Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue. PDF
  • Which background knowledge is relevant?
    Stassa Patsantzis, Stephen MuggletonPDF
  • Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming.
    Tobias Kaminski, Thomas Eiter, Katsumi InouePDF