3 search results - page 1 / 1 » Transforming co-NP Checks to Answer Set Computation by Meta-... |
110
Voted
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
141
Voted
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
83
Voted
ENTCS
2006
14 years 10 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...