884 search results - page 88 / 177 » Using Nested Logic Programs for Answer Set Programming |
97
Voted
EOR
2006
15 years 2 months ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...
145
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
114
click to vote
ICDT
1995
ACM
15 years 5 months ago
1995
ACM
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
108
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
105
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...