posted by organizer: chrodos || 4870 views || tracked by 1 users: [display]

IULP 2020 : 3rd International Workshop on User-Oriented Logic Paradigms

FacebookTwitterLinkedInGoogle

Link: https://iulp2020.uni-leipzig.de
 
When Aug 29, 2020 - Aug 30, 2020
Where Santiago de Compostela, Spain
Submission Deadline May 17, 2020
Notification Due Jun 15, 2020
Final Version Due Jun 26, 2020
Categories    computer science   artificial intelligence   logic   education
 

Call For Papers

Call for Papers

-------------------------------------------------------------------------

*** IULP 2020 ***

3rd International Workshop on User-Oriented Logic Paradigms
August 29 or 30, 2020

https://iulp2020.uni-leipzig.de

Collocated with the
24th European Conference on Artificial Intelligence (ECAI2020)
Santiago de Compostela, Spain
August 29 - September 02, 2020

-------------------------------------------------------------------------

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, explanations, and intuitive visualisations - all of which are ongoing
topics of research.

The 3rd 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, principles of teaching 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
fields.
We welcome papers of either theoretical or practical nature, including
work in progress.


IMPORTANT DATES (REVISED)
-------------------------------------------------------------------------
* Submission deadline : Sun, May 17th 2020
* Notification to authors: Mon, June 15th 2020
* Camera ready version due: Fri, June 26th 2020
* Workshop date: August 29 or 30, 2020

(the deadline for all due dates is 23:59 SST)

TOPICS
-------------------------------------------------------------------------
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
* transparency
* algorithmic bias
* credibility
* accountable systems


SUBMISSIONS
-------------------------------------------------------------------------
Papers must be formatted in ECAI2020 style
(http://ecai2020.eu/wp-content/uploads/AuthorsPack-ECAI2020.zip) and should not
exceed 7 pages (plus 1 page for references). All submissions have to be
written in English and submitted electronically as a PDF through easychair
(https://easychair.org/conferences/?conf=iulp2020).

A short system demonstration version which should not exceed 2 pages can be
submitted electronically too.

We encourage the submission of original research on all topics 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.


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

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
workshops.


COMMITTEE
-------------------------------------------------------------------------
Chairs:
* Stefan Ellmauthaler (Leipzig University)
* Christos Rodosthenous (Open University of Cyprus)

Program Committee
* Gerhard Brewka (Leipzig University)
* Martin Gebser (Potsdam University)
* Antonis C. Kakas (University of Cyprus)
* Antonio Lieto (University of Turin)
* Loizos Michael (Open University of Cyprus)
* Yisong Wang (Guizhou University)
* Stefan Woltran (Vienna University of Technology)


CONTACT
-------------------------------------------------------------------------
iulp2020 [at] informatik [dot] uni-leipzig [dot] de


HOMEPAGE
-------------------------------------------------------------------------
https://iulp2020.uni-leipzig.de

Related Resources

AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
HUMAN 2020   3rd Workshop on Human Factors in Hypertext
IEEE CAIT--Ei Compendex, Scopus 2020   2020 IEEE International Conference on Artificial Intelligence Technology (CAIT 2020)--Ei Compendex, Scopus
CENTRIC 2020   The Thirteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
AVC 2020   Advances in Vision Computing: An International Journal
ASPOCP 2020   13th Workshop on Answer Set Programming and Other Computing Paradigms
IEEE-CVIV 2020-Ei/Scopus 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
UMAP 2020   ACM International Conference on User Modeling, Adaptation and Personalization
IUI 2021   ACM Conference on Intelligent User Interfaces
FAIML 2020-Ei Compendex & Scopus 2020   2020 2nd International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2020)