2291 search results - page 167 / 459 » Logic Programming and Model Checking |
130
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
121
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
69
Voted
ER
2009
Springer
15 years 9 months ago
2009
Springer
195
Voted
PLPV
2011
ACM
14 years 5 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
120
Voted
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...