754 search results - page 41 / 151 » An Ordered Logic Program Solver |
118
click to vote
JAIR
2007
15 years 15 days ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
97
Voted
JLP
2000
15 years 11 days ago
2000
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
102
click to vote
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
76
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
102
Voted
ENTCS
2008
15 years 20 days ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...