Hanaholmen.jpg
Near the Hanasaari Conference Centre (venue of IULP 2017 and LPNMR 2017) - source: Wikimedia Commons

2ndInternational Workshop on
User-Oriented Logic Paradigms
(IULP 2017)

3rd July 2017, Espoo (Finland)

news dates call for papers submission info accepted papers programme invited talk committee contact

IULP 2017 is collocated with LPNMR 2017.

Scope and Aims

Since the emergence of logic reasoning paradigms, such as logic programming, argumentation, and other non-monotonic reasoning formalisms, a lot of theoretical work has been done, for example with respect to different semantics and their properties. More recently, implementations and IDEs emerged which have been used for various problem-solving applications. However, user-friendliness is still an issue for both experts and non-experts working with logic paradigms; for example experts benefit from features like debugging and heuristic tuning, non-experts from educational material and intuitive visualisations - all of which are ongoing topics of research.

The 2nd International Workshop on User-Oriented Logic Paradigms (IULP) focuses on discussing different aspects involved in making logic reasoning paradigms more user-friendly/oriented, where the user could be either an expert of the paradigm, or a non-expert who simply uses tools of the paradigm in some application or is in the process of learning about the paradigm. IULP aims to bring together researchers working on different logic paradigms, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation etc., as user-friendliness is an important topic in all of these areas.

We solicit the submission of papers broadly centred on issues and research related to user-friendliness in logic paradigms and related fields. We welcome papers of either theoretical or practical nature including work in progress.

Topics

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

Opportunity

IULP 2017 provides an excellent opportunity to present and discuss papers intended for submission to the Special Issue on User-Oriented Logic Programming and Reasoning Paradigms of Theory and Practice of Logic Programming. Authors of papers accepted for IULP 2017 will be given the opportunity to also submit their IULP reviews along with a statement of revision as part of their special issue submission.

back to top

News

back to top

Important Dates

(the deadline for all dates is 23:59 BST)
back to top

Call for Papers

Call for Papers (txt)                  EasyChair CfP
back to top

Submission Info

Paper Format

Papers must be formatted in Springer LNCS style (http://www.springer.com/lncs) and should not exceed 13 pages (excluding references and appendices). All submissions have to be written in English and submitted electronically as a PDF through easychair ( http://easychair.org/conferences/?conf=iulp2017).

We encourage the submission of original research in the area as well as relevant results that have been submitted or accepted elsewhere provided that the initial publication is mentioned in a footnote on the first page.

Note that authorship is not anonymous and that at least one author of each accepted paper is required to attend the workshop to present the contribution.

back to top

Accepted Papers

back to top

Programme

IULP'17 will be held on Monday, 3rd July 2017

Session 1

13:30 - 14:30 DLVHEX: A User-Oriented Integration of Answer Set Programming with External Sources
Christoph Redl (Invited Talk)

14:30 - 15:00 An Online Development Environment for Answer Set Programming
Elias Marcopoulos, Christian Reotutar, Yuanlin Zhang

15:00 - 15:30 Coffee break

Session 2

15:30 - 16:00 Interactive debugging of non-ground ASP programs
Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn Shchekotykhin

16:00 - 16:30 WEB-STAR: Towards a Visual Web-Based IDE for a Story Comprehension System
Christos Rodosthenous, Loizos Michael

16:30 - 17:00 Logic Programming for an Introductory Computer Science Course for High School Students
Timothy Yuen, Maritz Reyes, Yuanlin Zhang

back to top

Invited Talk

Christoph Redl: DLVHEX: A User-Oriented Integration of Answer Set Programming with External Sources

Answer Set Programming (ASP) is a booming declarative problem solving approach these days. Driven by the requirements of applications and needs of users, access to external information has been integrated into the formalism. HEX-programs and their implementation in the dlvhex system address this need and provide a user-oriented integration of ASP with arbitrary external sources, which includes not only data in different formats, but also the results of computations. Special external atoms provide are two-way API style interfaces between the rules of the program and an external source. A flexible plugin architecture allows one to use multiple predefined and user-defined external atoms which can be implemented, e.g., in Python or C++. A main design goal of the formalism and the system was its user convenience and easy applicability for solving real-world problems. In this talk, we give an introduction to the HEX formalism and the dlvhex system, including an overview about how to model applications, the system and its features. Special emphasis is put on recent features that increase the user's convenience and support the applicability in practice, e.g. by increased language flexibility. We further present some applications that were successfully realized on top of HEX, including route planning and Semantic Web applications.
back to top

Committee

Chairs

Program Committee

back to top

Contact

iulp2017 [at] informatik [dot] uni-leipzig [dot] de
back to top