1737 search results - page 174 / 348 » On Interpolation in Existence Logics |
173
click to vote
ESOP
2003
Springer
16 years 12 days ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
196
click to vote
COLCOM
2009
IEEE
15 years 12 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
192
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
An approach for stuck-at-i and delay-fault testing of redundant circuits without modifying the logic is proposed. The only requirement is the ability to control both phases of eac...
164
click to vote
ECAI
1992
Springer
15 years 11 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
199
click to vote
ER
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...