2911 search results - page 157 / 583 » A Logic of Graph Constraints |
104
click to vote
UML
1998
Springer
15 years 5 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
96
Voted
IAJIT
2008
15 years 25 days ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
108
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
122
Voted
ASP
2005
Springer
15 years 6 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
109
Voted
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...