<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Probabilistic Inductive Logic Programming Based on Answer Set Programming</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Matthias Nickles</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>INSIGHT Centre for Data Analytics &amp; Discipline of Information Technology National University of Ireland</institution>
          ,
          <addr-line>Galway</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>Answer Set Programming (ASP) is a form of declarative programming based on the concept of so-called stable models of programs, with roots in logic programming and nonmonotonic reasoning. ASP has emerged as a fully declarative programming paradigm which provides signi cant advantages in areas such as search and optimization problem solving, common sense knowledge representation, and modeling of nondeterminism. In my talk, I will describe how ASP can be used as a basis for expressive probabilistic inductive logic programming, and the features (and challenges) of this direction. After introducing ASP and providing an overview of existing approaches to probabilistic declarative programming based on stable model semantics, I will present a recent framework for probabilistic inductive ASP which provides a high level of expressiveness (including the option to use rst-order formulas with probabilities) in combination with a high degree of adaptability to a variety of tasks. I will discuss algorithms for inference and machine learning in this framework and their respective performance characteristics, and present possible applications of our framework. The last part of my talk will outline directions for future research in this area.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>