<!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>Temporal Equilibrium Logic?</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer Science University of Corunna</institution>
          ,
          <country country="ES">Spain</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This talk introduces the Temporal Equilibrium Logic, a combination of standard Linear Temporal Logic with a formalism called Equilibrium Logic, used to to characterise logic programming under the answer set semantics. The talk will explain the basic syntax and semantics together with some elementary properties and recent results. Some motivating examples will show the potential utility of nonmonotonic temporal reasoning for different application scenarios like action domains or context evolution.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>