464 search results - page 4 / 93 » Modeling Semantic Constraints with Logic in the EARL Data Mo... |
ICLP
1995
Springer
13 years 10 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
LICS
2009
IEEE
14 years 1 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
SCP
2010
13 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
AMAI
2008
Springer
13 years 6 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
ICDE
2006
IEEE
14 years 23 days ago
2006
IEEE
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...