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

Website www.dc.fi.udc.es/GTTV11/ | Edit Freely

Category GTTV 2011

Deadline: March 20, 2011 | Date: May 16, 2011-May 19, 2011

Venue/Country: Vancouver, Canada

Updated: 2011-01-29 11:54:25 (GMT+9)

Call For Papers - CFP

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=gttv2011

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)