[PlanetKR] TPLP Special Issue on "User-Oriented Logic Programming and Reasoning Paradigms" - Note of Interest by 30th June

Claudia Schulz schulz at ukp.informatik.tu-darmstadt.de
Fri Jun 23 20:40:04 EST 2017

Special Issue of Theory and Practice of Logic Programming
-- User-Oriented Logic Programming and Reasoning Paradigms --

* Notes of Interest: June 30th 2017 *

Since the emergence of logic reasoning paradigms, such as answer set
programming, constraint logic programming, probabilistic logic programming,
abductive logic programming, inductive logic programming, and argumentation,
much theoretical work has been done, for example concerning different semantics
and their properties.
More recently, implementations and IDEs emerged which have proven useful in
various problem-solving applications.
However, user-friendliness is still an issue, both for users who are logic
programming experts and non-expert users who simply apply logic paradigms in
problem-solving applications; for example, experts benefit from features like
debugging and heuristic tuning, non-experts from educational material,
explanations, and intuitive visualisations - all of which are ongoing topics of

The goal of this special issue is to discuss different aspects involved in
making logic reasoning paradigms more user-friendly:
1. Describe cutting-edge developments (e.g., novel IDEs, debugging techniques,
visualisations, or methods for heuristic tuning) of both practical and/or
theoretical nature;
2. Provide well-thought assessments of the state of the art (e.g., in the form
of well-organised surveys or personal perspectives);
3. Describe new research directions, offering clear motivations, new
perspectives, and solid foundations for other researchers to build upon
(e.g. best practice or logic programming education)

* Notes of Interest: June 30th 2017
* Title and Abstract: July 28th, 2017
* Full Paper: September 29th, 2017

Please submit notes of interest and title/abstract to
schulz at ukp.informatik.tu-darmstadt.de and
ellmauthaler at informatik.uni-leipzig.de

Submissions of manuscripts must be made in the TPLP format:

and handled through the TPLP Submission site:

* Claudia Schulz, schulz at ukp.informatik.tu-darmstadt.de, UKP Lab, TU Darmstadt, Germany
* Stefan Ellmauthaler, ellmauthaler at informatik.uni-leipzig.de, Leipzig University, Germany

Dr. Claudia Schulz
Postdoctoral Researcher
Ubiquitous Knowledge Processing (UKP) Lab
TU Darmstadt

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

More information about the PlanetKR mailing list