BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2019/newsitem/11001/20
 ---25-September-2019-Epistemic-Extensions-of-Logic
 -Programming-EELP-2019-Las-Cruces-NM-U-S-A-
DTSTAMP:20190702T140757
SUMMARY:Epistemic Extensions of Logic Programming 
 (EELP 2019), Las  Cruces NM, U.S.A.
DTSTART;VALUE=DATE:20190920
DTEND;VALUE=DATE:20190925
LOCATION:Las  Cruces NM, U.S.A.
DESCRIPTION:Several successful logic programming l
 anguages have been proposed in the literature. Res
 earchers have long recognized the need for epistem
 ic operators in these languages.  A central questi
 on is that of the definition of a rigorous and int
 uitive semantics for such epistemic operators, whi
 ch is still subject of ongoing research. Notions o
 f equivalence, structural properties, and the inte
 r-relationships between logic programming language
 s and established logics are all subjects being ac
 tively investigated.  Another important topic is t
 hat of practical solvers to compute answers to log
 ic programs that contain epistemic operators. Seve
 ral solvers are actively developed, building on es
 tablished solvers, or using rewriting-based approa
 ches. For practical applications, additional langu
 age features are actively explored in order to be 
 able to apply epistemic extensions of logic progra
 mming langauges to practical problems.  The goal o
 f this workshop is to facilitate discussions regar
 ding these topics and a productive exchange of ide
 as. The workshop is part of the International Conf
 erence of Logic Programming (ICLP) 2019.  We welco
 me two categories of submissions:  - Full Papers, 
 that is, original, unpublished research (at most 1
 5 pages), and - Extended Abstracts of already publ
 ished research (at most 2 pages).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Several s
 uccessful logic programming languages have been pr
 oposed in the literature. Researchers have long re
 cognized the need for epistemic operators in these
  languages.&nbsp; A central question is that of th
 e definition of a rigorous and intuitive semantics
  for such epistemic operators, which is still subj
 ect of ongoing research. Notions of equivalence, s
 tructural properties, and the inter-relationships 
 between logic programming languages and establishe
 d logics are all subjects being actively investiga
 ted.</p>\n\n  <p>Another important topic is that o
 f practical solvers to compute answers to logic pr
 ograms that contain epistemic operators. Several s
 olvers are actively developed, building on establi
 shed solvers, or using rewriting-based approaches.
  For practical applications, additional language f
 eatures are actively explored in order to be able 
 to apply epistemic extensions of logic programming
  langauges to practical problems.</p>\n\n  <p>The 
 goal of this workshop is to facilitate discussions
  regarding these topics and a productive exchange 
 of ideas. The workshop is part of the Internationa
 l Conference of Logic Programming (ICLP) 2019.</p>
 \n</div><div>\n  <p>We welcome two categories of s
 ubmissions:</p>\n\n  <p>- Full Papers, that is, or
 iginal, unpublished research (at most 15 pages), a
 nd - Extended Abstracts of already published resea
 rch (at most 2 pages).</p>\n</div>
URL:https://www.semsys.aau.at/events/eelp2019/
CONTACT:eelp2019 at easychair.org
END:VEVENT
END:VCALENDAR