1st Workshop on

Grounding and Transformations for Theories with Variables

(GTTV 2011)

Vancouver, BC, Canada
May 16th 2011

home  |  committees  |  important dates  |  for authors  |  workshop content
GTTV 2011 is a workshop of LPNMR 2011 to be held on May 16th, 2011 in the city of Vancouver, BC, Canada. It is the first workshop of its series although it inherits some topics from workshops CENT'07 and LaSh'10.

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
  • 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


May 15 - proceedings volume uploaded.

May 10
- papers in PDF uploaded.

May 9 - workshop programme available.

Apr 19 - workshop date confirmed: May 16th 2011.

Mar 13
- extended deadlines: paper registration March 20th; submission March 27th,

Jan 27programme committee added.

Jan 27call for papers available.

Jan 17 - changes in the calendar.

Jan 14 - new webpage.
Webpage maintained by Pedro Cabalar

Partially supported by projects: MEC TIN2009-14562-C05-04 and Xunta de Galicia INCITE08-PXIB105159PR