<html>
  <head>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-15">
  </head>
  <body>
    <pre class="a-b-r-La" style="user-select: text; display: block; font-family: "Courier New", Courier, monospace, arial, sans-serif; margin: 0px; white-space: pre-wrap; overflow-wrap: break-word; background-color: rgb(255, 255, 255); color: rgb(0, 0, 0); font-size: 14px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;">==============================================================================
                                CALL FOR PAPERS
                                   EELP 2020
        The Second Workshop on Epistemic Extensions of Logic Programming
                             September 18-24, 2020
                                  Rende, Italy
                   <a class="moz-txt-link-freetext" href="https://www.semsys.aau.at/events/eelp2020/">https://www.semsys.aau.at/events/eelp2020/</a>
==============================================================================

AFFILIATION

  This workshop is part of the International Conference of Logic Programming
  (ICLP) 2020. In keeping with the main conference, the workshop will be held
  as a fully virtual event this year.

AIMS AND SCOPE

  Several successful logic programming languages, evidenced by the availability
  of a multitude of solvers, industrial applications, and an active research
  community, have been proposed in the literature. Researchers have long
  recognized the need for epistemic operators in these languages. This led to a
  flurry of research on this topic, and renewed interest in recent years. A
  central question is that of the definition of a rigorous and intuitive
  semantics for such epistemic operators, which is still subject of ongoing
  research. Notions of equivalence, structural properties, and the
  inter-relationships between logic programming languages and established logics
  are all subjects being actively investigated. Another important topic is that
  of practical solvers to compute answers to logic programs that contain
  epistemic operators. Several solvers are actively developed, building on
  established solvers, or using rewriting-based approaches. For practical
  applications, additional language features are actively explored in order to
  be able to apply epistemic extensions of logic programming langauges to
  practical problems. The goal of this workshop is to facilitate discussions
  regarding these topics and a productive exchange of ideas.

  Topics of interests include (but are not limited to):

  - Semantics of epistemic operators in logic programming
  - New methods for solving epistemic extensions of logic programs
  - Computational properties of epistemic extensions of logic programs
  - Relating epistemic extensions of logic programs with other logic-based
    formalisms
  - Practical applications of logic programming extended with epistemic
    extensions
  - Additional language features
  - Multi-paradigm problem solving involving epistemic extensions of logic
    programming
  - Evaluation and comparison of logic programs with epistemic extensions to
    other paradigms
  - Grounding of non-ground logic programs programs with epistemic extensions

SUBMISSION GUIDELINES

  We welcome two categories of submissions:

  - Full Papers, that is, original, unpublished research (at most 15 pages), and
  - Extended Abstracts of already published research (at most 2 pages).

  All submissions should be in the Springer LNCS format.

  Paper submission will be handled electronically by means of the Easychair
  system. All submissions will be peer-reviewed. The submission page is
  available here: <a class="moz-txt-link-freetext" href="http://www.easychair.org/conferences/?conf=eelp2020">http://www.easychair.org/conferences/?conf=eelp2020</a>.

  EELP is a non-archival venue and there will be no published proceedings.
  However, informal proceedings will be provided and the papers will be posted
  informally on the workshop website. Submissions to other conferences and
  journals both in parallel and subsequent to EELP 2020 are allowed.

IMPORTANT DATES

  Paper submission:     August  7, 2020 AoE
  Notification:         August 31, 2020
  Camera-ready:         September 11, 2020
  Workshop Dates:       September 18-24, 2020, as a workshop of ICLP 2020

ORGANIZERS AND CO-CHAIRS

  Wolfgang Faber, University of Klagenfurt
  Jorge Fandinno, University of Potsdam
  Michael Morak, University of Klagenfurt

CONTACT

  Please direct any questions to <a class="moz-txt-link-abbreviated" href="mailto:eelp2020@easychair.org">eelp2020@easychair.org</a>.</pre>
  </body>
</html>

<br>
<div><span style="background-color:white;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px"><br>--</span></div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white"><b>Dona il  5x1000</b> all'Università degli Studi di Sassari</span><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white">codice fiscale: 00196350904</span></div>