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:
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.
\nThis wo rkshop is part of the Federated Logic Conference ( FLoC) 2022, to take place in Haifa, Israel.
We welcome two categories of submis sions: Full Papers, that is, original, unpublished research (at most 15 pages), and Extended Abstrac ts of already published research (at most 2 pages) . All submissions should be in the Springer LNCS f ormat. Paper submission will be handled electronic ally by means of the Easychair system. All submiss ions will be peer-reviewed. Submissions to other c onferences and journals both in parallel and subse quent to EELP 2022 are allowed.