[PlanetKR] GTTV'17 -- 1st Call for Papers (co-located with LPNMR'17)

Shahab Tasharrofi shahab.tasharrofi at gmail.com
Wed Feb 8 13:27:54 EST 2017

Apologies for cross-posting.

Please consider submissions to GTTV'17 workshop (co-located with LPNMR'17)
happening on July 3, 2017 in Espoo, Finland.

Call for Papers

4th Workshop on Grounding and Transformations for Theories with Variables


Collocated with the 14th Intl. Conf. on
Logic Programming and Nonmonotonic Reasoning 2017

Hanasaari Conference Center, Espoo, Finland
July 3, 2017


 Although many efficient solvers used in formal reasoning operate at the
 propositional level, in most application domains for knowledge
 representation and reasoning the use of variables is crucial for allowing
 compact and flexible formal descriptions. As a result, a common situation
 in many different areas of formal reasoning is to deal with high level
 descriptions containing variables while using a propositional solver as a
 backend. The technique of removing variables, replacing them by their
 possible ground instances, is commonly known as Grounding, and has
 attracted research interest from quite diverse areas such as Logic
 Programming and Non-Monotonic Reasoning, Theorem Proving, Planning,
 Deductive Databases, Formal Methods, and others.

 This workshop aims to bring together researchers from different areas
 a common interest in grounding and transformations for theories with
 variables, establishing a meeting point from which a cross-fertilization
 of new ideas may emerge.

 Workshop topics include, but are not limited to:

  * Transformations and pre-processing for grounding
  * Equivalence and correspondence for theories with variables
  * Modularity and compositionality
  * Declarative specification of grounding transformations
  * Declarative construction of grounders
  * Syntactic restrictions for grounding
  * Selective on-the-fly grounding, lazy grounding, grounding on demand
  * Integration of grounding technologies
  * Incremental grounding
  * Grounding for theories with functions
  * Grounding algorithms: heuristics, computational complexity, etc
  * Grounding methods for optimization problems
  * Grounding for specific solvers such as: ASP, SAT, SMT, CP, MIP, etc
  * Grounding in hybrid systems: ontologies and ASP, etc
  * Benchmarks, challenging applications and system comparisons
  * Recent developments in systems and tools
  * Experimental evaluations
  * Other techniques for variables: quantifier elimination, etc.


 All submissions must be written in English and formatted according to the
 Springer LNCS/LNAI author instructions.


 Two types of contributions are accepted: Technical papers and System
 descriptions. Technical papers must present either original or recent
 research results that are targeted to an audience of experts in grounding
 technology. Technical papers should not exceed 13 pages (including title
 page, references and figures). We also encourage introductory system
 descriptions that help different groups make their work known to the
 others. For system presentations a length of 6 pages is recommended.

 Paper submission is electronic and managed through the following
 GTTV'17 webpage


 At least one author of each accepted paper is expected to register for
 the workshop to present the work.


 While GTTV'17 accepts original research papers, it also provides a venue
 for advertising recently published/accepted research results to GTTV
 audience. In the latter case, the submission should (1) clearly point to
 the original paper, and (2) be re-written for GTTV'17 audience (i.e.,
 grounding experts). Moreover, authors may freely submit their papers
 elsewhere during or after GTTV'17 review period, since GTTV'17 is a
 specialised workshop without archival proceedings and intended for a
 limited audience.


    * Paper registration: March 27th, 2017
    * Paper submission: April 3th, 2017
    * Notification: May 1st, 2017
    * Final versions due: May 22nd, 2017


 The workshop will be held in Espoo, Finland and is collocated with
 the 14th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning 2017


 * Simona Perri          (University of Calabria)
 * Shahab Tasharrofi     (Simon Fraser University, Canada)


 * Bart Bogaerts         (KU Leuven)
 * Pedro Cabalar         (University of Corunna)
 * Francesco Calimeri    (University of Calabria)
 * Marc Denecker         (KU Leuven)
 * Thomas Eiter          (Vienna University of Technology)
 * Joohyung Lee          (Arizona State University)
 * David Mitchell        (Simon Fraser University)
 * Simona Perri          (University of Calabria)
 * Torsten Schaub        (University of Potsdam)
 * Shahab Tasharrofi     (Aalto University)
 * Mirek Truszczynski    (University of Kentucky)
 * Concepcion Vidal      (University of Corunna)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20170208/e7bf1efe/attachment-0001.html 

More information about the PlanetKR mailing list