GTTV 2013 - 2nd Workshop on Grounding and Transformations for Theories with Variables

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