28 search results - page 6 / 6 » DATALOG with Constraints - An Answer-Set Programming System |
196
Voted
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
196
Voted
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
212
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...