1117 search results - page 95 / 224 » Partial Models of Extended Generalized Logic Programs |
133
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
114
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
146
click to vote
MST
2011
14 years 8 months ago
2011
The theory of two-dimensional languages, generalizing formal string languages, was motivated by problems arising from image processing and models of parallel computing. Weighted au...
136
click to vote
GEOINFORMATICA
1998
15 years 1 months ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
113
click to vote
FAC
2008
15 years 1 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...