GTTV 2017


GTTV 2017

Call for Papers


Co-located Events




Important Dates

4th International Workshop on Grounding and Transformations for Theories with Variables
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.

GTTV'17 is the fourth event in the GTTV series after GTTV'15 in Lexington, KY, USA, GTTV'13 in Corunna, Spain and GTTV'11 in Vancouver, BC, Canada which have all been co-located with LPNMR conference. Also, GTTV shares many interests with the Logic and Search (LaSh) series of workshops ( LaSh'16, LaSh'14, LaSh'10, LaSh'08 and LaSh'06) as well as CENT'07 workshop.

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:

Topics of Interest:

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

Contact emails: