4513 search results - page 327 / 903 » Logic programming with satisfiability |
145
click to vote
AIR
2004
15 years 4 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
153
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
118
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
174
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
133
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...