3658 search results - page 119 / 732 » The logic of proofs, semantically |
103
Voted
JAIR
2008
15 years 20 days ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
115
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
CADE
2002
Springer
16 years 1 months ago
2002
Springer
109
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
210
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...