[PlanetKR] 2nd CFP -- GTTV'17 (co-located with LPNMR'17), Espoo, Finland

Shahab Tasharrofi shahab.tasharrofi at gmail.com
Sun Mar 5 16:23:08 EST 2017


Please consider submitting to GTTV'17.

Apologies for cross-submission.

Call for Papers
---------------------------------------------------------------------------


4th Workshop on Grounding and Transformations for Theories with Variables
GTTV'17

http://gttv17.aalto.fi

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

Hanasaari Conference Center, Espoo, Finland
July 3, 2017

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


 AIMS AND SCOPE
 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
with
 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.

SUBMISSIONS

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


https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

 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
easychair
 GTTV'17 webpage

             https://easychair.org/conferences/?conf=gttv17

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

MULTIPLE SUBMISSION POLICY

 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.

IMPORTANT DATES

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

LOCATION

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

ORGANISING COMMITTEE

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

PROGRAMME COMMITTEE

 * 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/20170305/d7d1c3db/attachment-0001.html 


More information about the PlanetKR mailing list