Sciweavers

1242 search results - page 4 / 249
» The Theory of Grammar Constraints
Sort
View
CONSTRAINTS
2010
85views more  CONSTRAINTS 2010»
13 years 7 months ago
Grammar constraints
Serdar Kadioglu, Meinolf Sellmann
FOSSACS
2010
Springer
14 years 2 months ago
Toward a Compositional Theory of Leftist Grammars and Transformations
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
Pierre Chambart, Ph. Schnoebelen
FOIS
2010
13 years 8 months ago
On the Representation of Quantities and their Parts in Conceptual Modeling
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...
Giancarlo Guizzardi
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
13 years 11 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
CPAIOR
2009
Springer
14 years 1 months ago
Reformulating Global Grammar Constraints
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
George Katsirelos, Nina Narodytska, Toby Walsh