GTTV 2011 - GTTV 2011 : First Workshop on Grounding and Transformations for Theories with Variables

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

http://www.dc.fi.udc.es/GTTV11/

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

Vancouver, BC, Canada
May 16-19, 2011


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

SUBMISSIONS

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

http://www.springer.com/comp/lncs/Authors.html

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

https://www.easychair.org/conferences/?conf=gttv20...

MULTIPLE SUBMISSION POLICY

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.

IMPORTANT DATES

* 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)

LOCATION

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

ORGANISING COMMITTEE

* 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)

PROGRAMME COMMITTEE

* 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)