5499 search results - page 78 / 1100 » Generalized Rewrite Theories |
VLDB
2011
ACM
13 years 5 months ago
2011
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. They are an important tool in several areas of database research, notab...
CPAIOR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose generalizations of the Global Cardinality Constraint (gcc) in which a partition of the variables is given. In the context of resource allocation problems, such...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
ICTAI
1994
IEEE
14 years 2 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
NETWORKS
2006
13 years 10 months ago
2006
We define binet matrices, which furnish a direct generalization of totally unimodular network matrices and arise from the node-edge incidence matrices of bidirected graphs in the ...