<!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>
      <journal-title-group>
        <journal-title>NMR</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Hybrid Answer Set Programming: Opportunities and Challenges</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Thomas Eiter</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>TU Wien</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Austria</string-name>
        </contrib>
      </contrib-group>
      <pub-date>
        <year>2022</year>
      </pub-date>
      <volume>20</volume>
      <fpage>0000</fpage>
      <lpage>0001</lpage>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>1. Abstract
In the recent years, the interest in combining symbolic and sub-symbolic AI approaches has
been rapidly increasing. In particular neuro-symbolic AI, in which the two approaches have
been combined in a number of diferent ways, is in the center of attention. A natural question in
this context is how answer set programs, one of the main non-monotonic rule-based formalisms
in use today, may fit into this endeavor.</p>
      <p>Several authors have considered how to combine answer set programs with subsymbolic AI,
specifically with (deep) neural networks, at varying levels of integration in order to facilitate
semantics-enhanced applications of AI that build on subsymbolic AI such as scene classification,
object tracking, or visual question answering. In this talk, we shall consider hybrid answer
set programming approaches and explore opportunities and challenges for them. Notably,
combining answer set programs with alternative inference approaches is not novel and has
been extensively studied e.g. for logic-based ontologies. We shall also revisit lessons learnt from
such work for the ongoing work on hybrid answer set programming.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>