[PlanetKR] Call for Papers: 2nd International Workshop on User-Oriented Logic Paradigms (IULP 2017)

Schulz, Claudia claudia.schulz at imperial.ac.uk
Mon Feb 13 05:11:50 EST 2017


                                 *** IULP 2017 ***

2nd International Workshop on User-Oriented Logic Paradigms
                                      3rd July 2017


                                 Collocated with the
14th International Conference on Logic Programming and
                Nonmonotonic Reasoning (LPNMR 2017)
                                 Espoo, Finland
                                July 3 - 6, 2017

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
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 heurist tuning, non-experts from educational
material, explanations, and intuitive visualisations - all of which are ongoing
topics of research.

The 2nd International Workshop of User-Oriented Logic Paradigms (IULP)
focuses on discussing different aspects involved in making logic paradigms more
user-friendly/oriented, where the "user" could be either an expert of the
paradigm, or a non-expert who simply uses tools developed for the paradigm in
some application.
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.

IULP aims to provide an international forum for researchers in the AI,
KR, and applied sciences community to discuss and present advances in
theories, formalisms, and applications to deliver the mature and
well-defined methods of logic paradigms to a wider audience.

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

* Papers due: Mon, 3rd April 2017
* Notification to authors: Mo, 1st May 2017
* Camera ready version due: Mo, 22nd May 2017
* Workshop date: Mon, 3rd July 2017

Topics of interest include (but are not limited to):
* IDEs
 * debugging
* explanations
* visualisation
* best practice
* modularity
* usage of natural language
* heuristic tuning
 * LP education
* language extensions

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

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

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

There are no formal proceedings for IULP.
The accepted papers will be published as a technical report and will be
made available in the CoRR Computing Research Repository.

The copyright of the papers lies with the authors and, as far as IULP is
concerned, authors are free to submit their work to other conferences and

* Stefan Ellmauthaler (Leipzig University)
* Claudia Schulz (Imperial College London)

Program Committee
* Gerhard Brewka (Leipzig University)
* Pedro Cabalar (Corunna University)
* Marina De Vos (University of Bath)
* Esra Erdem (Sabanci University)
* Sarah Alice Gaggl (TU Dresden)
* Martin Gebser (Potsdam University)
* Antonis C. Kakas (University of Cyprus)
* Alessandra Russo (Imperial College London)
* Kostyantyn Shchekotykhin (University of Klagenfurt)
* Guillermo R. Simari (Universidad Nacional del Sur)
* Stefan Woltran (TU Wien)

iulp2017 [at] informatik [dot] uni-leipzig [dot] de


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20170212/b02b53e4/attachment-0001.html 

More information about the PlanetKR mailing list