1353 search results - page 101 / 271 » Streamlined Constraint Reasoning |
LPAR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
DLOG
2010
13 years 8 months ago
2010
We put forward a methodological approach aimed at guiding ontology modellers in choosing which relations to reify. Our proposal is based on the notion of aggregation as used in con...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
KR
2004
Springer
14 years 3 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...