IULP2020: International Workshop on User-Oriented Logic Paradigms

4 views
Skip to first unread message

Stefan Ellmauthaler

unread,
Feb 10, 2020, 5:25:57 AM2/10/20
to Stream Reasoning

*******************************************************************

CALL FOR PAPERS

IULP 2020 International Workshop on User-Oriented Logic Paradigms

Collocated with the 24th European Conference on Artificial Intelligence (ECAI2020)

 

https://iulp2020.uni-leipzig.de  

Deadline: March 8, 2020 23:59 (SST)

Workshop date: June 9, 2020

******************************************************************* 

[Apologies for cross-postings]

 

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

*******************************************************************

* Submission deadline : Sun, March 08th 2020

* Notification to authors: Wed, April 08th 2020

* Camera ready version due: Wed, May 20th 2020

* Workshop date: June 9, 2020

 

 

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.

 

 

ORGANIZERS

*******************************************************************

* Stefan Ellmauthaler (Leipzig University)

* Christos Rodosthenous (Open University of Cyprus)

 

 

CONTACT

*******************************************************************

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

 

 

HOMEPAGE

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

https://iulp2020.uni-leipzig.de

 

-- 
Dr. Stefan Ellmauthaler
Leipzig University
Faculty of Mathematics and Computer Science
Computer Science Institute
Intelligent Systems

e-mail:  ellmau...@informatik.uni-leipzig.de
phone:   +49 (0) 341 / 97 - 32234
website: http://www.informatik.uni-leipzig.de/~ellmau/
Reply all
Reply to author
Forward
0 new messages