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
|
|
News
Jan 27
- programme committee
added.
Jan 27
- call for papers
available.
Jan 17 -
changes
in the calendar.
Jan 14
-
new webpage.
|