[PlanetKR] ASPIA-2017 CFP

[Kewen Wang]

Dear Jon,

CFP for ASPIA has not been posted yet but the deadline . It would be
greatly appreciated if you could help post it. Many thanks!


************
CFP
===============================================================================
                               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 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, Huizhou Academy of Sciences, China
Yan Zhang, Western Sydney University, Australia


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

Best regards
Kewen
---------------------------------------
Professor Kewen Wang
School of Information and Communication Technology
Griffith University, Brisbane,
QLD 4111 Australia
Phone: +61 7 3735 5028
Mobile Phone: +61 421848750
Fax: +61 7 3735 5051
Email: k.wang at griffith.edu.au
Homepage: http://www.cit.griffith.edu.au/~kewen/
----------------------------------------------


On Mon, May 15, 2017 at 5:36 PM, Kewen Wang <k.wang at griffith.edu.au> wrote:
> Dear KRPlanet Administrator,
>
> It would be appreciated if you could help post the attached CFP for
> the Workshop on ASP and Its Applications (ASPIA-2017). Thank you!
>
> Best regards
> Kewen
> ---------------------------------------
> Professor Kewen Wang
> School of Information and Communication Technology
> Griffith University, Brisbane,
> QLD 4111 Australia
> Phone: +61 7 3735 5028
> Mobile Phone: +61 421848750
> Fax: +61 7 3735 5051
> Email: k.wang at griffith.edu.au
> Homepage: http://www.cit.griffith.edu.au/~kewen/
> ----------------------------------------------