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/2022/newsitem/13570/31
 -July-2022-The-Third-Workshop-on-Epistemic-Extensi
 ons-of-Logic-Programming-EELP-2022-Haifa-Israel
DTSTAMP:20220519T152702
SUMMARY:The Third Workshop on Epistemic Extensions
  of Logic Programming (EELP 2022), Haifa, Israel
DTSTART;VALUE=DATE:20220731
DTEND;VALUE=DATE:20220731
LOCATION:Haifa, Israel
DESCRIPTION:Several successful logic programming l
 anguages, evidenced by the availability of a multi
 tude of solvers, industrial applications, and an a
 ctive research community, have been proposed in th
 e literature. Researchers have long recognized the
  need for epistemic operators in these languages. 
 This led to a flurry of research on this topic, an
 d renewed interest in recent years. A central ques
 tion is that of the definition of a rigorous and i
 ntuitive semantics for such epistemic operators, w
 hich is still subject of ongoing research. Notions
  of equivalence, structural properties, and the in
 ter-relationships between logic programming langua
 ges and established logics are all subjects being 
 actively investigated. Another important topic is 
 that of practical solvers to compute answers to lo
 gic programs that contain epistemic operators. Sev
 eral solvers are actively developed, building on e
 stablished solvers, or using rewriting-based appro
 aches. For practical applications, additional lang
 uage features are actively explored in order to be
  able to apply epistemic extensions of logic progr
 amming 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.  This workshop is part of the Federated Logic 
 Conference (FLoC) 2022, to take place in Haifa, Is
 rael.  We welcome two categories of submissions: F
 ull Papers, that is, original, unpublished researc
 h (at most 15 pages), and Extended Abstracts of al
 ready published research (at most 2 pages). All su
 bmissions should be in the Springer LNCS format. P
 aper submission will be handled electronically by 
 means of the Easychair system. All submissions wil
 l be peer-reviewed. Submissions to other conferenc
 es and journals both in parallel and subsequent to
  EELP 2022 are allowed.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Several s
 uccessful logic programming languages, evidenced b
 y the availability of a multitude of solvers, indu
 strial applications, and an active research commun
 ity, have been proposed in the literature. Researc
 hers have long recognized the need for epistemic o
 perators 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 d
 efinition of a rigorous and intuitive semantics fo
 r such epistemic operators, which is still subject
  of ongoing research. Notions of equivalence, stru
 ctural properties, and the inter-relationships bet
 ween logic programming languages and established l
 ogics are all subjects being actively investigated
 . Another important topic is that of practical sol
 vers to compute answers to logic programs that con
 tain epistemic operators. Several solvers are acti
 vely developed, building on established solvers, o
 r using rewriting-based approaches. For practical 
 applications, additional language features are act
 ively explored in order to be able to apply episte
 mic extensions of logic programming langauges to p
 ractical problems. The goal of this workshop is to
  facilitate discussions regarding these topics and
  a productive exchange of ideas.</p>\n  <p>This wo
 rkshop is part of the Federated Logic Conference (
 FLoC) 2022, to take place in Haifa, Israel.</p>\n<
 /div><div>\n  <p>We welcome two categories of subm
 issions: Full Papers, that is, original, unpublish
 ed research (at most 15 pages), and Extended Abstr
 acts of already published research (at most 2 page
 s). All submissions should be in the Springer LNCS
  format. Paper submission will be handled electron
 ically by means of the Easychair system. All submi
 ssions will be peer-reviewed. Submissions to other
  conferences and journals both in parallel and sub
 sequent to EELP 2022 are allowed.</p>\n</div>
URL:https://www.semsys.aau.at/events/eelp2022/
CONTACT:eelp2022 at easychair.org
END:VEVENT
END:VCALENDAR