1536 search results - page 54 / 308 » The Underlying Logic of Hoare Logic |
137
click to vote
LOGCOM
2002
15 years 5 months ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
185
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
144
click to vote
IWINAC
2005
Springer
15 years 11 months ago
2005
Springer
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...
153
click to vote
LPNMR
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
140
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...