6554 search results - page 87 / 1311 » Constraint Logic Programming |
170
click to vote
JAIR
2008
15 years 6 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
162
click to vote
GPCE
2007
Springer
16 years 10 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...