Call for Papers

 

===============================================================================

                               CALL FOR PAPERS

                                 ASPIA 2017

     The International Workshop on Answer Set Programming and Its Applications

                    http://www.ict.griffith.edu.au/aist/aspia2017

                       

                            Melbourne, Australia

                               August 29, 2017

 

                 In conjunction with ICLP-2017, CP-2017 and SAT-2017

===============================================================================

 

 Answer Set Programming (ASP) is currently one of the most widely used paradigms

for declarative problem solving due to its simple syntax, precise semantics

and importantly, the availability of efficient ASP solvers. Over the years,

tremendous progress has been made in ASP concerning its theoretical foundations,

implementations and practical applications. This workshop focuses on recent trends

in the area of ASP, including its various extensions, evaluation techniques,

relation to other programming paradigms, and practical applications.

This workshop will be held in conjunction with the 33rd International Conference

on Logic Programming (ICLP-2017), the 20th International Conference on Theory and

Applications of Satisfiability Testing (SAT-2017), and the 23rd International

Conference on Principles and Practice of Constraint Programming (CP-2017),

in Melbourne, Australia.

 

Topics of interests include (but are not limit to):

Relation of ASP to classical logics

ASP and constraint programming

Nonmonotonic Reasoning

First-order ASP

New methods of evaluating ASP programs

Probabilistic reasoning in ASP

Machine learning with ASP

Distributed reasoning with ASP (and other formalisms)

ASP and ontological reasoning

Novel applications of ASP

 

Submissions:                                                                       

Papers should not exceed 13 pages (excluding references) in the Springer LNAI/LNCS format.

Paper submission will be handled electronically by means of the easychair system.

The submission page is available here or visit the link at https://easychair.org/conferences/?conf=aspia2017

Papers already published or accepted for publication at other conferences are also welcome,

provided that the original publication is mentioned in a footnote on the first page.

Papers under review for other conferences can be submitted with a similar indication on their front page.

Papers that have already been published or submitted elsewhere may have overlength.

 

Proceedings:

There are no formal proceedings for ASPIA-2017. The accepted papers will be published

as a technical report and will be made available online.

The copyright of the papers lies with the authors, and as far as ASPIA-2017 is concerned,

they are free to submit to other conferences and workshops as well.

 

Important Dates:

Abstract submission: 7 June, 2017

Paper submission deadline:  14 June, 2017 

Notification of acceptance: 7 July, 2017

Final manuscripts due: 20 July, 2017

Workshop date: 29 August, 2017

                                                                                

Location:                                                                        

 The workshop will be held in Melbourne, Australia, collocated with                  

 ICLP-2017, CP-2017 and SAT-2017.

 

Workshop Organisers:

Kewen Wang, Griffith University, Australia

Yan Zhang, Western Sydney University, Australia

 

Program Committee:

James Delgrande, Simon Fraser University, Canada

Thomas Eiter, Vienna University of Technology, Austria

Esra Erdem, Sabanci University, Turkey

Johannes Fichte, Vienna University of Technology, Austria

Jianmin Ji, University of Science and Technology, China

Joohyung Lee, Arizona State University, USA

Fangzhen Lin, Hong Kong University of Science and Technology, China

Vladimir Lifschitz, University of Texas at Austin, USA

Torsten Schaub, University of Potsdam, Germany

Yi-Dong Shen, Chinese Academy of Science, China

Kewen Wang, Griffith University, Australia

Yisong Wang, Guizhou University, China

Jia-Huai You, University of Alberta, Canada

Mingyi Zhang, Guizhou Academy of Sciences, China

Yan Zhang, Western Sydney University, Australia