CFP: Workshop on Grounding and Transformations for Theories with Variables

1st Workshop on Grounding and Transformations for Theories with Variables
GTTV 2011

Collocated with the 11th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning 2011

Vancouver, BC, Canada
May 16-19, 2011

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
  • Syntactic restrictions for grounding
  • Grounding for theories with functions
  • Selective on-the-fly grounding
  • Grounding algorithms: heuristics, computational complexity, etc
  • Benchmarks, challenging applications and system comparisons
  • Grounding for specific solvers including, but not limited to: ASP, SAT, SMT, etc
  • Grounding in hybrid systems: ontologies, constraint handling, 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 original research and not exceed 13 pages including title page, references and figures. Since it is the first meeting and we expect to collect contributions from different areas, we also encourage introductory system descriptions that help each group 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 GTTV11 webpage

GTTV’11 will not accept any paper which, at the time of submission, has already been published or accepted for publication in a journal or previous conference. However, authors may freely sumbit their papers elsewhere during or after GTTV’11 review period, since GTTV’11 is a specialised workshop without archival proceedings and intended for a limited audience.


  • Submission opens: 31 January 2011
  • Paper registration: 13 March 2011
  • Paper submission: 20 March 2011
  • Notification: 24 April 2011
  • Final versions due: 8 May 2011
  • Workshop: during LPNMR week May 16-19, 2011 (TBA)

The workshop will be held in Vancouver (BC, Canada), collocated with the 11th Intl. Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011).


  • Pedro Cabalar       (University of Corunna, Spain)
  • David Mitchell      (Simon Fraser University, Canada)
  • David Pearce        (Universidad Politécnica de Madrid, Spain)
  • Evgenia Ternovska   (Simon Fraser University, Canada)


  • Stefania Costantini (Universita di L’Aquila, Italy)
  • Hector Geffner      (Universitat Pompeu Fabra, Spain)
  • Yuliya Lierler      (University of Kentucky, USA)
  • Emilia Oikarinen    (Aalto University, Finland)
  • Simona Perri        (Universita degli Studi della Calabria, Italy)
  • Enrico Pontelli     (New Mexico State University, USA)
  • Torsten Schaub      (University of Potsdam, Germany)
  • Agustin Valverde    (Universidad de Malaga, Spain)
  • Stefan Woltran      (Vienna University of Technology, Austria)